One Formalized Method of Research on the Transformation Rules between Software Reliability and Safety
作者： Fan Lin-bo , Wu Ying-cheng , Gong Min-qing , Zhao Ming
DOI: 10.1109/ETCS.2009.44
关键词: Avionics software 、 Software engineering 、 Computer science 、 Software maintenance 、 Reliability theory 、 Software system 、 Software quality 、 Formal methods 、 Software measurement 、 Reliability (statistics)
摘要: In one software system, the software’s reliability and safety are ultimately determined by program operating states, which will be changed as exterior interior environment changing. in this paper, according with environmental factor lead to changing of definition deviation loss caused states is presented, some conditions proposed ? formal method used describe transition rules between safety. Finally, proofs these given.
acm.org 
sci-hub.se 参考文章(21)
B. Littlewood, D. Miller, Software Reliability and Safety Elsevier Applied Science. ,(1991)
John D. Musa, Geoffrey A. Wilson, A. Frank Ackerman, William W. Everett, Software Reliability Engineering ,(1998)
Kishor S Trivedi, Vibhu Saujanya Sharma, Quantifying software performance, reliability and security: An architecture-based approach Quality Engineering. ,vol. 52, pp. 695- 698 ,(2007)
Walter F. Freiberger, Statistical computer performance evaluation Academic Press. ,(1972)
Katharine Barker, Alison Dale, Luke Georghiou, Management of Collaboration in EUREKA Projects: experiences of UK participants Technology Analysis & Strategic Management. ,vol. 8, pp. 467- 482 ,(1996) , 10.1080/09537329608522464
P.G. Neumann, Illustrative Risks To The Public In The Use Of Computer Systems And Related Technology Symposium Record Policy Issues in Information and Communication Technologies in Medical Applications. pp. 63- 68 ,(1988) , 10.1109/ICTMA.1988.669591
F.B. Bastani, Sung Kim, I-Ling Yen, Ing-Ray Chen, Reliability assessment of framework-based distributed embedded software systems international symposium on software reliability engineering. pp. 367- 376 ,(2002) , 10.1109/ISSRE.2002.1173291
Bev Littlewood, Peter Popov, Lorenzo Strigini, Assessing the reliability of diverse fault-tolerant software-based systems international conference on computer safety reliability and security. ,vol. 40, pp. 781- 796 ,(2002) , 10.1016/S0925-7535(01)00084-4
Udo Voges, Safety, reliability and security of industrial computer systems Safety Science. ,vol. 42, pp. 351- 354 ,(2004) , 10.1016/J.SSCI.2003.09.004
Niclas Ohlsson, Ming Zhao, Mary Helander, Application of multivariate analysis for software fault prediction Software Quality Journal. ,vol. 7, pp. 51- 66 ,(1998) , 10.1023/B:SQJO.0000042059.16470.F0