2014 | OriginalPaper | Buchkapitel
A Conceptual Reference Model of Modeling and Verification Concepts for Hybrid Systems
verfasst von : Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger
Erschienen in: Knowledge Science, Engineering and Management
Verlag: Springer International Publishing
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
Cyber-physical systems
(CPS), which are computerized systems directly interfacing their real-world surroundings, leverage the construction of increasingly autonomous systems. To meet the high safety demands of CPS, verification of their behavior is crucial, which has led to a wide range of tools for modeling and verification of hybrid systems. These tools are often used in combination, because they employ a wide range of different formalisms for modeling, and aim at distinct verification goals and techniques. To manage and exchange knowledge in the verification process and to overcome a lack of a common classification, we unify different terminologies and concepts of a variety of modeling and verification tools in a
conceptual reference model
(CRM). Furthermore, we illustrate how the CRM can support comparing models and propose future extension.