Safety Analysis of Ship-to-air Missile Launch Control Software Based on Time Petri Nets
Kai Nie · Computer and Digital Engineering · 2012
The time Petri net model of the ship-to-air missile launch control software is constructed and the safety is analyzed with the assist of Tina toolbox,to determine the reachability of hazard statements,consider about the sequence of occurrence of software behaviors,some methods are proposed to improvement the software and avoid the hazard statements.