Community Research and Development Information Service - CORDIS

Abstract

The purpose of safety and reliability assessment of large and critical software systems is to establish well-founded arguments which will increase confidence in their safe and reliable operation. Satisfying a set of safety goals means collecting and combining appropriate information in product and process models taking into account software development standards and well-approved methods from classical safety analysis. A knowledge base provides a general framework for that; it might be amended with knowledge about formalised approaches that will be used for safety-related automatic deductions and conclusions which, in turn, build up, step by step, different branches of the knowledge base.

Additional information

Authors: SCHEER S, JRC Ispra (IT);MAIER T, JRC Ispra (IT)
Bibliographic Reference: Paper presented: Product Assurance Symposium and Software Product Assurance Workshop, Noordwijk (NL), March 19-21, 1996
Availability: Available from (1) as Paper EN 40265 ORA
Record Number: 199710203 / Last updated on: 1997-04-01
Category: PUBLICATION
Original language: en
Available languages: en