HILT 2012             ACM logo - Advancing Computing as a Science & Profession

High Integrity Language Technology
ACM SIGAda’s Annual International Conference

Challenges for Safety-Critical Software

Wednesday, December 5, 2:00-3:30pm

Nancy Leveson

Abstract

Much of our focus on safety-critical software has been on ensuring that the software implements the requirements. Is this enough? In the talk I will suggest some other goals that we need to consider for our software in order to avoid losses and some potential approaches for achieving them.


Created on 30 November 2012;  website comments and corrections to ClydeRoby at ACM.Org