DocumentCode
3311023
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
fYear
2009
fDate
8-11 Aug. 2009
Firstpage
372
Lastpage
376
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/ICCSIT.2009.5234521
Filename
5234521
Link To Document