Towards dependable software requirement specifications
Formal proof of potential software failures early in the lifecycle can both significantly enhance safety and reduce development costs. The use of appropriate structured methods will provide developers with early indications of safety related design failures. Moreover such methods will generate a superset of possible software failure behaviour to support detection of hidden faults. In this paper the use of a functional model is proposed in order to describe functional interdependencies among software components. An analysis of what might go wrong during communication between one component and another helps to set up a list of maximal possible failure modes, their effects and possible explanations. The applicability of the methodology described is demonstrated on parts of the functional specification of a robot control system.
Bibliographic Reference: Paper presented: 16th International Conference on Computer Safety, Reliability and Security, York (GB), September 8-10, 1997
Availability: Available from (1) as Paper EN 40398 ORA
Record Number: 199710374 / Last updated on: 1997-04-23
Original language: en
Available languages: en