Model-based Contract and Service for Self-managed Components in Cyber-Physical Systems
2016 (English)Conference paper, Abstract (Refereed)
Modern automotive vehicles represent one category of cyber-physical systems that are inherently safety&time-critical. Future automotive technology will to an increasingly large extent be based on an integration of general purpose components for shortening the innovation loops and enabling efficient product evolution. Nevertheless, the adoption of general purpose solutions in automotive vehicles will not be a trivial task. Currently, while domain-specific frameworks like AUTOSAR and ISO26262 facilitate component-based system development based on well-formulated assumptions and interfaces, challenges remain in the areas of contract synthesis, conformity assessment, and diagnostics when issues like mode behaviors, timing, and failures are of concern. This talk presents the EAST-ADL modeling framework and discusses an EAST-ADL based approach to system modularity and risk analysis in order to integrate separately developed electronic components into safety-critical automotive systems. Special attention is paid to the synthesis of both component contracts and the associated runtime services for lifecycle and quality management, anomaly treatment according to ISO26262.
Place, publisher, year, edition, pages
Springer, 2016. Vol. LNCS 9923, 394- p.
, Lecture Notes in Computer Science; Computer Safety, Reliability, and Security, ISSN 0302-9743 ; 9923
Cyber-Physical Systems (CPS), Model-Based Development (MBD), Domain-Specific Modeling (DSM), Component-Based Engineering (CBE), Real-Time System (RTS), Functional Safety, EAST-ADL, ISO2626
Engineering and Technology
Research subject Machine Design; Electrical Engineering
IdentifiersURN: urn:nbn:se:kth:diva-198264ISI: 000387734000036ISBN: 1611-3349OAI: oai:DiVA.org:kth-198264DiVA: diva2:1055997
SAFECOMP 2016 Workshops, ASSURE, DECSoS, SASSUR, and TIPS
QC 201612192016-12-132016-12-132016-12-19Bibliographically approved