Formal modeling and analysis of the HLA component integration standard
SIGSOFT '98/FSE-6 Proceedings of the 6th ACM SIGSOFT international symposium on Foundations of software engineering
Java engine for UML based hybrid state machines
Proceedings of the 32nd conference on Winter simulation
Evolution of Continuous-Time Modeling and Simulation
Proceedings of the 12th European Simulation Multiconference on Simulation - Past, Present and Future
Hi-index | 0.00 |
As engineers are confronted with designing increasingly complex systems composed of interconnected components of diverse nature, traditional methods of modeling and analysis become cumbersome and inefficient. In the paper we discuss one of the approaches to modeling and distributed simulation of hybrid (discrete/continuous) systems. We use hybrid state machines, where sets of algebraic-differential equations are assigned to states, to model complex interdependencies between discrete and continuous time behaviors. This framework is fully supported by UML-RT/Java tool AnyLogic developed at Experimental Object Technologies. We use High Level Architecture (HLA), a defacto standard for distributed simulation, as a communication and synchronization media for distributed hybrid simulation components. Integration of simulations developed with AnyLogic into HLA is considered.