SSP Group Meeting
Wednesday, April 26th, 11am-12pm
Division of Informatics, 80 South Bridge, Room F13


The Use of Knowledge Based Systems in Safety-Related Domains

David Robertson

The use of software in safety-related applications is growing and, in response, various international standards are being invented to help maintain the quality of software engineering in this area. The use of knowledge based systems in safety-related applications is also growing but there are no comparable safety engineering standard (and software engineering standards often simply exclude "AI" approaches). I will survey some existing applications of knowledge based systems in safety-related domains and guess where some future applications may appear. Then I will discuss what makes it difficult to give a safety case for these sorts of system.