Software for Dependable Systems: Sufficient Evidence? (PDF英文版)
by Daniel Jackson, etc.
Paperback: 148 pages
Publisher: National Academies Press (August 17, 2007)
ISBN-10: 0309103940
ISBN-13: 978-0309103947
Critical systems are often subject to certification: a formal assurance that the system has met relevant technical standards designed to ensure it will not unduly endanger the public and can be depended upon to deliver its intended service safely and securely.
Today, certification of the dependability of a software-based system usually relies more on assessments of the process used to develop the system than on the properties of the system itself. While these assessments can be useful, few would dispute that direct observation of the artifact ought to provide a stronger kind of assurance than the credentials of its production method.
Yet the complexity of software systems, as well as the discontinuous way they behave, renders them extremely difficult to analyze unless great care has been taken with their structure and maintenance.
详细介绍在此:http://www.nap.edu/catalog.php?record_id=11923