File(s) not publicly available

Analysing a missile simulator with coloured Petri nets

journal contribution
posted on 05.06.2019, 00:00 by Steven GordonSteven Gordon, J Billington
The operation of a distributed missile engagement simulator is modelled and analysed. The simulator is developed as a testing platform for missile guidance and control algorithms. The simulator uses concurrency and remote execution to enhance performance. Two coloured Petri net models are created, simulated and analysed: an abstract model that specifies the service provided by the simulator to the graphical user interface and user, and a detailed model that describes the functionality of the simulator. It is shown that there are no deadlocks when communicating between components of the simulator and the simulator operates correctly. Also, for a set of input parameters, the detailed model provides the service described by the abstract model.

History

Volume

2

Issue

2

Start Page

144

End Page

159

Number of Pages

16

eISSN

1433-2787

ISSN

1433-2779

Peer Reviewed

Yes

Open Access

No

Journal

International Journal on Software Tools for Technology Transfer