Sohag Kabir
Computational Intelligence for Safety Assurance of Cooperative Systems of Systems
Kabir, Sohag; Papadopoulos, Yiannis
Abstract
Cooperative systems of systems (CSoSs) form a new technological frontier for their enormous economic and societal potentials in various domains. This article presents a novel framework for dynamic safety assurance of CSoSs that integrates design time models and runtime techniques to provide continuous assurance during CSoS operation.
Citation
Kabir, S., & Papadopoulos, Y. (2020). Computational Intelligence for Safety Assurance of Cooperative Systems of Systems. Computer, 53(12), 24-34. https://doi.org/10.1109/MC.2020.3014604
Journal Article Type | Article |
---|---|
Acceptance Date | Jul 29, 2020 |
Online Publication Date | Nov 24, 2020 |
Publication Date | 2020-12 |
Deposit Date | Feb 24, 2021 |
Publicly Available Date | Oct 27, 2022 |
Journal | Computer |
Print ISSN | 0018-9162 |
Electronic ISSN | 1558-0814 |
Publisher | Institute of Electrical and Electronics Engineers |
Peer Reviewed | Peer Reviewed |
Volume | 53 |
Issue | 12 |
Pages | 24-34 |
DOI | https://doi.org/10.1109/MC.2020.3014604 |
Keywords | Computational intelligence; CSoSs; Economic potentials; Societal potentials; Dynamic safety assurance; Design time models; Runtime techniques; Continuous assurance; Cooperative systems of systems |
Public URL | https://hull-repository.worktribe.com/output/3666677 |
Files
Article
(530 Kb)
PDF
Copyright Statement
© 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.
You might also like
Integrated safety and architecture modeling for automotive embedded systems
(2011)
Journal Article
A hierarchical method for the reduction of temporal expressions in Pandora
(2010)
Conference Proceeding
A language for failure patterns and application in safety analysis
(2008)
Conference Proceeding
A translation of state machines to temporal fault trees
(2010)
Conference Proceeding