期刊名称：International Journal of Computer Science & Technology
印刷版ISSN：2229-4333
电子版ISSN：0976-8491
出版年度：2012
卷号：3
期号：1
页码：471-473
语种：English
出版社：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 systemshould destroy and kill. The property that the system destroys andkills is a reliability property. The property that the software in theweapon system doesn’t destroy and kill friendly forces is a safetyproperty. Many systems in these days are much more becomingsoftware intensive and many software intensive systems are safetycritical. For this reason, the technique well developed to measureof software reliability is very important for whom to assess sucha system. This paper briefly explains what are different models,metrics and techniques available to increase the reliability of safetycritical systems.
