KIT | KIT-Bibliothek | Impressum | Datenschutz

Extension of Contracts for Variability Modeling and Incremental Update Checks of Cyber Physical Systems

Guissouma, Houssem; Kroger, Janis; Maelen, Sebastian Vander; Sax, Eric

Abstract (englisch):
Due to the increasing electronic and software portions in Cyber Physical Systems (CPSs), such as highly automated cars, and their safety-criticality, thorough verification and validation activities are an essential part of their development process. Meanwhile, software life cycles are getting shorter, and Over The Air updates are becoming state of the art, even in safetycritical domains. However, validating each software update for a wide range of system variants and versions is a challenging task, which requires efficient verification methods to reduce time, effort and costs. Contract-based Design (CBD) is a design paradigm to handle the complexity of safety-critical CPSs. Though, due to the multitude of maintained variants and versions, using CBD for continuous products improvement in form of updates may rapidly become challenging. In this paper, we integrate CBD into a product line development approach by mapping variant and fine-grained contracts to reusable components. Applying our approach to a case study from the automotive domain showed a significant reduction of the effort for contractifying the systems. Besides, it offers a basis for conducting incremental analysis and verification of modular updates.


Originalveröffentlichung
DOI: 10.1109/ISSE51541.2021.9582468
Zugehörige Institution(en) am KIT Institut für Technik der Informationsverarbeitung (ITIV)
Publikationstyp Proceedingsbeitrag
Publikationsmonat/-jahr 09.2021
Sprache Englisch
Identifikator ISBN: 978-1-66543-168-2
KITopen-ID: 1000139587
Erschienen in 2021 IEEE International Symposium on Systems Engineering (ISSE). Hrsg.: Institute of Electrical and Electronics Engineers IEEE
Veranstaltung 7th IEEE International Symposium on Systems Engineering (ISSE 2021), Online, 13.09.2021 – 13.10.2021
Verlag Institute of Electrical and Electronics Engineers (IEEE)
Seiten 1–8
Nachgewiesen in Scopus
KIT – Die Forschungsuniversität in der Helmholtz-Gemeinschaft
KITopen Landing Page