Simulation composition approach for auv

Zhuo Wang,Xiaoning Feng,M. Lan
2012-01-01
Abstract:The computation of the simulation models is complex and the behavior sequence must be updated dynamically in AUV simulation system. The simulation system composability development framework is provided to solve these problems. The π calculus is extended to describe the time properties of models in the framework. And simulation models are formal described by the extended π calculus. Then the behavior composability is validated by reduction and bisimulation of π calculus. The framework is validated by the simulation composition example and the construction of AUV simulation test system. The framework can complete the description and the dynamical composability of various models in the distributed real time simulation system.
What problem does this paper attempt to address?