Hybrid Simulation of Distributed Large-Scale Critical Infrastructures

The distributed and complexity nature of modern critical infrastructures that have to provide integrated services through the interoperability of heterogeneous subsystems, even spread among different countries, require new methodologies and tools to dominate overall systems complexity. In particular, in order to get knowledge about their real behavior and define dependability improvement actions, such complex and distributed systems should be reproduced and simulated locally. On the other hand, the extraordinary large number of their components cause a large-scale of the resulting model, limiting its resolution by current simulators. This paper presents a framework to implement hybrid simulation of distributed large-scale critical infrastructures, such as Air Traffic Control (ATC) and Vessel Traffic System (VTS). High Level Architecture (HLA) has been introduced into the engine simulations platform as its design and development foundation, whereas cloud-based virtualization techniques have been exploited in order to reproduce the overall distributed system on a local adaptive testbed. The use of such a framework can result in a considerable reduction of costs in all the system life phases, as well as an increased system dependability level.

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

[2]  Nick McKeown,et al.  OpenFlow: enabling innovation in campus networks , 2008, CCRV.

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

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

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

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

[7]  Brian Adamson,et al.  Integration of the CORE and EMANE Network Emulators , 2011, 2011 - MILCOM 2011 Military Communications Conference.

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

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

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

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

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

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

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

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

[16]  Salvatore Venticinque,et al.  Semantic Support for Log Analysis of Safety-Critical Embedded Systems , 2014, ArXiv.

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