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

Concurrency and Computation: Practice and Experience

Volumn 28, Issue 2, 2016, Pages 400-419

  Ficco, Massimo ^a   Avolio, Giovanni ^b   Palmieri, Francesco ^a   Castiglione, Aniello ^c  

^a SECOND UNIVERSITY OF NAPLES   (Italy)

^b Via Circumvallazione Esterna di Napoli   (Italy)

^c UNIVERSITY OF SALERNO   (Italy)

Author keywords

critical infrastructures; HLA; hybrid simulation; network emulation; virtualizaton

Indexed keywords

COMPLEX NETWORKS; COORDINATION REACTIONS; DISTRIBUTED DATABASE SYSTEMS; LARGE SCALE SYSTEMS; NETWORK ARCHITECTURE; PUBLIC WORKS; REAL TIME SYSTEMS;

COMMUNICATION OVERHEADS; COMPLEX DISTRIBUTED SYSTEM; EXPERIMENTATION ENVIRONMENTS; HIGH LEVEL ARCHITECTURE; HYBRID SIMULATION; NETWORK EMULATION; SYSTEM ARCHITECTURES; VIRTUALIZATON;

CRITICAL INFRASTRUCTURES;

EID: 85028260051     PISSN: 15320626     EISSN: 15320634     Source Type: Journal    
DOI: 10.1002/cpe.3472     Document Type: Article

References (37)

1. Ficco M, Avolio G, Battaglia L, Manetti V,. Hybrid simulation of distributed large-scale critical infrastructures. Int. Conf. on Intelligent Networking and Collaborative Systems (INCoS 2014), Salerno, IT, September 2014; 616-621.
2. Gigante G, Gargiulo F, Ficco M, A semantic driven approach for requirements verification. In Intelligent Distributed Computing VIII, Camacho D, Braubach L, Venticinque S, Badica C, (eds)., Studies in Computational Intelligence, vol. 570, 2015; 427-436.
3. Zazzaro G, Gigante G, Zaccariello E, Ficco M, Di Martino B,. Supporting development of certified aeronautical components by applying text analysis techniques. 8th Int. Conf. on Complex, Intelligent and Software Intensive Systems (CISIS 2014), Birmingham, UK, July 2014; 602-607.
4. Xue Y, Busch T, Gacek M, Neema H, Karsai G, Sztipanovits J, A model-based integration of network emulation with HLA-based heterogeneous simulation environments, ISIS-10-107, 2010. (Available from: http://www.isis.vanderbilt.edu/node/4396) [accessed on 11 July 2014].
5. 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.
6. poRTIco RTI tool, (Available from: http://www.porticoproject.org/index.php?title=Main\-Page.) [accessed on 25 February 2014] Last update April 2013.
7. Feng S, Yuanchang YD, Meng ZX,. Remodeling traditional RTI software to be with PaaS architecture. Proceedings of the 3rd IEEE International Conference on Computer Science and Information Technology (ICCSIT), Beijing, China, 2010; 511-515.
8. LRIT-Long Range Identification and Tracking, (Available from: http://www.imo.org/OurWork/Safety/Navigation/Pages/LRIT.aspx) [accessed on 4 March 2014].
9. VMS-Vessel Monitoring System, (Available from: http://ec.europa.eu/fisheries/cfp/control/technologies/vms/index\-en.htm) [accessed on 4 March 2014].
10. AIS-Automatic Identification System, (Available from: https://www.itu.int/rec/R-REC-M.1371/en) [accessed on 4 March 2014].
11. 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.
12. Sung C, Kim TG,. Framework for simulation of hybrid systems: interoperation of discrete event and continuous simulators using HLA/RTI. Proceedings of IEEE Workshop on Principles of Advanced and Distributed Simulation (PADS), Nice, France, 2011; 1-8.
13. Clune M, Mosterman P, Cassandras C,. Discrete event and hybrid system simulation with SimEvents. Proceedings of the 8th International Workshop on Discrete Event Systems, Michigan, United States, July 2006; 386-387.
14. Kofman E, Lapadula M, Pagliero E,. PowerDEVS: A DEVSBased environment for hybrid system modeling and simulation, LSD0306, School of Electronic Engineering, Universidad Nacional de Rosario, 2003.
15. Lee EA, Zheng H,. Operational semantics of hybrid systems. Proceedings of the Hybrid Systems: Computation and Control, LNCS 3414, Zurich, Switzerland, 2005; 25-53.
16. Borshchev A, Karpov Y, Kharitonov V,. Distributed simulation of hybrid systems with AnyLogic and HLA. Future Generation Computing Systems 2002. 18 ((6): 829-839.
17. Wetter M, Haves P,. A modular building controls virtual test bed for the integration of heterogeneous systems. Proceedings of the 3rd National Conference of IBPS (SimBuild), Berkeley, USA, July 2008; 69-76.
18. Bouchhima F, Nicolescu G, Aboulhamid EM, Abid M,. Generic discrete-continuous simulation model for accurate validation in heterogeneous systems design. Journal of Microelectronicic 2007. 38 ((6-7): 805-815.
19. Borshchev A, Filippov A,. From system dynamics and discrete event to practical agent based modeling: reasons, techniques, tools. Proceedings of the 22nd International Conference on the System Dynamics Society, Oxford, England, 2004; 25-29.
20. Aversa R, Di Martino B, Ficco M, Venticinque S,. A simulation model for localization of pervasive objects using heterogeneous wireless networks. Simulation Modelling Practice and Theory 2011. 19 (8): 1758-1772.
21. Agogino A, Tumer K,. Regulating air traffic flow with coupled agents. Proceedings of the 7th International Joint Conference on Autonomous Agents and Multiagent Systems, 2, Estoril, Portugal, 2008; 535-542.
22. Krozel J, Doble N,. Simulation of the national airspace system in inclement weather. Modeling and Simulation Technologies Conference, 2007; 20-23.
23. Gorodetsky V, Karsaev O, Samoylov V, Skormin V,. Multi-agent technology for air traffic control and incident management in airport airspace. Proceedings of the International Workshop on Agents in Traffic and Transportation, Paris, France, 2008; 119-125.
24. Hwang I, Kim J, Tomlin C,. Protocol-based conflict resolution for air traffic control. Air Traffic Control Quarterly 2007. 15 (1): 1-34.
25. Ilk D, Volf P, Jakob M, Pchouek M,. Agents for games and simulations. Distributed Platform for Large-Scale Agent-Based Simulations, Lecture Notes in Computer Science LNCS 2009. 5920: 16-32.
26. Lim SY, Kim TG,. Hybrid modeling and simulation methodology based on DEVS formalism. Sunner Computer Simulation July 2001: 188-193.
27. Weingartner E, Schmidt F, Heer T, Wehrle K,. Synchronized network emulation: matching prototypes with complex simulations. ACM SIGMETRICS Performance Evaluation Review 2008. 36 (2): 58-63.
28. Bergstrom C, Varadarajan S, Back G,. The distributed open network emulator: using relativistic time for distributed scalable simulation. Proceedings of the Workshop on Principles of Advanced and Distributed Simulation, Washington, DC, USA, 2006; 19-28.
29. Ding-Yong H, Fang-Ping P, Lo S-H, Chung Y-C,. A scalable HLA RTI system based on Multiple-FedServ architecture. Proceedings of the 12th International Conference on Computer Modelling and Simulation, Cambridge, United Kingdom, 2010; 527-532.
30. Zhang W, Feng L, Hu J, Zha Y,. An approach to service provisioning of HLA RTI as web services. Proceedings of the 7th International Conference on Asia Simulation Conference, Beijing, China, 2008; 1-6.
31. Zebin W, Huizhong W, Weiqing L, Xu Z,. Extending distributed simulation's run-time infrastructure with web services. Proceedings of the IEEE International Conference on Automation and Logistics, Shandong, China, 2007; 1528-1532.
32. GNS3-Graphical Network Simulator, (Available from: http://www.gns3.net) [accessed on 23 May 2014].
33. Esposito C.,Ficco M.,Palmieri F.,Castiglione A.A knowledge-based platform for big data analytics based on publish/subscribe services and stream processing 79,2015.pp:3-17
34. OpenNebula, An user-driven cloud management platform for sysadmins and devops, (Available from: http://opennebula.org/) [accessed on 18 April 2014].
35. Host sFlow, Host sFlow: Data Center Wide Server Performance Monitoring, (Available from: http://host-sflow.sourceforge.net/relatedlinks.php) [accessed on 14 June 2014].
36. OneFlow cloud service, (Available from: http://www.empyra.com/OneFlowCloudSolutions.aspx) [accessed on 18 April 2014].
37. HAProxy, the TCP/HTTP load balancer, (Available from: http://www.haproxy.org/) [accessed on 18 April 2014].