Filetype
Quality requirements are critical for successful software engineering, with maintainability being a key internal quality. Despite significant attention in software metrics research, maintainability has attracted surprisingly little focus in the Requirements Engineering (RE) community. This position paper proposes a synergistic approach, combining code-oriented research with RE expertise, to create
Source code analysis is ubiquitous in the development of software tools, for example in compilers to detect compile-time errors and possible optimizations, inIDEs to provide interactive coding assistance, and in stand-alone analysis tools todetect bugs. There are several techniques that have been developed to help theanalysis developer, including one called Reference Attribute Grammars (RAGs).With
Static analysis tools play a crucial role in software development by detecting bugs and vulnerabilities. However, running these tools separately from the code editing process often causes developers to switch contexts, which can reduce productivity. Previous work has shown how Reference Attribute Grammars (RAGs) can be used for declarative implementation of competitive tooling for intraprocedural
Formal models for the safety validation of autonomous vehicles have become increasingly important. To this end, we present a safety framework for longitudinal automated driving. This framework enables the calculation of minimum safe inter-vehicular distances for arbitrary ego vehicle control policies in a computationally efficient manner. We use this framework to enhance and generalize the Respons
The success in the adoption of autonomous vehicles is dependent on their ability to solve rarely occurring safety-critical corner cases. Vehicular communications (V2X) aim at improving safety and efficiency of autonomous driving by adding the capability of explicit inter-vehicular information exchange. We argue that V2X enables another important function, namely the support of ethical driving deci
Static code checkers are tools that help software engineers by automatically finding defects without executing the programs. These tools contain a set of detectors that rely on static program analyses to find common programming defects or to enforce coding guidelines.While existing code checker frameworks package a rich collection of detectors, aimed at common bug defects, the effort to adapt thes
Bayesian optimization is a widely used method for optimizing expensive black-box functions, with Expected Improvement being one of the most commonly used acquisition functions. In contrast, information-theoretic acquisition functions aim to reduce uncertainty about the function's optimum and are often considered fundamentally distinct from EI. In this work, we challenge this prevailing perspective
Recent work reported that simple Bayesian optimization methods perform well for high-dimensional real-world tasks, seemingly contradicting prior work and tribal knowledge. This paper investigates the 'why'. We identify fundamental challenges that arise in high-dimensional Bayesian optimization and explain why recent methods succeed. Our analysis shows that vanishing gradients caused by Gaussian pr
We recently proposed a quantitative group testing (GT) scheme with low-complexity peeling decoding based on low-density parity-check (LDPC) codes. Based on finite length simulations and a density evolution analysis we were able to demonstrate that simple (dv,dc)-regular LDPC codes can be more efficient for GT than existing generalized LDPC (GLDPC) code constructions based on BCH component codes. E
Future wireless systems are envisioned to be able to deliver ultra-reliable and low-latency communication.The third generation partner project (3GPP) has identified three different usage scenarios such as enhanced mobile broadband, massive machine-type communication, and ultra-reliable low latency communication.In each of those scenarios, several services and applications can be implemented, e.g.
The IEEE 802.11 standard, often referred to as Wi-Fi, underpins wireless networking applications around the world that impact our daily lives, such as wireless access to the Internet from offices, homes, airports, hotels, restaurants, trains, and aircraft. Today's laptops, tablets, and smartphones are typically equipped with at least one IEEE 802.11 radio. IEEE 802.11 standards have enabled a whol
We show that spatially coupled low-density parity-check (LDPC) codes yield robust performance over changing intersymbol interfere (ISI) channels with optimal and suboptimal detectors. We compare the performance with classical LDPC code design which involves optimizing the degree distribution for a given (known) channel. We demonstrate that these classical schemes, despite working very good when de
Formal models for the safety validation of autonomous vehicles have become increasingly important. To this end, we present a safety framework for longitudinal automated driving. This framework allows calculating minimum safe inter-vehicular distances for arbitrary ego vehicle control policies. We use this framework to enhance the Responsibility-Sensitive Safety (RSS) model and models based on it,
This issue marks the start of my term as department editor for the “Requirements” column. I very much look forward to exploring contemporary aspects of requirements and requirements engineering (RE) in the coming years! As an institute researcher with RISE, I primarily work in strictly regulated domains, in which requirements are cornerstones in the development activities. Please check my introduc
Memories may integrate elements experienced in different events. For instance, meeting a woman leaving her house, and later meeting another woman entering the same house, may allow us to infer that the two women live together. Such memory representations are thought to rely on integrative encoding mechanisms, allowing us to make inferences about the world and generalize knowledge to entirely new s
ObjectivesThe formation of episodic memories is critically determined by how we visually sample the world over time via sequences of eye movements. Nonetheless, in the neuroscience of human memory, memory encoding has almost exclusively been studied in experimental paradigms where the study material is presented in a single fixed location on the screen, and where eye movements are treated as artif
Episodic memory enables mental time travel, allowing us to relive specific, personally experienced events tied in time and place. This feat of human memory is considered to be dependent on the reinstatement of the cortical patterns that were active at the time of encoding. A growing body of recent literature has provided support for this idea by showing that retrieval success co-varies with the ne
In this paper, we examine variable node (VN) doping to mitigate the error propagation problem in sliding window decoding (SWD) of spatially coupled LDPC (SC-LDPC) codes from the point of view of the encoding process. More specifically, in order to simplify the process of generating an encoded sequence with some number of doped code bits, we propose to employ systematic encoding and to limit doping
The commercial availability of low-cost millimeterwave (mmWave) communication and radar devices is starting to improve the adoption of such technologies in consumer markets, paving the way for large-scale and dense deployments in fifthgeneration (5G)-and-beyond as well as 6G networks. At the same time, pervasive mmWave access will enable device localization and device-free sensing with unprecedent
Cell-free massive multiple-input multiple-output (MIMO) consists of a large set of distributed access points (APs) serving a number of users. The APs can be far from each other, and they can also have a big number of antennas. Thus, decentralized architectures have to be considered so as to reduce the interconnection bandwidth to a central processing unit (CPU) and make the system scalable. On the
