Hybrid simulation of distributed large-scale critical infrastructures

Proceedings - 2014 International Conference on Intelligent Networking and Collaborative Systems, IEEE INCoS 2014

Volumn , Issue , 2014, Pages 616-621

  Ficco, Massimo ^a   Avolio, Giovanni ^b   Battaglia, Luigi ^b   Manetti, Vittorio ^b  

^a SECOND UNIVERSITY OF NAPLES   (Italy)

^b SESM SCARL   (Italy)

Author keywords

Cloud computing; Critical infrastructures; HLA; Hybrid simulation; Network emulation

Indexed keywords

AIR TRAFFIC CONTROL; CLOUD COMPUTING; COMPLEX NETWORKS; CRITICAL INFRASTRUCTURES; INTEROPERABILITY; PUBLIC WORKS; TRAFFIC CONTROL; WATERWAY TRANSPORTATION;

AIR TRAFFIC CONTROL (ATC); DESIGN AND DEVELOPMENT; HIGH LEVEL ARCHITECTURE; HLA; HYBRID SIMULATION; NETWORK EMULATION; VESSEL TRAFFIC SYSTEMS; VIRTUALIZATION TECHNIQUES;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 84926442213     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/INCoS.2014.35     Document Type: Conference Paper

References (34)

1. A. Venticinque, N. Mazzocca, S. Venticinque, and M. Ficco. Semantic support for log analysis of safety-critical embedded systems. in Proc. of the 10th European Dependable Computing Conference (EDCC'14), Newcastle, UK, May 13-16, 2014.
2. IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA), Federate Interface Specification, Std 1516. 2-2000. New York: Institute of Electrical and Electronics Engineers, Inc.
3. poRTIco RTI tool, available at http://www. porticoproject. org/index. php? title=Main Page. Last update April 2013.
4. IEEE Standard for Modeling and Simulation (M&S) High Level Architecture (HLA), Federation Development and Execution Process (FEDEP), Std 1516. 3-2003. New York: Institute of Electrical and Electronics Engineers, Inc.
5. LRIT-Long Range Identification and Tracking, available at: http://www. imo. org/OurWork/Safety/Navigation/Pages/LRIT. aspx
6. VMS-Vessel Monitoring System, available at: http://ec. europa. eu/fisheries/cfp/control/technologies/vms/index en. htm
7. AIS-Automatic Identification System, available at: https://www. itu. int/rec/R-REC-M. 1371/en
8. M. Clune, P. Mosterman, and C. Cassandras. Discrete Event and Hybrid System Simulation with SimEvents, in Proc. of the 8th International Workshop on Discrete Event Systems, Jul. 2006, pp. 386-387.
9. H. Zheng. Operational semantics of hybrid systems. Ph. D. dissertation, Berkeley, CA, USA, 2007, adviser-Edward A. Lee.
10. A. Borshchev, Y. Karpov, and V. Kharitonov. Distributed simulation of hybrid systems with AnyLogic and HLA, in Future Gener. Comput. Syst., vol. 18, no. 6, pp. 829-839, 2002.
11. E. Kofman, M. Lapadula, and E. Pagliero. PowerDEVS: A DEVSBased Environment for Hybrid System Modeling and Simulation, School of Electronic Engineering, Universidad Nacional de Rosario, Tech. Rep. LSD0306, 2003.
12. F. Bouchhima, G. Nicolescu, E. M. Aboulhamid, and M. Abid. Generic discrete-continuous simulation model for accurate validation in heterogeneous systems design, in Journal of Microelectronicic, vol. 38, no. 6-7, 2007, pp. 805-815.
13. M. Wetter and P. Haves. A Modular Building Controls Virtual Test Bed for The Integration of Heterogeneous Systems. in Proc. of the 3rd National Conference of IBPS (SimBuild), Berkeley, USA, Jul. 2008, pp. 69-76.
14. A. Borshchev and A. Filippov. From system dynamics and discrete event to practical agent based modeling: Reasons, techniques, tools, in Proc. of the 22nd International Conference on the System Dynamics Society, 2004, pp. 25-29.
15. A. Agogino and K. Tumer. Regulating air traffic flow with coupled agents, in Proc. of the 7th international joint conference on Autonomous agents and multiagent systems, vol. 2, 2008, pp. 535-542.
16. J. Krozel and N. Doble. Simulation of the National Airspace System in Inclement Weather, in Modeling and Simulation Technologies Conference, 2007, pp. 20-23.
17. V. Gorodetsky, O. Karsaev, V. Samoylov, and V. Skormin. Multi-Agent Technology for Air Traffic Control and Incident Management in Airport Airspace. in Proc. of the International Workshop on Agents in Traffic and Transportation, 2008, pp. 119-125.
18. I. Hwang, J. Kim, and C. Tomlin. Protocol-based conflict resolution for air traffic control. in Air Traffic Control Quarterly, vol. 15, no. 1, 2007, pp. 134.
19. D. ilk, P. Volf, M. Jakob, and M. Pchouek. Agents for Games and Simulations, in Distributed Platform for Large-Scale Agent-Based Simulations, Lecture Notes in Computer Science LNCS, vol. 5920, 2009, pp 16-32.
20. S. Y. Lim and T. G. Kim. Hybrid Modeling and Simulation Methodology based on DEVS Formalism, in Sunner Computer Simulation, Jul. 2001, pp. 188193.
21. A. Borshchev, Y. Karpov, and V. Kharitonov. Distributed simulation of hybrid systems with AnyLogic and HLA, in Future Generation Computing Systems, vol. 18, no. 6, 2002, pp. 829-839.
22. R. Aversa, B. Di Martino, M. Ficco, and S. Venticinque. A simulation model for localization of pervasive objects using heterogeneous wireless networks, in Simulation Modelling Practice and Theory, vol. 19, no. 8, 2011, pp. 1758-1772.
23. Ding-Yong Hong, Fang-Ping Pai, Shih-Hsiang Lo and Yeh-Ching Chung. A Scalable HLA RTI System based on Multiple-FedServ Architecture, in Proc. of the 12th International Conference on Computer Modelling and Simulation, 2010, pp. 527-532.
24. G. Gigante, F. Gargiulo, and M. Ficco. A semantic driven approach for requirements verification, in Proc. of the 8th International Symposium on Intelligent Distributed Computing (IDC'14), Madrid, Spain, 2014.
25. G. Zazzaro, G. Gigante, E. Zaccariello, M. Ficco, and B. Di Martino. Supporting development of certified aeronautical components by applying text analysis techniques, in Proc. of the 8th International Conference on Complex, Intelligent, and Software Intensive Systems (CISIS'14), Birmingham, UK, 2014.
26. SESAR-Single European Sky ATM Research, available at http://www. sesarju. eu
27. NISTnet-National Institute of Standards and Technology, available at http://snad. ncsl. nist. gov/nistnet
28. KAUNET-Deterministic Network Emulation, available at http://www. kau. se/en/kaunet
29. CORE-Common Open Research Emulator, available at http://www. nrl. navy. mil/itd/ncs/products/core
30. J. Ahrenholz, T. Goff, and B. Adamson. Integration of the CORE and EMANE Network Emulators, in Proc. of the IEEE Military Communications Conference, Nov. 2011, pp. 1870-1875.
31. W. Barth. Nagios System and Netwok Monitoring. William Pollock Editor. 2008. ISBN 978-1-59327-179-4
32. OpenVswitch-An Open Virtual Switch, available at http://openvswitch. org
33. Mckoewn, Nick, et al. OpenFlow: enabling innovation in campus networks. In ACM SIGCOMM Computer Communication Review, vol. 38, no. 2, 2008, pp. 69-74.
34. OpenNebula, An user-driven cloud management platform for sysadmins and devops, http://opennebula. org