Runtime safety assurance for adaptive cyber-physical systems: Conserts M and ontology-based runtime reconfiguration applied to an automotive case study

Simple item page
dc.contributor.authorAmorim, Tiago
dc.contributor.authorRatasich, Denise
dc.contributor.authorMacher, Georg
dc.contributor.authorRuiz, Alejandra
dc.contributor.authorSchneider, Daniel
dc.contributor.authorDriussi, Mario
dc.contributor.authorGrosu, Radu
dc.contributor.institutionQuantum
dc.date.issued2017-07-20
dc.descriptionPublisher Copyright: © 2018, IGI Global. All rights reserved.
dc.description.abstractCyber-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.en
dc.description.statusPeer reviewed
dc.format.extent32
dc.identifier.citationAmorim , 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
dc.identifier.doi10.4018/978-1-5225-2845-6.ch006
dc.identifier.isbn1522528458
dc.identifier.isbn9781522528456
dc.identifier.isbn9781522528463
dc.identifier.urlhttp://www.scopus.com/inward/record.url?scp=85046299373&partnerID=8YFLogxK
dc.language.isoeng
dc.publisherIGI Global
dc.relation.ispartofSolutions for Cyber-Physical Systems Ubiquity
dc.rightsinfo:eu-repo/semantics/restrictedAccess
dc.subject.keywordsGeneral Computer Science
dc.titleRuntime safety assurance for adaptive cyber-physical systems: Conserts M and ontology-based runtime reconfiguration applied to an automotive case studyen
dc.typebook part
Files