期刊名称：International Journal of Computer Science & Technology
印刷版ISSN：2229-4333
电子版ISSN：0976-8491
出版年度：2012
卷号：3
期号：1Ver 3
出版社：Ayushmaan Technologies
摘要：Usually, software that is deemed reliable does what it shall. Software that is deemed safe, doesn’t do what it shall not do, i.e. does nothing that can lead to accident. Example a weapon system should destroy and kill. The property that the system destroys and kills is a reliability property. The property that the software in the weapon system doesn’t destroy and kill friendly forces is a safety property. Many systems in these days are much more becoming software intensive and many software intensive systems are safety critical. For this reason, the technique well developed to measure of software reliability is very important for whom to assess such a system. This paper briefly explains what are different models, metrics and techniques available to increase the reliability of safety critical systems.
