Using complex event processing for modelling and simulation of cyber-physical systems

We consider critical infrastructures as cyber-physical systems (CPS). Although simulations play an important role for CPS, no single simulator is available to simulate different depending CI. Therefore, interoperability of simulators in federated simulations is an important requirement. For modelling and simulation of CPS behaviour, both physical and control aspects have to be considered. CPS control is essentially based on events, states and reactions. Today there are mature numerical simulations for physical behaviours, whereas control is frequently treated in a restricted and ad-hoc manner. We present and analyse different simulator integration approaches based on explicit semantic models and show how they improve the modelling and simulation capabilities of federated simulations in CPS. We demonstrate how complex event processing and reactive rules allow the description of CPS behaviour on the event and action level and the integration of control into federated simulations.

[1]  Patrick Henry Winston,et al.  Artificial intelligence (3rd ed.) , 1992 .

[2]  Erich Rome,et al.  The DIESIS Approach to Semantically Interoperable Federated Critical Infrastructure Simulation , 2010, 2010 Second International Conference on Advances in System Simulation.

[3]  M. Amin,et al.  Security challenges for the electricity infrastructure , 2002 .

[4]  Andreas Tolk,et al.  A systems engineering process for development of federated simulations , 2009, SpringSim '09.

[5]  David C. Luckham,et al.  Validating discrete event simulations using event pattern mappings , 1992, [1992] Proceedings 29th ACM/IEEE Design Automation Conference.

[6]  Wolfgang May,et al.  Combining ECA Rules with Process Algebras for the Semantic Web , 2006, 2006 Second International Conference on Rules and Rule Markup Languages for the Semantic Web (RuleML'06).

[7]  Erich Rome,et al.  Information Modelling and Simulation in Large Interdependent Critical Infrastructures in IRRIIS , 2008, CRITIS.

[8]  M.D. Ilic,et al.  Modeling future cyber-physical energy systems , 2008, 2008 IEEE Power and Energy Society General Meeting - Conversion and Delivery of Electrical Energy in the 21st Century.

[9]  Daniel Mossé,et al.  Generic framework for design, modeling and simulation of cyber physical systems , 2008, SIGBED.

[10]  Vincenzo Masucci,et al.  An Integrated Approach For Simulating Interdependencies , 2008, Critical Infrastructure Protection.

[11]  Jing Lin,et al.  Towards Integrated Simulation of Cyber-Physical Systems: A Case Study on Intelligent Water Distribution , 2009, 2009 Eighth IEEE International Conference on Dependable, Autonomic and Secure Computing.

[12]  Sharma Chakravarthy,et al.  Composite Events for Active Databases: Semantics, Contexts and Detection , 1994, VLDB.

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

[14]  Christopher Gill,et al.  Cyber-Physical Systems Distributed Control: The Advanced Electric Power Grid , 2007 .

[15]  Carolyn L. Talcott,et al.  Toward Distributed Declarative Control of Networked Cyber-Physical Systems , 2010, UIC.

[16]  Erich Rome,et al.  An ontological approach to simulate critical infrastructures , 2010, J. Comput. Sci..

[17]  Frank P. Coyle Review of 'The power of events: An introduction to complex event processing in distributed enterprise systems,' by David Luckham, Addison Wesley Professional, May 2002 , 2003, UBIQ.

[18]  David Luckham,et al.  The power of events - an introduction to complex event processing in distributed enterprise systems , 2002, RuleML.

[19]  James A. Hendler,et al.  The Semantic Web" in Scientific American , 2001 .

[20]  Martin Kersten,et al.  Exploiting the power of relational databases for efficient stream processing , 2009, EDBT '09.

[21]  Albert Mo Kim Cheng,et al.  Optimizing Automotive Cyber-Physical System Specifications with Multi-Event Dependencies , 2008, 2008 10th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing.

[22]  James A. Hendler,et al.  Handbook of Semantic Web Technologies , 2011, Handbook of Semantic Web Technologies.

[23]  Opher Etzion,et al.  Amit - the situation manager , 2003, The VLDB Journal.

[24]  Ewa Niewiadomska-Szynkiewicz,et al.  A Federated Approach to Parallel and Distributed Simulation of Complex Systems , 2007, Int. J. Appl. Math. Comput. Sci..

[25]  Ramesh Jain,et al.  Situation based control for cyber-physical environments , 2009, MILCOM 2009 - 2009 IEEE Military Communications Conference.

[26]  Jennifer Widom,et al.  Active Database Systems , 1995, Modern Database Systems.

[27]  Miguel Correia,et al.  CRUTIAL: The Blueprint of a Reference Critical Information Infrastructure Architecture , 2006, CRITIS.

[28]  Jennifer Widom,et al.  Active Database Systems: Triggers and Rules For Advanced Database Processing , 1994 .

[29]  Wayne H. Wolf,et al.  The Good News and the Bad News , 2007, Computer.

[30]  Carolyn L. Talcott,et al.  Cyber-Physical Systems and Events , 2008, Software-Intensive Systems and New Computing Paradigms.

[31]  Edward A. Lee,et al.  An introductory textbook on cyber-physical systems , 2010, WESE '10.

[32]  Sahra Sedigh Sarvestani,et al.  Reliability Analysis for the Advanced Electric Power Grid: From Cyber Control and Communication to Physical Manifestations of Failure , 2009, SAFECOMP.

[33]  Adrian Paschke,et al.  Rule-Based Event Processing and Reaction Rules , 2009, RuleML.

[34]  Alexandra Poulovassilis,et al.  Active rules for sensor databases , 2004, DMSN '04.