ISBN 978-3-8439-0332-5

978-3-8439-0332-5, Reihe Informatik

Kerstin Bauer
A New Modelling Language for Cyber-physical Systems

198 Seiten, Dissertation Technische Universität Kaiserslautern (2012), Softcover, A5

Zusammenfassung / Abstract

Cyber-physical systems are systems that combine discrete and continuous dynamics. In the literature, cyber-physical systems are formally described by the concept of hybrid automata: The discrete dynamics is represented by a finite control graph whereas the continuous dynamics is represented by sets of differential equations associated to the dis- crete states. Such systems occur frequently in complex engineering fields like embedded systems, robotics, automotive industries, and avionics. As many applications appear in safety critical areas, a need for modeling, simulation, and verification tools exists.

Despite of the theoretic achievements in the area of formal verification, only some lan- guages and tools are available to deal with non-trivial cyber-physical systems. Moreover, the languages of most of these tools have either no formal semantics, are restricted to very special subclasses of cyber-physical systems or approximate the continuous behavior by a discrete behavior.

Another problem occurs within the internal and external representation of the cyber- physical systems. Up to now, to the best of the author’s knowledge there exist no tools that are entirely based on symbolic representations. While the continuous part of the cyber-physical systems is mostly represented in a symbolic way, the discrete part is usually encoded explicitly. Thus, most tools fail when confronted with large discrete state spaces which frequently occur in typical embedded systems.

One main goal of this thesis is to fill the gap between cyber-physical systems and their symbolic representation by developing a new modeling language. The new language Hybrid Quartz is based on the synchronous language Quartz.