TY - GEN
T1 - A Conceptual Reference Model of Modeling and Verification Concepts for Hybrid Systems
AU - Müller, Andreas
AU - Mitsch, Stefan
AU - Retschitzegger, Werner
AU - Schwinger, Wieland
PY - 2014
Y1 - 2014
N2 - 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.
AB - 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.
UR - https://www.scopus.com/pages/publications/84909589825
U2 - 10.1007/978-3-319-12096-6_33
DO - 10.1007/978-3-319-12096-6_33
M3 - Conference proceedings
SN - 978-3-319-12095-9
VL - 8793
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 368
EP - 379
BT - Proceedings of the 7th International Conference on Knowledge Science, Engineering and Management (KSEM 2014)
A2 - Buchmann, Robert
A2 - Kifor, Claudiu Vasile
A2 - Yu, Jian
PB - Springer International Publishing
ER -