Describing the HLA Using the DFSS Formalism
The High Level Architecture (HLA) is a standard for enabling the interoperability of simulation systems in a distributed computer environment. The HLA has been established by the US/DMSO and it is aimed to promote the communication among complex simulators. In this paper, we present a formal representation of the modeling aspects of the HLA using the Discrete Flow System Specification (DFSS), a modeling formalism aimed to represent dynamic structure systems. The HLA has introduced concepts not typically used in the modeling and simulation field. A formal representation of the HLA permits its description using standard constructs, making the HLA more easily intelligible by a larger community of users. A formal description also permits to highlight the current limitations of the HLA when compared with a more complete formal framework like the DFSS formalism that supports a wider range of dynamic structure systems.
KeywordsDynamic Structure Parallel Behavior Broadcast Protocol High Level Architecture Network Executive
Unable to display preview. Download preview PDF.
- 1.Barros, F.J.: Modular Representation of Non-Modular HFSS Models. In: International Workshop on Modeling and Applied Simulation, pp. 10–15 (2003)Google Scholar
- 2.Barros, F.J.: Towards Standard Interfaces in Dynamic Structure Discrete Event Models. In: Proceedings of the AIS Conference, pp. 170–174 (2002)Google Scholar
- 3.Barros, F.J.: Handling Simultaneous Events in Dynamic Structure Models. In: Proceedings of SPIE 12th Annual International Symposium on Aerospace/Defense Sensing, Simulation and Controls: Enabling Technology for Simulation Science, vol. 3369, pp. 355–363 (1998)Google Scholar
- 4.Barros, F.J.: Abstracts Simulators for the DSDE Formalism. In: Proceedings of the Winter Simulation Conference, pp. 407–412 (1998)Google Scholar
- 5.US Defense Modeling and Simulation Office. High Level Architecture Run Time Infrastructure (2001)Google Scholar
- 6.Zeigler, B.P.: Theory of Modeling and Simulation. Kluwer, Dordrecht (1976)Google Scholar