Software Safety Analysis Based on Multiple State Transition

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.

• Periodical: Advanced Materials Research (Volumes 989-994)
• Pages: 4684-4689
• DOI: https://doi.org/10.4028/www.scientific.net/AMR.989-994.4684
• Online since: July 2014
• Authors: Yu Long Wang*, Jin Long Xiao, Yu Kun Liu, Tian Qi Li, Wei Wu
• Keywords: High-Risk, Military Software, Multitasking, Software Failure Model

References

[1] Li DeBao, Lu QiuHai. Engineering vibration test[M]. Beijing: Tsinghua University press, 2004: 250—255.

[2] Shi Yang, Liu GuangBin. The GPS digital satellites IF signal simulator design based on FPGA technology[J]. AEROSPACE CONTROL. 2007, 25(6)75-89.

[3] Zhao JunXiang. The study on mathematical model of high dynamic and intelligent GPS satellite signal simulator's software[D]. Beijing：School of Electronics and Information Engineering，Beijing University of Aeronautics and Astronatics，(2003).

[4] Liu ShuShi, Tang Bing, Tang WeiTao. IF GPS signal simulator software implementation. 14th National remote sensing and control technology papers, (2011).

[5] Lei Dong, IF GPS Signal Simulator Development and Verification. December (2003).

[6] IS-GPS-200, Navstar GPS Space Segment / Navigation User Interfaces[S]. USA: Navstar GPS Joint Program Office, 4 December (2004).

DOI: 10.21236/ada034873

[7] WU You-nian. Invalidation mode research [D]. Beijing: School of Electronic Engineering, Beijing university of Aeronautics and Astronautics, 2007: 45-65(in chinese).

[8] Wei JenYeh , Michal Young. Compositional Reachbility Analysis using Process Algebra. In Proceedings ofthe symposium on Testing, analysis, and very- fication, pages 49–59, (1991).

[9] SONG Xiao-qiu, Software security analysis of Petri net method [D], China's Defense Science and Technology Report, Beijing: Aerospace software evaluation center 1998: 32-38 (in Chinese).