Cliff Jones - Dependability and Formal Methods

This talk sets out a programme of work in the area of dependability. The research is to be pursued under the aegis of a six-year "Inter-Disciplinary Research Collaboration". The aim is to consider computer-based systems which comprise humans as well as hardware and software. The overall programme will be described in addition to a more detailed discussion of how formal methods ideas, coupled with structuring proposals, can help handle faults (mechanical and human) by viewing them as interference.