Summary of a workshop on software certification and dependability
Auteur :
National Research Council / Division on Engineering and Physical Sciences / Computer Science and Telecommunications Board / Committee on Certifiably Dependable Software Systems
Éditeur :
National Academies Press
ISBN :
9780309094290
Date de publication :
20 oct. 2004
Dimensions :
27,9 x 21,6 cm
Langue :
Anglais
Pays d'origine :
USA
Certification of critical software systems (e.g., for safety and security) is important to help ensure their dependability. 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.