Specification before satisfaction: The case for research into obtaining the right specification - Extended abstract

Jones, CB

doi:10.1007/11415787_1

Specification before satisfaction: The case for research into obtaining the right specification - Extended abstract

Lookup NU author(s): Professor Cliff Jones ORCiD

Downloads

Accepted version [.pdf]

Abstract

The Interdisciplinary Research Collaboration on Dependability (DIRC) project which focuses on ways to design dependable computer-based systems is described. The DIRC project give an insight that the design of boundaries that limit the propagation of failures is better articulated for technical systems than for the human part of computer-based systems. DIRC has identified that to avoid having to build a model of the behaviour of the physical components, assumptions about their behaviour are recorded using rely conditions. One key experience from the first three quarters of the project is the in-valuable role of interdisciplinarity.