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.