SSP Group Meeting

11am, 4 March, 2003
Room 3.04, Appleton Tower, School of Informatics

A Logical Approach to Reasoning about Dependability

Juliana Küster Filipe

In this talk, I will present a real-time logic of knowledge which I am currently exploring as a way to reasoning about properties of critical systems (here either dependable, safety-critical, real-time, or any combination of these). The idea is to use this logical framework to reason not only about properties of these systems but also about human-computer interactions (addressing for example issues like: what knowledge does a human need in a particular situation to be able to interact with a system in a dependable manner). This is preliminary and ongoing work with Stuart Anderson.