Aspect-oriented Data and Safety Modeling for Cyber-Physical Systems in Process Automation

Cyber-physical systems (CPS) integrate computation with physical processes, enabling the dynamic adaption of systems based on economic and environmental conditions. The adoption of CPS in industrial process automation is impeded by legacy systems with severe functional safety constraints and the need for highly configurable devices. To transfer the benefits of CPS to process automation, the inherent conflict between CPS safety and configurability must be explicitly considered during system design and operation. This paper proposes aspect-oriented modeling of safety and data for CPS in process automation as a baseline for formal consistency monitoring.

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

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

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

[4]  T. Henzinger.  The theory of hybrid automata , 1996, LICS 1996.

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

[6]  Attila Bilgic,et al.  A hierarchical domain model for safety-critical cyber-physical systems in process automation , 2015, 2015 IEEE 13th International Conference on Industrial Informatics (INDIN).

[7]  Andrew G. Alleyne,et al.  Dynamic Modeling And Control of Single and Multi-Evaporator Subcritical Vapor Compression Systems , 2003 .

[8]  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.

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

[10]  R. Bell,et al.  IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .

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

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

[13]  R. France,et al.  Aspect-oriented approach to early design modelling , 2004, IEE Proc. Softw..

[14]  Goran Frehse,et al.  Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software , 2014, 2014 IEEE Real-Time Systems Symposium.

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

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

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

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

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

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