Summary of a Workshop on Software Certification and Dependability

Summary of a Workshop on Software Certification and Dependability

4.11 - 1251 ratings - Source



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.Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on ... an M.S. in computer science from the Weitzman Institute of Science, and a Ph.D. in computer engineering from the University of Southern California. ... Inoculating Programs against Errors; Securing Java: Getting Down to Business with Mobile Code; and Building Secure Software.


Title:Summary of a Workshop on Software Certification and Dependability
Author: Committee on Certifiably Dependable Software Systems, Computer Science and Telecommunications Board, Division on Engineering and Physical Sciences, National Research Council
Publisher:National Academies Press - 2004-10-20
ISBN-13:

You must register with us as either a Registered User before you can Download this Book. You'll be greeted by a simple sign-up page.

Once you have finished the sign-up process, you will be redirected to your download Book page.

How it works:
  • 1. Register a free 1 month Trial Account.
  • 2. Download as many books as you like (Personal use)
  • 3. Cancel the membership at any time if not satisfied.


Click button below to register and download Ebook
Privacy Policy | Contact | DMCA