Software Safety Analysis Based on Multiple State Transition
Yu‐Long Wang, Jin Long Xiao, Yu Kun Liu, Tian Qi Li, Wei Wu · Advanced materials research · 2014
At present, existing methods are difficult to analyze the Safety of Multitasking and complex timing sequence software. In order to overcome this difficulty, a new analysis method of multiple state transfer and real-time logic analysis method (MSTRT-TPN ) is proposed. This method extends the time Petri net analysis rules and proposes the concept of synchronous synthesis and sharing synthesis. It combines temporal logic and state transition, establishes software failure model. Through the model, the possibility of high-risk state of software can be analyzed. The effectiveness of the proposed method is verified through application in three protection device software which is typical safety-critical military software.