Fault tolerance against design faults: Design principles and reliability
Safety Cases and COTS/SOUP
by Robin E Bloomfield and Peter Bishop, Adelard and CSR, City University, UK
The tutorial presents an approach for justifying the use of "software of uncertain pedigree" (SOUP) and COTS in safety related applications. The approach is based on the presenters' practical experience of assessing SOUP used in critical applications. The safety assurance of SOUP is centers on a documented, five-phase safety justification (safety case) that sets out the safety claims for the system as well as the evidence and arguments that support them.
Building Dependable Systems: the Power of Negative Thinking
by Chuck Howell, The MITRE Corporation, USA
The natural human tendency is to focus on the positive functional capabilities a new software intensive system will provide. However, for critical systems, there is much to be gained from "negative thinking": at each stage of development, from requirements capture, design and construction through to testing and validation, considering all the ways things could go wrong. This tutorial will illustrate the importance of "negative thinking" techniques such as hazard analysis, stress testing and fault injection amongst others.
Intrusion Tolerance: Concepts and Design Principles
by Paulo Verissimo, Department of Informatics, University of Lisboa, Portugal
Intrusion tolerance, the ability to continue operating and providing (albeit degraded service), is the hallmark of next generation security systems. It is also currently the topic of a substantial research effort in the US and Europe. This tutorial reviews previous results in the light of intrusion tolerance, introduces the fundamental ideas and presents recent advances of the state of the art brought about by the aforementioned research effort.