Yes / Cooperative Systems of Systems (CSoS) including
Autonomous systems (AS), such as autonomous cars and related
smart traffic infrastructures form a new technological frontier
for their enormous economic and societal potentials in various
domains. CSoS are often safety-critical systems, therefore, they
are expected to have a high level of dependability. Due to the
open and adaptive nature of the CSoS, the conventional methods
used to provide safety assurance for traditional systems cannot
be applied directly to these systems. Potential configurations and
scenarios during the evolving operation are infinite and cannot
be exhaustively analysed to provide guarantees a priori. This
paper presents a novel framework for dynamic safety assurance
of CSoS, which integrates design time models and runtime
techniques to provide continuous assurance for a CSoS and its
systems during operation. / Dependability Engineering Innovation for Cyber Physical Systems (DEIS) H2020 Project under Grant 732242.
| Identifer | oai:union.ndltd.org:BRADFORD/oai:bradscholars.brad.ac.uk:10454/18424 |
| Date | 29 March 2021 |
| Creators | Kabir, Sohag, Papadopoulos, Y. |
| Source Sets | Bradford Scholars |
| Language | English |
| Detected Language | English |
| Type | Article, Accepted manuscript |
| Rights | © 2020 IEEE. Personal use of this material is permitted. Permission from IEEE must be obtained for all other uses, in any current or future media, including reprinting/republishing this material for advertising or promotional purposes, creating new collective works, for resale or redistribution to servers or lists, or reuse of any copyrighted component of this work in other works. |
Page generated in 0.0125 seconds