Summary of a Workshop on Software Certification and Dependability
Regular price
€29.99
A01=Committee on Certifiably Dependable Software Systems
A01=Computer Science and Telecommunications Board
A01=Division on Engineering and Physical Sciences
A01=National Research Council
Author_Committee on Certifiably Dependable Software Systems
Author_Computer Science and Telecommunications Board
Author_Division on Engineering and Physical Sciences
Author_National Research Council
Category=UY
eq_bestseller
eq_computing
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
eq_non-fiction
Product details
- ISBN 9780309094290
- Dimensions: 216 x 279mm
- Publication Date: 20 Oct 2004
- Publisher: National Academies Press
- Publication City/Country: US
- Product Form: Paperback
Secure
checkout
Fast Shipping
Easy returns
Certification of critical software systems (e.g., for safety and security) is important to help ensure their dependability. Today, certification relies as much on evaluation of the software development process as it does on the systema (TM)s properties. While the latter are preferable, the complexity of these systems usually makes them extremely difficult to evaluate. To explore these and related issues, the National Coordination Office for Information technology Research and Development asked the NRC to undertake a study to assess the current state of certification in dependable systems. The study is in two phases: the first to frame the problem and the second to assess it. This report presents a summary of a workshop held as part of the first phase. The report presents a summary of workshop participantsa (TM) presentations and subsequent discussion. It covers, among other things, the strengths and limitations of process; new challenges and opportunities; experience to date; organization context; and cost-effectiveness of software engineering techniques. A consensus report will be issued upon completion of the second phase.
Committee on Certifiably Dependable Software Systems, National Research Council
