Title :
Research on the transition between the software reliability and safety
Author :
Lin-bo, Fan ; Ying-cheng, Wu ; Ming-Qing, Gong ; Ming, Zhao
Author_Institution :
Reliability Eng. Center, Guizhou Univ., Guiyang, China
Abstract :
In this paper, the transition between the software reliability and safety of a software system is studied. A transition occurs when the program states are changed and different environmental factors are chosen. By using the formal method, the transition rules are established and proved in this paper.
Keywords :
formal logic; set theory; software maintenance; software quality; software reliability; environmental factor; formal method; iterative software development; logical proof; program state change; set theory; software reliability; software system quality; software system safety; transition rule; Computer science; Educational institutions; Environmental factors; Industrial engineering; Loss measurement; Reliability engineering; Software measurement; Software reliability; Software safety; Software systems; formal methods; logical proof; software reliability; software safety;
Conference_Titel :
Computer Science and Information Technology, 2009. ICCSIT 2009. 2nd IEEE International Conference on
Conference_Location :
Beijing
Print_ISBN :
978-1-4244-4519-6
Electronic_ISBN :
978-1-4244-4520-2
DOI :
10.1109/ICCSIT.2009.5234521
