RT Book, Section
T1 Runtime safety assurance for adaptive cyber-physical systems: 												Conserts M and ontology-based runtime reconfiguration applied to an automotive case study
A1 Amorim, Tiago
A1 Ratasich, Denise
A1 Macher, Georg
A1 Ruiz, Alejandra
A1 Schneider, Daniel
A1 Driussi, Mario
A1 Grosu, Radu
AB 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.
PB IGI Global
SN 1522528458
SN 9781522528456
SN 9781522528463
YR 2017
FD 2017-07-20
LA eng
NO 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
NO Publisher Copyright: © 2018, IGI Global. All rights reserved.
DS TECNALIA Publications
RD 28 sept 2024