Strategies for real-time system specification
Strategies for real-time system specification
Software engineering (3rd ed.): a practitioner's approach
Software engineering (3rd ed.): a practitioner's approach
Strategies for incorporating formal specifications in software development
Communications of the ACM
Quantifying Software Validation: When to Stop Testing?
IEEE Software
| Hi-index | 0.01 |
With growing application of microcomputers for safety critical systems there is a need to assure high reliability of the software used in hese systems. This article describes our experience in development of one such highly reliable software: a real-time executive for safety critical systems of Nuclear Power Plants. The most practical method to assure software quality is by controlling the software development process. Advanced planning and reviews help to ensure that the software objectives are satisfied t all intermediate stages of the development. Statistical quality assurance demonstrates quality of the software product as well as the development process; this enhances confidence in the software. The article concludes by summarizing the results of evaluation of the software development approach used in this project.