NDLI: Towards assessment of software reliability and its characteristics in safety systems of nuclear reactors

Content Provider	ACM Digital Library
Author	Kumar, C. Senthil Jayakumar, T. Babu, P. Arun Murali, N.
Abstract	As software failures in critical systems could be life threatening and catastrophic, the increase in software-based controls for safety operations demand a systematic evaluation of software reliability. To understand the dynamics behind building reliable software, not only is it important to estimate software reliability with high confidence, it is necessary to study the factors that are likely to affect software reliability. This is especially important for systems that are yet to be certified to be used in the field, i.e. have no operational history. Such systems are often difficult to analyze as no or little operational information is available. This paper attempts to generalize the following relationships in safety-critical software: (i) software reliability versus number of faults in software, (ii) software reliability versus results of static and dynamic analysis, and (iii) software reliability versus safety. The present study reports and discusses results observed in safety- critical software in nuclear reactors using mutation-based testing. The results observed in the case studies indicate that (i) reliability estimates based on number of bugs present in software are likely to be inaccurate for safety-critical software, (ii) the relationship between reliability and errors observed during dynamic analysis indicates that the average warnings and errors decrease exponentially as the reliability increases. No conclusive relationship was found between software reliability and warnings observed during static analysis; and (iii) for safety-critical software, the required safety can be achieved by improving the reliability, however the converse is not always true.
Starting Page	1
Ending Page	17
Page Count	17
File Format	PDF
ISSN	01635948
DOI	10.1145/2659118.2659126
Journal	ACM SIGSOFT Software Engineering Notes (SOEN)
Volume Number	39
Issue Number	5
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1979-04-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Test adequacy Safety critical software Software reliability Software safety Mutation testing
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

An intuitive approach to determine test adequacy in safety-critical software

An Empirical Evaluation of Mutation Testing for Improving the Test Quality of Safety-Critical Software

Reliability demonstration for safety-critical systems

Application of metamorphic testing monitored by test adequacy in a Monte Carlo simulation program

Summary of adequacy of coolant supply backup

Reliability modeling for safety-critical software

Early Prediction of Software Reliability: A Case Study with a Nuclear Power Plant System

Axiomatizing software test data adequacy

On guiding the augmentation of an automated test suite via mutation analysis

Towards assessment of software reliability and its characteristics in safety systems of nuclear reactors

Similar Documents

An intuitive approach to determine test adequacy in safety-critical software

An Empirical Evaluation of Mutation Testing for Improving the Test Quality of Safety-Critical Software

Reliability demonstration for safety-critical systems

Application of metamorphic testing monitored by test adequacy in a Monte Carlo simulation program

Summary of adequacy of coolant supply backup

Reliability modeling for safety-critical software

Early Prediction of Software Reliability: A Case Study with a Nuclear Power Plant System

Axiomatizing software test data adequacy

On guiding the augmentation of an automated test suite via mutation analysis

Towards assessment of software reliability and its characteristics in safety systems of nuclear reactors