The IRMA Community
Newsletters
Research IRM
Click a keyword to search titles using our InfoSci-OnDemand powered search:
|
Runtime Safety Assurance for Adaptive Cyber-Physical Systems: ConSerts M and Ontology-Based Runtime Reconfiguration Applied to an Automotive Case Study
|
|
Author(s): Tiago Amorim (Fraunhofer IESE, Germany), Denise Ratasich (Vienna University of Technology, Austria), Georg Macher (AVL List GmbH, Austria), Alejandra Ruiz (Tecnalia, Spain), Daniel Schneider (Fraunhofer IESE, Germany), Mario Driussi (Kompetenzzentrum - Das virtuelle Fahrzeug Forschungsgesellschaft mbH, Austria)and Radu Grosu (Vienna University of Technology, Austria)
Copyright: 2018
Pages: 32
Source title:
Solutions for Cyber-Physical Systems Ubiquity
Source Author(s)/Editor(s): Norbert Druml (Independent Researcher, Austria), Andreas Genser (Independent Researcher, Austria), Armin Krieg (Independent Researcher, Austria), Manuel Menghin (Independent Researcher, Austria)and Andrea Hoeller (Independent Researcher, Austria)
DOI: 10.4018/978-1-5225-2845-6.ch006
Purchase
|
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.
Related Content
|
Babita Srivastava.
© 2024.
21 pages.
|
|
Sakuntala Rao, Shalini Chandra, Dhrupad Mathur.
© 2024.
27 pages.
|
|
Satya Sekhar Venkata Gudimetla, Naveen Tirumalaraju.
© 2024.
24 pages.
|
|
Neeta Baporikar.
© 2024.
23 pages.
|
|
Shankar Subramanian Subramanian, Amritha Subhayan Krishnan, Arumugam Seetharaman.
© 2024.
35 pages.
|
|
Charu Banga, Farhan Ujager.
© 2024.
24 pages.
|
|
Munir Ahmad.
© 2024.
27 pages.
|
|
|