Achieving Quality Software: Including Its Application to Safety-related Systems
This edition provides a comprehensively updated and enhanced review of current quality methods and standards. It outlines causes of failure, current practice and standards and suggests an ideal approach to software control at each stage of the design cycle. The emphasis of this new edition has shifted towards safety critical software.
What people are saying - Write a review
We haven't found any reviews in the usual places.
Software failures and the life cycle
Integrity and the safety life cycle
Part Two GUIDANCE LEGISLATION AND LIABILITY
15 other sections not shown
Other editions - View all
Achieving Quality Software: Including Its Application to Safety-Related Systems
D. J. Smith
No preview available - 2012
aperture applications approach assessment audit certification Chapter checklists commands compiler complexity Defence defined described design cycle design review detection diagrams disc document equipment example execution failure modes failure rate faults files formal methods FORTRAN functional specification guidance guidelines hazardous failure hierarchy high-level language identify implementation inputs interfaces involves Issue ladder logic logic machine code MALPAS ments metrics module specification nodes operation outputs overall package parameters Pascal path performance POSIX problem procedure quality management quality plan real-time reliability result risk safety integrity levels safety life cycle safety system safety-related systems simulated software design software engineering software quality source code stage Standard for Software static analysis structure subsystem techniques temp TickIT tion types unreachable code user requirements specification validation variables verify XXXX XXXX