A Case Study on the Petri Net-Based Fuze Software Safety Analysis

摘要

Microprocessor and its software have been applied in our country various new fuzes, but as to its software reliability and safety is just the start with the research. This paper introduced the Petri net-based fuze software safety analysis technique. With a electronic time fuze case, the Petri net model was established based on the system flow chart and software flow chart. Analyzed safety of the fuze software design with the converse reachable figs retrospect method and the key state, discovered its existent safety hidden trouble, and modified the design.