Abstract Cyber-Physical Systems (CPS) combine discrete computing elements together with
physical devices in uncertain environment conditions. There have been many models to …

Abstract models are important tools to manage the increasing complexity of system design.
The choice of a modeling language for constructing models governs what types of systems …

Parallel and distributed simulation (PDS) is often employed to tackle the computational
intensity of system-level simulation of real-world complex embedded and cyber-physical …

Simulation as a tool for validating the behavior of an autonomous driving system can include
sensor and actuator errors. A combination of such errors might lead to undesired behavior …

Nondeterministic behavior of traffic participants and inaccurate sensors and actuators
challenge the reliability of autonomous driving planning and control functions. This thesis …

Data races are one of the most common problems in concurrent programs. As SystemC
standard allows nondeterministic scheduling of processes, this leads to data races. Hence …

Behavior-Interaction-Priority (BIP) is a layered embedded system design and verification
framework that provides separation of functionality, synchronization, and priority concerns to …

Over the past decade, Virtual Platforms (VPs) have established themselves as essential
tools for embedded system design. Their application fields range from rapid prototyping over …

Abstract Behavior–interaction–priority (BIP) is a layered embedded system design and
verification framework that provides separation of functionality, synchronization, and priority …

To cope with the increasing complexity of embedded and cyber-physical system design,
different system-level design approaches are proposed which start from abstract models and …