» » Summary of a Workshop on Software Certification and Dependability

Summary of a Workshop on Software Certification and Dependability epub download

by National Research Council,Division on Engineering and Physical Sciences,Computer Science and Telecommunications Board,Committee on Certifiably Dependable Software Systems


Certification of critical software systems (. 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 system’s properties. While the latter are preferable, the complexity of these systems usually makes them extremely difficult to evaluate.

Place of Publication. Country of Publication.

The people who briefed the committee at the workshop and in subsequent meetings are listed in Appendix B; we appreciated their will-ingness to address the questions we posed to them and are grateful for their insights.

FREE shipping on qualifying offers.

Building on two prior books-Summary of a Workshop on Software Intensive Systems and Uncertainty at Scale .

Millett, Lynette . Committee, Advancing Software-Intensive Systems Producibility. Summary of a Workshop on Software Certification and Dependability. by: Systems, Committee on Certifiably Dependable Software. Staff, Computer Science and Telecommunications Board. Staff, Division on Engineering and Physical Sciences. Agents of Uncertainty : Mysticism, Scepticism, Buddhism, Art and Poetry. Uncertainty : Studies in Philosophy, Economics and Socio-political Theory.

ISBN 9780309127318 (978-0-309-12731-8) Softcover, National Academies Press, 2008.

of DSN 2004, Workshop on Assurance Cases (2004)Google Scholar

Arguing Safety-A Systematic Approach to Safety Case Management. of DSN 2004, Workshop on Assurance Cases (2004)Google Scholar. 14. Jackson, . Thomas, . Milett, . Software for Dependable Systems: Sufficient evidence? National Academic Press (2007)Google Scholar.

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 system’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 participants’ 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.

Summary of a Workshop on Software Certification and Dependability epub download

ISBN13: 978-0309094290

ISBN: 0309094291

Author: National Research Council,Division on Engineering and Physical Sciences,Computer Science and Telecommunications Board,Committee on Certifiably Dependable Software Systems

Category: Computers and Technology

Subcategory: Certification

Language: English

Publisher: National Academies Press (November 20, 2004)

Pages: 57 pages

ePUB size: 1124 kb

FB2 size: 1950 kb

Rating: 4.2

Votes: 305

Other Formats: mbr txt rtf lit

Related to Summary of a Workshop on Software Certification and Dependability ePub books