More than 20 years of research has created a large body of ideas, concepts, and theories for
model-based development of embedded software-intensive systems. These approaches …

Modern computer systems are used in many safety-critical applications. In order to
guarantee an error-free behavior of such a system one often employs formal methods, eg …

A system-of-systems (SoS) is inherently open in configuration and evolutionary in lifecycle.
For the next generation of cooperative cyber-physical system-of-systems, safety and security …

The FlexRay standard, developed by a cooperation of leading companies in the automotive
industry, is a robust communication protocol for distributed components in modern vehicles …

We develop formal arguments about a bit clock synchronization mechanism for time-
triggered hardware. The architecture is inspired by the FlexRay standard and described at …

A safety-critical system needs fault-tolerant communication between its components. This is
especially important for automotive domain, as it consists of distributed real-time systems …

We describe a gate level design of a FlexRay-like bus interface. An electronic control unit
(ECU) is obtained by integrating this interface into the design of the verified VAMP …

Zusammenfassung Der kontinuierliche Anstieg des Umfangs elektrisch/elektronischer
Funktionen im Automobil zur Realisierung von steuerungs-oder regelungstechnischen …

1.1 The Context: The Verisoft Academic System....... 3 1.2 Motivation.......................... 7 1.3
Outline............................ 8 1.4 Notation........................... 9 Computer systems are faulty. We all …

We present a formal model of the bit transmission between registers with arbitrary clock
periods. Our model considers precise timing parameters, as well as metastability. We …