Community Research and Development Information Service - CORDIS


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.

Additional information

Authors: SCHEER S, JRC Ispra (IT)
Bibliographic Reference: Paper presented: EXPERSYS 97, Sunderland (GB), October, 1997
Availability: Available from (1) as Paper EN 40776 ORA
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top