Loading...
Computational intelligence for safety assurance of cooperative systems of systems
Papadopoulos, Y.
Papadopoulos, Y.
Publication Date
2020-12
End of Embargo
Supervisor
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.
Peer-Reviewed
Yes
Open Access status
Green
Accepted for publication
2020-07-29
Institution
Department
Awarded
Embargo end date
Additional title
Abstract
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.
Version
Accepted manuscript
Citation
Kabir S and Papadopoulos Y (2020) Computational intelligence for safety assurance of cooperative systems of systems. Computer. 53(12): 24-34.
Link to publisher’s version
Link to published version
Link to Version of Record
Type
Article