Towards a Framework for Safe and Secure Adaptive Collaborative Systems

Čaušević, Aida; Papadopoulos, Alessandro Vittorio; Sirjani, Marjan

doi:10.1109/compsac.2019.10201

Cited by 6 publications

(26 citation statements)

References 31 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Causevic et al [21] have proposed a framework in order to develop a safe and secure adaptive collaborative system with runtime guarantees. In the proposed framework, the authors focused on requirements engineering and safety assurance techniques in order to capture safety and security properties for collaborative systems.…”

Section: Safety Analysis For System Of Cyber-physical Systemsmentioning

confidence: 99%

SafeSoCPS: A Composite Safety Analysis Approach for System of Cyber-Physical Systems

Ali

Hussain

Hong

2022

Sensors

View full text Add to dashboard Cite

The System of Cyber-Physical Systems (SoCPS) comprises several independent Cyber-Physical Systems (CPSs) that interact with each other to achieve a common mission that the individual systems cannot achieve on their own. SoCPS are rapidly gaining attention in various domains, e.g., manufacturing, automotive, avionics, healthcare, transportation, and more. SoCPS are extremely large, complex, and safety-critical. As these systems are safety-critical in nature, it is necessary to provide an adequate safety analysis mechanism for these collaborative SoCPS so that the whole network of these CPSs work safely. This safety mechanism must include composite safety analysis for a network of collaborative CPS as a whole. However, existing safety analysis techniques are not built for analyzing safety for dynamically forming networks of CPS. This paper introduces a composite safety analysis approach called SafeSoCPS to analyze hazards for a network of SoCPS. In SafeSoCPS, we analyze potential hazards for the whole network of CPS and trace the faults among participating systems through a fault propagation graph. We developed a tool called SoCPSTracer to support the SafeSoCPS approach. Human Rescue Robot System—a collaborative system—is taken as a case study to validate our proposed approach. The result shows that the SafeSoCPS approach enables us to identify 18 percent more general faults and 63 percent more interaction-related faults in a network of a SoCPS.

show abstract

Section: Safety Analysis For System Of Cyber-physical Systemsmentioning

confidence: 99%

SafeSoCPS: A Composite Safety Analysis Approach for System of Cyber-Physical Systems

Ali

Hussain

Hong

2022

Sensors

View full text Add to dashboard Cite

show abstract

“…Similarly, in [28] the usage of digital twins is suggested to support the identification of safety and security goals. Whereas these approaches focus on the identification of abstract safety and security problems, the vision described in [6] introduces some ideas how these models could be used. The authors mention architecture and behavioral models that shall be used to analyze safety and security requirements at run-time of a self-adaptive system.…”

Section: Related Workmentioning

confidence: 99%

“…The Attack-Fault Trees presented are not specialized to the challenges of self-adaptive systems, since they are created manually and not updated automatically according to an adaptation performed. Čaušević et al [6] present in their vision paper their idea for combining safety and security for self-adaptive systems using different models at design and at runtime. Another example is the work of Lui et al [12], that presents an approach of defining safety and security goals and then determining which attacks could compromise them.…”

Section: Introductionmentioning

confidence: 99%

“…Another example is the work of Lui et al [12], that presents an approach of defining safety and security goals and then determining which attacks could compromise them. These works are a first starting point, but both, Čaušević et al [6] and Lui et al [12], lack the consideration of the safety and security risks arising during an adaptation. The fact that an adaptation is not performed in zero time and cannot be considered as an atomic transaction is not taken into account.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

Towards model co-evolution across self-adaptation steps for combined safety and security analysis

Witte¹,

Groner²,

Raschke³

et al. 2022

Proceedings of the 17th Symposium on Software Engineering for Adaptive and Self-Managing Systems

View full text Add to dashboard Cite

Self-adaptive systems offer several attack surfaces due to the communication via different channels and the different sensors required to observe the environment. Often, attacks cause safety to be compromised as well, making it necessary to consider these two aspects together. Furthermore, the approaches currently used for safety and security analysis do not sufficient take into account the intermediate steps of an adaptation. Current work in this area ignores the fact that a self-adaptive system also reveals possible vulnerabilities (even if only temporarily) during the adaptation. To address this issue, we propose a modeling approach that takes into account the different relevant aspects of a system, its adaptation process, as well as safety hazards and security attacks. We present several models that describe different aspects of a self-adaptive system and we outline our idea of how these models can then be combined into an Attack-Fault Tree. This allows modeling aspects of the system on different levels of abstraction and co-evolve the models using transformations according to the adaptation of the system. Finally, analyses can then be performed as usual on the resulting Attack-Fault Tree. CCS CONCEPTS• Software and its engineering → System description languages; Fault tree analysis; • Computer systems organization → Embedded and cyber-physical systems; Dependable and faulttolerant systems and networks.

show abstract

“…Runtime behavioral models for collaborative adaptive systems is discussed in [7]. The authors proposed a framework to develop safe and secure adaptive collaborative systems with runtime safety guarantees.…”

Section: A Motivationmentioning

confidence: 99%

Analyzing Safety of Collaborative Cyber-Physical Systems Considering Variability

2020

View full text Add to dashboard Cite

Cyber-Physical System (CPS) is co-engineered interacting networks of physical and computational components that operate on different spatial and temporal scales. The safety goal of a single CPS is usually achieved by applying hazard analysis techniques and by following the standard processes defined in ISO 26262 and IEC 61508. However, the safety property may not be satisfied when multiple CPSs collaborate due to complexity, uncertainty, and variability. Therefore, a technique that would provide a hazardous-free collaboration for multiple CPSs is required to preserve sustainability. In this paper, we analyze the hazards arising due to variabilities in collaborative CPSs. We extend the hazard analysis techniques (FTA, FMEA, and ETA) to explore hazards with variability and developed a fault traceability graph from our extended techniques to trace the faults considered by multiple hazard analyses in collaborative CPSs with variability. To justify our proposed approach, a case study on the human rescue robot system was conducted to analyze hazards emerging as a result of variabilities. Finally, a tool (CPS Tracer) was developed to model the FTA, ETA, and FMEA with variability (v_FTA, v_FMEA, and v_ETA), and generates the fault traceability graph (v_FTG) that represents fault propagation route.

show abstract

Towards a Framework for Safe and Secure Adaptive Collaborative Systems

Cited by 6 publications

References 31 publications

SafeSoCPS: A Composite Safety Analysis Approach for System of Cyber-Physical Systems

SafeSoCPS: A Composite Safety Analysis Approach for System of Cyber-Physical Systems

Towards model co-evolution across self-adaptation steps for combined safety and security analysis

Analyzing Safety of Collaborative Cyber-Physical Systems Considering Variability

Contact Info

Product

Resources

About