Runtime safety assurance for adaptive cyber-physical systems: Conserts M and ontology-based runtime reconfiguration applied to an automotive case study
No Thumbnail Available
Identifiers
Publication date
2017-07-20
Advisors
Journal Title
Journal ISSN
Volume Title
Publisher
IGI Global
Citations
Export
Abstract
Cyber-Physical Systems (CPS) provide their functionality by the interaction of various subsystems. CPS usually operate in uncertain environments and are often safety-critical. The constituent systems are developed by different stakeholders, who - in most cases - cannot fully know the composing parts at development time. Furthermore, a CPS may reconfigure itself during runtime, for instance in order to adapt to current needs or to handle failures. The information needed for safety assurance is only available at composition or reconfiguration time. To tackle this assurance issue, the authors propose a set of contracts to describe components' safety attributes. The contracts are used to verify the safety robustness of the parts and build a safety case at runtime. The approach is applied to a use case in the automotive domain to illustrate the concepts. In particular, the authors demonstrate safety assurance at upgrade and reconfiguration on the example of ontology-based runtime reconfiguration (ORR). ORR substitutes a failed service by exploiting the implicit redundancy of a system.
Description
Publisher Copyright: © 2018, IGI Global. All rights reserved.
Keywords
Type
Citation
Amorim , T , Ratasich , D , Macher , G , Ruiz , A , Schneider , D , Driussi , M & Grosu , R 2017 , Runtime safety assurance for adaptive cyber-physical systems : Conserts M and ontology-based runtime reconfiguration applied to an automotive case study . in Solutions for Cyber-Physical Systems Ubiquity . IGI Global , pp. 137-168 . https://doi.org/10.4018/978-1-5225-2845-6.ch006