Software Safety Analysis Based on Multiple State Transition

Yu Long Wang,Jin Long Xiao,Yu Kun Liu,Tian Qi Li,Wei Wu
DOI: https://doi.org/10.4028/www.scientific.net/amr.989-994.4684
2014-01-01
Advanced Materials Research
Abstract: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.
What problem does this paper attempt to address?