Ensuring Real-Time Behavior of Cooperating Cyber-Physical Systems

Kurzfassung

Automated driving and intelligent transportation infrastructure in road traffic will enable new forms of mobility based on cooperative ensembles of automated and connected systems. The dynamic nature of these systems requires enhanced specification and verification methods to assure safe, cross-system interactions. This thesis presents concepts, methods, and tools for ensuring real-time behavior of cooperative systems. It proposes a correct-by-design approach for the specification and refinement of top-level timing requirements, including scenario-based modeling and the derivation of consistent subsystem specifications. The approach builds upon a well-established contract-based design method and provides a rich set of timing specifications addressing operating modes, unreliable communication, and imprecise local clocks. Modular tool support enables incremental refinement checking and supports engineers in developing safe cooperative systems.