A hierarchical domain model for safety-critical cyber-physical systems in process automation

Cyber-physical systems (CPS) integrate computation with physical processes. For the last years, CPS have been in the focus of research and are getting adopted in multiple domains like health care, automotive and smart factories. The use of CPS promises dynamic adaption of systems to changing environmental and economic conditions through autonomous CPS decisions based on the physical process. In industrial process automation, research and adoption of CPS have to account for the severe safety restrictions that dominate the system design in this domain. To transfer the benefits of CPS application to process automation, the CPS must be able to formally verify the safety of its autonomous reconfiguration decisions. This paper proposes a domain model for safety-critical CPS in industrial process automation to serve as foundation for formal CPS algorithms.

[1]  René David,et al.  On Hybrid Petri Nets , 2001, Discret. Event Dyn. Syst..

[2]  Béla Genge,et al.  Physical process resilience-aware network design for SCADA systems , 2014, Comput. Electr. Eng..

[3]  Gabor Karsai,et al.  Toward a Science of Cyber–Physical System Integration , 2012, Proceedings of the IEEE.

[4]  Sai Vaddi,et al.  Information flow diagram analysis of a model cyber-physical system: Conflict detection and resolution for airport surface traffic , 2013, IEEE Aerospace and Electronic Systems Magazine.

[5]  Gurdip Singh,et al.  Models and algorithms for cyber-physical systems , 2013 .

[6]  Bradley R. Schmerl,et al.  Supporting Heterogeneity in Cyber-Physical Systems Architectures , 2014, IEEE Transactions on Automatic Control.

[7]  Edward A. Lee.  Cyber Physical Systems: Design Challenges , 2008, 2008 11th IEEE International Symposium on Object and Component-Oriented Real-Time Distributed Computing (ISORC).

[8]  Pearl Brereton,et al.  Performing systematic literature reviews in software engineering , 2006, ICSE.

[9]  Christian Schwarz.  Modelling a real-time control system using parameterized linear hybrid automata , 2011, GI-Jahrestagung.

[10]  Insup Lee,et al.  Cyber-physical systems: The next computing revolution , 2010, Design Automation Conference.

[11]  Jun Sun,et al.  Towards a Model Checker for NesC and Wireless Sensor Networks , 2011, ICFEM.

[12]  Frank Slomka,et al.  A Multidisciplinary Design Methodology for Cyber-physical Systems , 2011 .

[13]  Thomas Stauner,et al.  Systematic development of hybrid systems , 2001, Ausgezeichnete Informatikdissertationen.

[14]  Siddhartha Kumar Khaitan,et al.  Design Techniques and Applications of Cyberphysical Systems: A Survey , 2015, IEEE Systems Journal.

[15]  Ayan Banerjee,et al.  Model Based Safety Analysis and Verification of Cyber-Physical Systems , 2012 .

[16]  Bran Selic,et al.  Modeling Cyber-Physical Systems , 2014 .

[17]  Thomas A. Henzinger,et al.  The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.

[18]  Paul Le Guernic,et al.  Timed behavioural modelling and affine scheduling of embedded software architectures in the AADL using Polychrony , 2015, Sci. Comput. Program..

[19]  Kai Petersen,et al.  Systematic Mapping Studies in Software Engineering , 2008, EASE.

[20]  Gabor Karsai,et al.  Model-based control design and integration of cyberphysical systems: an adaptive cruise control case study , 2013 .

[21]  Edward A. Lee,et al.  Modeling Cyber–Physical Systems , 2012, Proceedings of the IEEE.

[22]  Sébastien Gérard,et al.  Chapter 8 – Modeling Cyber-Physical Systems: Combining MARTE with SysML , 2014 .

[23]  Gopal Gupta,et al.  A logic-based modeling and verification of CPS , 2011, SIGBED.

[24]  Robert Harrison,et al.  Industrial Cloud-Based Cyber-Physical Systems: The IMC-AESOP Approach , 2014 .

[25]  Sandeep Neema,et al.  OpenMETA: A Model- and Component-Based Design Tool Chain for Cyber-Physical Systems , 2014, FPS@ETAPS.