Towards dependable software requirement specifications
Formal proof of potential software failures early in the lifecycle can significantly enhance safety and reduce development costs. The use of appropriate structured methods will provide early indications of safety related design failures and will generate a superset of possible software failure behaviour to support detection of hidden faults. This paper focuses on the specification of software requirements and on their representation as a functional model. This is shown to be of great benefit for detecting communication related failures. Based on the described failure behaviour model the applicability of classical techniques as failure mode, effects and criticality analysis (FMECA) and fault tree analysis (FTA) to software requirements is shown and their application to a robot control system is discussed.
Bibliographic Reference: Paper presented: Sixth IFIP International Working Conference on Dependable Computing for Critical Applications, Garmisch-Partenkirchen (DE), March 5-7, 1997
Availability: Available from (1) as Paper EN 40353 ORA
Record Number: 199710268 / Last updated on: 1997-04-01
Original language: en
Available languages: en