ABSTRACT
One of the key requirements for designing safety critical cyber physical systems (CPS) is to ensure resiliency. Typically, the cyber sub-system in a CPS is empowered with protection devices that quickly detect and isolate faulty components to avoid failures. However, these protection devices can have internal faults that can cause cascading failures, leading to system collapse. Thus, to guarantee the resiliency of the system, it is necessary to identify the root cause(s) of a given system disturbance to take appropriate control actions. Correct failure diagnosis in such systems depends upon an integrated fault model of the system that captures the effect of faults in CPS as well as nominal and faulty operation of protection devices, sensors, and actuators.
In this paper, we propose a novel graph based qualitative fault modeling formalism for CPS, called, Temporal Causal Diagrams (TCDs) that allow system designers to effectively represent faults and their effects in both physical and cyber sub-systems. The paper also discusses in detail the fault propagation and execution semantics of a TCD model by translating to timed automata and thus allowing an efficient means to quickly analyze, validate and verify the fault model. In the end, we show the efficacy of the modeling approach with the help of a case study from energy system.
- Sherif Abdelwahed, Sherif Abdelwahed, Gabor Karsai, and Gautam Biswas. 2005. A Consistency-based Robust Diagnosis Approach for Temporal Causal Systems. IN THE 16TH INTERNATIONAL WORKSHOP ON PRINCIPLES OF DIAGNOSIS (2005), 73--79.Google Scholar
- Sherif Abdelwahed and Gabor Karsai. 2007. Notions of diagnosability for timed failure propagation graphs. In AUTOTESTCON (Proceedings). 643--648.Google Scholar
- S. Abdelwahed, G. Karsai, N. Mahadevan, and S.C. Ofsthun. 2009. Practical Implementation of Diagnosis Systems Using Timed Failure Propagation Graph Models. IEEE Transactions on Instrumentation and Measurement 58 (2009), 240--247.Google ScholarCross Ref
- Rajeev Alur, Costas Courcoubetis, Thomas A Henzinger, and Pei-Hsin Ho. 1992. Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems. In Hybrid systems. Springer, 209--229.Google ScholarDigital Library
- Rajeev Alur and David L. Dill. 1994. A theory of timed automata. Theoretical Computer Science 126, 2 (4 1994), 183--235.Google ScholarDigital Library
- Gerd Behrmann, Alexandre David, and Kim G. Larsen. 2004. A Tutorial on UPPAAL. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 3185 (2004), 200--236.Google Scholar
- Anibal Bregon, Belarmino Pulido, Gautam Biswas, and Xenofon D Koutsoukos. 2009. Generating Possible Conflicts From Bond Graphs Using Temporal Causal Graphs.. In ECMS. 675--682.Google Scholar
- Christopher Brooks. 2016. Ptolemy II: An open-source platform for experimenting with actor-oriented design.Google Scholar
- A. Chhokra, A. Dubey, N. Mahadevan, and G. Karsai. 2015. A component-based approach for modeling failure propagations in power systems. In 2015 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems (MSCPES). 1--6.Google Scholar
- Ajay Chhokra, Nagabhushan Mahadevan, Abhishek Dubey, Daniel Balasubramanian, and Gabor Karsai. 2017. Towards Diagnosing Cascading Outages in Cyber Physical Energy Systems using Temporal Causal Models. In 2017 Annual Conference of the Prognostics and Health Management Society (PHM17).Google Scholar
- Goran Frehse. 2005. PHAVer: Algorithmic verification of hybrid systems past HyTech. In International workshop on hybrid systems: computation and control. Springer, 258--273.Google ScholarDigital Library
- Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, and Oded Maler. 2011. SpaceEx: Scalable verification of hybrid systems. In International Conference on Computer Aided Verification. Springer, 379--395.Google ScholarDigital Library
- Hui Ren, Zengqiang Mi, Hongshan Zhao, and Qixun Yang. [n.d.]. Fault diagnosis for substation automation based on Petri nets and coding theory. In IEEE Power Engineering Society General Meeting, 2004., Vol. 2. IEEE, 1038--1042.Google Scholar
- Schweitzer Engineering Laboratories Inc. [n.d.]. High-Speed Line Protection, Automation, and Control System Major Features and Benefits SEL-421 Protection and Automation System. Technical Report.Google Scholar
- H. Kopetz and G. Bauer. 2003. The time-triggered architecture. Proc. IEEE 91, 1 (1 2003), 112--126.Google ScholarCross Ref
- Mathworks. R2020a. Stateflow Documentation.Google Scholar
- Yiannis Papadopoulos. 2003. Model-based system monitoring and diagnosis of failures using statecharts and fault trees. Reliability Engineering & System Safety 81, 3 (9 2003), 325--341.Google Scholar
- Vasso Reppa, Marios Polycarpou, and Christos Panayiotou. 2015. Distributed Sensor Fault Diagnosis for a Network of Interconnected Cyber-Physical Systems. Control of Network Systems, IEEE Transactions on 2 (03 2015), 11--23.Google Scholar
- M. Sampath, R. Sengupta, S. Lafortune, K. Sinnamohideen, and D.C. Teneketzis. 1996. Failure diagnosis using discrete-event models. IEEE Transactions on Control Systems Technology 4, 2 (3 1996), 105--124.Google ScholarCross Ref
- J. Shiozaki, B. Shibata, H. Matsuyama, and E. O'shima. 1989. Fault diagnosis of chemical processes utilizing signed directed graphs-improvement by using temporal information. IEEE Transactions on Industrial Electronics (1989), 469--474.Google Scholar
- Stavros Tripakis. 2002. Fault diagnosis for timed automata. In International symposium on formal techniques in real-time and fault-tolerant systems. Springer, 205--221.Google ScholarCross Ref
- U.S.-Canada Power System Outage Task Force. 2003. Causes of the August 14th Blackout in the United States and Canada. Technical Report. NERC. 134 pages.Google Scholar
Index Terms
- Qualitative Fault Modeling in Safety Critical Cyber Physical Systems
Recommendations
Security Objectives of Cyber Physical Systems
SECTECH '14: Proceedings of the 2014 7th International Conference on Security TechnologyToday, cyber physical systems (CPS) are ubiquitous in power networks, healthcare devices, transportation networks, industrial process and infrastructures. Security of cyber physical systems has become the utmost important concern in system design, ...
A New Model Language for Cyber Physical Systems
ISCC-C '13: Proceedings of the 2013 International Conference on Information Science and Cloud Computing CompanionCyber Physical Systems are an emerging discipline that integrates computation and physical processes. With the computation field developed maturely, the major challenges of the implementation of CPSs are the informational abstraction of physical ...
Specifying Time Constraints of Cyber Physical Systems Based on Clock Theory
CSE '13: Proceedings of the 2013 IEEE 16th International Conference on Computational Science and EngineeringCyber Physical Systems(CPS) combines the interactions between control processes and physical processes. Behaviors of the interactions in Cyber Physical Systems are divided into discrete dynamics and continuous dynamics. The interactions must be time-...
Comments