An HLA‐based framework for simulation of large‐scale critical systems

Evaluating the dependability of large‐scale critical infrastructures is a very difficult task that requires sophisticated modeling practices and experimentation environments/infrastructures. In particular, simulation of complex distributed systems require the integration of several different simulation tools and real‐time prototypes or emulated subsystems, which have to inter‐operate in a coordinated way. This paper presents a framework integrating simulation and emulation‐based subsystems, which is able to provide greater realism of the scenario under test. However, integrating simulation and emulation is a challenging issue because of the different time domains and to the communication overhead between the different time models, as well as to the large number of involved entities. Therefore, the high level architecture has been used to perform integration in a robust and standardized scenario. A cloud‐based virtualization platform has been adopted in order to reproduce complex system architectures on an elastic and adaptive locally controlled testbed. Copyright © 2015 John Wiley & Sons, Ltd.

[1]  Edward A. Lee,et al.  Operational Semantics of Hybrid Systems , 2005, HSCC.

[2]  Frank Dignum Agents for games and simulations , 2011, Autonomous Agents and Multi-Agent Systems.

[3]  Vladimir Gorodetsky SPIIRAS,et al.  Multi-Agent Technology for Air Traffic Control and Incident Management in Airport Airspace , 2008 .

[4]  Mohamed Abid,et al.  Generic discrete-continuous simulation model for accurate validation in heterogeneous systems design , 2007, Microelectron. J..

[5]  Christos Cassandras,et al.  Discrete Event and Hybrid System Simulation with SimEvents , 2006, 2006 8th International Workshop on Discrete Event Systems.

[6]  A. Borshchev,et al.  From System Dynamics and Discrete Event to Practical Agent Based Modeling : Reasons , Techniques , Tools , 2004 .

[7]  Xu Zhang,et al.  Extending Distributed Simulation's Run-Time Infrastructure with Web Services , 2007, 2007 IEEE International Conference on Automation and Logistics.

[8]  Kagan Tumer,et al.  Regulating air traffic flow with coupled agents , 2008, AAMAS.

[9]  David Sislák,et al.  Distributed Platform for Large-Scale Agent-Based Simulations , 2009, AGS.

[10]  Salvatore Venticinque,et al.  A simulation model for localization of pervasive objects using heterogeneous wireless networks , 2011, Simul. Model. Pract. Theory.

[11]  Christian Esposito,et al.  A knowledge-based platform for Big Data analytics based on publish/subscribe services and stream processing , 2015, Knowl. Based Syst..

[12]  Massimo Ficco Hybrid Simulation of Distributed Large-Scale Critical Infrastructures , 2014, 2014 International Conference on Intelligent Networking and Collaborative Systems.

[13]  Chang Ho Sung,et al.  Framework for Simulation of Hybrid Systems: Interoperation of Discrete Event and Continuous Simulators Using HLA/RTI , 2011, 2011 IEEE Workshop on Principles of Advanced and Distributed Simulation.

[14]  Wei Zhang,et al.  An approach to service provisioning of HLA RTI as Web services , 2008, 2008 Asia Simulation Conference - 7th International Conference on System Simulation and Scientific Computing.

[15]  Jimmy Krozel,et al.  Simulation of the National Airspace System in Inclement Weather , 2007 .

[16]  Massimo Ficco,et al.  A Semantic Driven Approach for Requirements Verification , 2014, IDC.

[17]  Vladimir L. Kharitonov,et al.  Distributed simulation of hybrid systems with AnyLogic and HLA , 2002, Future Gener. Comput. Syst..

[18]  Beniamino Di Martino,et al.  Supporting Development of Certified Aeronautical Components by Applying Text Analysis Techniques , 2014, 2014 Eighth International Conference on Complex, Intelligent and Software Intensive Systems.

[19]  Inseok Hwang,et al.  Protocol-Based Conflict Resolution for Air Traffic Control , 2007 .

[20]  Klaus Wehrle,et al.  Synchronized network emulation: matching prototypes with complex simulations , 2008, PERV.

[21]  Srinidhi Varadarajan,et al.  The Distributed Open Network Emulator: Using Relativistic Time for Distributed Scalable Simulation , 2006, 20th Workshop on Principles of Advanced and Distributed Simulation (PADS'06).

[22]  Yeh-Ching Chung,et al.  A Scalable HLA RTI System Based on Multiple-FedServ Architecture , 2010, 2010 12th International Conference on Computer Modelling and Simulation.

[23]  Philip Haves,et al.  A Modular Building Controls Virtual Test Bed for the Integrations of Heterogeneous Systems , 2008 .

[24]  Yanqiang Di,et al.  Remodeling traditional RTI software to be with PaaS architecture , 2010, 2010 3rd International Conference on Computer Science and Information Technology.