Browse > Article
http://dx.doi.org/10.3745/KTSDE.2021.10.8.287

Securing Safety in Collaborative Cyber-Physical Systems Through Fault Criticality Analysis  

Hussain, Manzoor (충북대학교 컴퓨터과학과)
Ali, Nazakat (충북대학교 컴퓨터과학과)
Hong, Jang-Eui (충북대학교 소프트웨어학과)
Publication Information
KIPS Transactions on Software and Data Engineering / v.10, no.8, 2021 , pp. 287-300 More about this Journal
Abstract
Collaborative Cyber-Physical Systems (CCPS) are those systems that contain tightly coupled physical and cyber components, massively interconnected subsystems, and collaborate to achieve a common goal. The safety of a single Cyber-Physical System (CPS) can be achieved by following the safety standards such as ISO 26262 and IEC 61508 or by applying hazard analysis techniques. However, due to the complex, highly interconnected, heterogeneous, and collaborative nature of CCPS, a fault in one CPS's components can trigger many other faults in other collaborating CPSs. Therefore, a safety assurance technique based on fault criticality analysis would require to ensure safety in CCPS. This paper presents a Fault Criticality Matrix (FCM) implemented in our tool called CPSTracer, which contains several data such as identified fault, fault criticality, safety guard, etc. The proposed FCM is based on composite hazard analysis and content-based relationships among the hazard analysis artifacts, and ensures that the safety guard controls the identified faults at design time; thus, we can effectively manage and control the fault at the design phase to ensure the safe development of CPSs. To justify our approach, we introduce a case study on the Platooning system (a collaborative CPS). We perform the criticality analysis of the Platooning system using FCM in our developed tool. After the detailed fault criticality analysis, we investigate the results to check the appropriateness and effectiveness with two research questions. Also, by performing simulation for the Platooning, we showed that the rate of collision of the Platooning system without using FCM was quite high as compared to the rate of collisions of the system after analyzing the fault criticality using FCM.
Keywords
Safety; Composite Hazards Analysis; Fault Criticality; Cyber-Physical Systems; Platooning System;
Citations & Related Records
연도 인용수 순위
  • Reference
1 A. Y.-Z. Ou, M. Rahmaniheris, Y. Jiang, L. Sha, Z. Fu, and S. Ren, "SafeTrace: A safety-driven requirement traceability framework on device interaction hazards for MD PnP," in Proceedings of 33rd Annual ACM Symposium on Applied Computing, pp.1282-1291, 2018, doi: 10.1145/3167132.3167270.   DOI
2 D. Horn, N. Ali, and J. E. Hong, "Towards enhancement of fault traceability among multiple hazard analyses in cyber-physical systems," 2019 IEEE 43rd Annual Computer Software and Applications Conference (COMPSAC), Milwaukee, WI, USA, pp.458-464, 2019. doi: 10.1109/COMPSAC.2019.10249.   DOI
3 J. Cleland-Huang, S. Rayadurgam, P. Mader, and W. Schafer, "Software and systems traceability for safety-critical projects," Technique Report from Dagstuhl Seminar, 2015.
4 M. Gleirscher and C. Carlan, "Arguing from hazard analysis in safety cases: A modular argument pattern," in Proceedings of IEEE International Symposium on High Assurance Systems Engineering, pp.53-60, 2017, doi: 10.1109/HASE.2017.15.   DOI
5 A. Y. Z. Ou, M. Rahmaniheris, Y. Jiang, L. Sha, Z. Fu, and S. Ren, "SafeTrace: A safety-driven requirement traceability framework on device interaction hazards for MD PnP," in Proceedings of 33rd Annual ACM Symposium on Applied Computing, pp.1282-1291, 2018, doi: 10.1145/3167132.3167270.   DOI
6 C. A. Ericsson, "Hazard Analysis Techniques for System Safety," Hoboken, NJ, USA: John Wiley & Sons, Inc., 2005.
7 N. Ali, M. Hussain, and J.-E. Hong, "Analyzing safety of collaborative cyber-physical systems considering variability," in IEEE Access, Vol.8, pp.162701-162713, 2020. doi: 10.1109/ACCESS.2020.3021460.   DOI
8 S. Medawar, D. Scholle, and I. Sljivo, "Cooperative safety critical CPS platooning in SafeCOP," in the 6th Mediterranean Conference on Embedded Computing (MECO), pp.1-5, 2017, doi: 10.1109/MECO.2017.7977210.   DOI
9 E. S. Kim, D. A. Lee, S. Jung, J. Yoo, J. G. Choi, and J. S. Lee, "NuDE 2.0: A formal method-based software development, verification and safety analysis environment for digital I&Cs in NPPs," Journal of Computing Science and Engineering, Vol.11, No.1, pp.9-23, 2017, doi: 10.5626/JCSE.2017.11.1.9.   DOI
10 A. Causevic, A. V. Papadopoulos, and M. Sirjani, "Towards a framework for safe and secure adaptive collaborative systems," in Proceedings of International Computer Software and Applications Conference, pp.165-170, 2019, doi: 10.1109/COMPSAC.2019.10201.   DOI
11 D. Jia, K. Lu, J. Wang, X. Zhang, and X. Shen, "A survey on platoon-based vehicular cyber-physical systems," IEEE Communications Surveys and Tutorials, Vol.18, No.1, pp.263-284, Jan. 2016, doi: 10.1109/COMST.2015.2410831.   DOI
12 J. Reich, "Systematic engineering of safe open adaptive systems shown for truck platooning DEIS H2020 View project safeTbox: A model-based safety engineering tool View project," 2016. doi: 10.13140/RG.2.2.27809.61283.
13 ISO, ISO 26262-2: Road Vehicles-Functional Safety, 2011.
14 N. Nikolakis, V. Maratos, and S. Makris, "A cyber physical system (CPS) approach for safe human-robot collaboration in a shared workplace," Robotics and Computer-Integrated Manufacturing, Vol.56, pp.233-243, Apr. 2019, doi: 10.1016/j.rcim.2018.10.003.   DOI
15 N. Highway Traffic Safety Administration, "Hazard Analysis of Concept Heavy-Truck Platooning Systems," United States, Department of Transportation, National Highway Traffic Safety Administration, May 2021. Accessed: May 25, 2021. [Online] Available: www.ntis.gov
16 M. Amoozadeh, B. Ching, C. N. Chuah, D. Ghosal, and H. M. Zhang, "VENTOS: Vehicular network open simulator with hardware-in-the-loop support," in Procedia Computer Science, Vol.151, pp.61-68, Jan. 2019. doi: 10.1016/j.procs.2019.04.012.   DOI
17 D. E. Verbitsky and P. F. Lucent, "FTA technique addressing fault criticality and interactions in complex consumer communications," Annual Reliability and Maintainability Symposium. 2001 Proceedings. International Symposium on Product Quality and Integrity (Cat. No.01CH37179), Philadelphia, PA, USA, pp.23-31, 2001.