Certification

Slides for first roadmap attempt by John Rushby — last modified 2006-04-02 11:04

Output of panel meeting 1 April 2006

Slides for revised roadmap by John Rushby — last modified 2006-04-03 08:35

Revised output of the roadmap from second panel meeting, 2 April 2006

WIkipedia article on Safety Engineering by John Rushby — last modified 2006-04-02 15:02

 

Overview on safety cases by John Rushby — last modified 2006-04-02 11:03

Link to resources provided by Adelard (UK consultancy) on safety cases for IEE Professional Network

Adelard safety case method by John Rushby — last modified 2006-04-02 10:31

This document should not be downloaded or posted publicly---you can request a personal copy from the Adelard web site.

Improving software standards by John Rushby — last modified 2006-04-02 16:21

Useful paper by Fenton and Neil

Multi-Legged Arguments by John Rushby — last modified 2006-04-02 14:20

Assurance usually depends on many arguments; how do they work together?

Proof in diversity arguments by John Rushby — last modified 2006-04-02 14:22

Proof can support other kinds of evidence; diverse forms of evidence reinforce each other.

Certification panel slides by tess testing — last modified 2006-04-03 09:06

Slides from the Roadmap meeting of April 1, 2, 2006

VSR certification roadmap slides by John Rushby — last modified 2006-04-26 10:37

From the meeting at SRI in Washington DC April 26, 2006