KIT | KIT-Bibliothek | Impressum | Datenschutz

Towards Formalizing and Relating Different Notions of Consistency in Cyber-Physical Systems Engineering

Feichtinger, Kevin ORCID iD icon 1; Kegel, Karl; Pascual, Romain ORCID iD icon 1; Aßmann, Uwe; Beckert, Bernhard ORCID iD icon 1; Reussner, Ralf 1
1 Institut für Informationssicherheit und Verlässlichkeit (KASTEL), Karlsruher Institut für Technologie (KIT)

Abstract (englisch):

Cyber-Physical Systems (CPSs) are highly complex systems integrating computational and physical processes and consist of many interdependent and composed parts. Engineers from different domains, e.g., mechanical, electrical, and software engineering, cooperate to develop and deploy new CPSs. Engineers often only work on task-specific artifacts and models to reduce the complexity of the overall CPS. These models and artifacts form different views on the CPS, which must be kept consistent to enable development and system analysis. However, this inter-view consistency management lacks tool support and remains a tedious manual task. Hence, this results in late integration risks and may even lead to failed products during deployment. To manage consistency between models, artifacts, and views sufficiently, we need an understanding of the available notions of consistency and their properties. We need to identify, classify, formalize, and relate notions of consistency from different domains to derive a common definition for a consistency-aware, view-based development process for CPSs. This vision paper presents a set of existing notions of consistency we can build on and outline our vision towards consistency-aware CPS engineering.

Zugehörige Institution(en) am KIT Institut für Informationssicherheit und Verlässlichkeit (KASTEL)
Publikationstyp Proceedingsbeitrag
Publikationsdatum 31.10.2024
Sprache Englisch
Identifikator ISBN: 979-84-00-70622-6
KITopen-ID: 1000175915
HGF-Programm 46.23.01 (POF IV, LK 01) Methods for Engineering Secure Systems
Erschienen in Proceedings of the ACM/IEEE 27th International Conference on Model Driven Engineering Languages and Systems, Linz/Wien, 22nd - 27th September 2024
Veranstaltung 27th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS 2024), Lienz, Österreich, 22.09.2024 – 27.09.2024
Verlag Association for Computing Machinery (ACM)
Seiten 915–919
Projektinformation SFB 1608/1 (DFG, DFG KOORD, SFB 1608)
Nachgewiesen in Dimensions
Scopus

Verlagsausgabe §
DOI: 10.5445/IR/1000175915
Veröffentlicht am 06.11.2024
Seitenaufrufe: 39
seit 06.11.2024
Downloads: 39
seit 14.11.2024
Cover der Publikation
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page