Andreas Müller, Stefan Mitsch, Werner Retschitzegger, Wieland Schwinger,
"A Conceptual Reference Model of Modeling and Verification Concepts for Hybrid Systems"
, in Buchmann, Robert and Kifor, ClaudiuVasile and Yu, Jian: Proceedings of the 7th International Conference on Knowledge Science, Engineering and Management (KSEM 2014), Serie Lecture Notes in Computer Science, Vol. 8793, Springer International Publishing, Seite(n) 368-379, 2014, ISBN: 978-3-319-12095-9
A Conceptual Reference Model of Modeling and Verification Concepts for Hybrid Systems
Sprache des Titels:
Proceedings of the 7th International Conference on Knowledge Science, Engineering and Management (KSEM 2014)
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.