Software safety: a knowledge-based approach for deriving safety requirements from system analysis results
Software systems designed for use in a safety-critical environment may be analysed within early lifecycle phases in terms of safety and reliability. Well-approved techniques can be applied to reach an understanding of what potentially might go wrong during communication among software functions. Those analysis techniques are indirectly working. Their results have to influence a better software re-design. Within certain formal methods, safety requirements referring to a given formal specification have to be elicited explicitly. The aim of current research is to capture analysis techniques to software requirements in a more systematic way. Promising results have been reached when applying analysis techniques to software systems can be transformed for further input to those safety models required within a formal development environment.
Bibliographic Reference: Paper presented: EXPERSYS 97, Sunderland (GB), October, 1997
Availability: Available from (1) as Paper EN 40776 ORA
Record Number: 199711109 / Last updated on: 1997-09-16
Original language: en
Available languages: en