Summary of a Workshop on Software Certification and Dependability

✍ Scribed by Committee on Certifiably Dependable Software Systems, National Research Council

Year: 2004
Tongue: English
Leaves: 58
Category: Library

No coin nor oath required. For personal study only.

✦ Synopsis

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.

📜 SIMILAR VOLUMES

Summary of a Workshop for Software-Inten

📁 Summary of a Workshop for Software-Intensive Systems and Uncertainty at Scale

✍ Committee on Advancing Software-Intensive Systems Producibility, National Resear 📂 Library 📅 2007 🏛 National Academies Press 🌐 English

The growing scale and complexity of software-intensive systems are introducing fundamental new challenges of uncertainty and scale that are particularly demanding for defense systems. To assist in meeting these challenges, the Department of Defense asked the NRC to assess the nature of U.S. national

Materials and Manufacturing Capabilities

📁 Materials and Manufacturing Capabilities for Sustaining Defense Systems : Summary of a Workshop

✍ National Research Council; Division on Engineering and Physical Sciences; Defens 📂 Library 📅 2013 🏛 National Academies Press 🌐 English

The Standing Committee on Defense Materials Manufacturing and Infrastructure (DMMI) conducted a workshop on July 23-24, 2012, to share information and gather perspectives on issues concerning Materials and Manufacturing Capabilities for Sustaining Defense Systems. This workshop, held at the headquar

Certifiably Sustainable? : The Role of T

📁 Certifiably Sustainable? : The Role of Third-Party Certification Systems: Report of a Workshop

✍ National Research Council; Policy and Global Affairs; Science and Technology for 📂 Library 📅 2010 🏛 National Academies Press 🌐 English

Consumption of goods and services represents a growing share of global economic activity. In the United States, consumption accounts for more than two-thirds of gross domestic product. This trend of increasing consumption has brought with it negative consequences for the environment and human well-b

Summary of a Workshop on U.S. Natural Ga

📁 Summary of a Workshop on U.S. Natural Gas Demand, Supply, and Technology: Looking Toward the Future

✍ Committee on U.S. Natural Gas Demand and Supply Projections: A Workshop 📂 Library 📅 2003 🌐 English

The workshop examined the following three questions: (1) What projections have been made by government agencies for the U.S. supply of and demand for natural gas over the next 10 to 20 years? (2) Where are the current natural gas reserves and resources? (3) By what means and by how much can future r

Summary of the SEI workshop on software

📁 Summary of the SEI workshop on software configuration management (Technical report. Carnegie Mellon University. Software Engineering Institute)

✍ Katherine E Harvey 📂 Library 📅 1986 🌐 English

Education and Delinquency: Summary of a

📁 Education and Delinquency: Summary of a Workshop

✍ Joan McCord, National Research Council Staff, Nancy Crowell, Cathy Spatz, Meliss 📂 Library 🌐 English