In two editions spanning more than a decade, The Electrical Engineering Handbook stands
as the definitive reference to the multidisciplinary field of electrical engineering. Our …

Testing is an important part of any software development project, and can typically surpass
more than half of the development cost. For safety-critical computer based systems, testing is …

In this State of the art Report (SotA), we will give an introduction to work presented in the
area of debugging large software systems with modern hardware architectures. We will …

Cyclic debugging is one of the most important and most commonly used activities in
program development. During cyclic debugging, a program is repeatedly re-executed to …

In two editions spanning more than a decade, The Electrical Engineering Handbook stands
as the definitive reference to the multidisciplinary field of electrical engineering. Our …

The introduction of computer-controlled intelligent safety and comfort features has turned
cars into complex distributed computing systems. In such a system the proper operation of …

Abstract Nowadays, Distributed Control Systems (DCSs) are commonly used and supersede
stand-alone controllers in many industrial applications. Efficient communication is crucial for …

This paper presents an approach, using the process-algebra CSP, that aims to support
systematic security testing of ECU components. An example use case regarding Over-The …

For testing of sequential software it is usually sufficient to provide the same input (and
program state) in order to reproduce the output. For real-time systems (RTS), on the other …

In order to test, or debug, a system we must observe its run-time behavior and deem how
well the observations comply with the system requirements. There are two significant …