A knowledge based approach to safety and reliability assessment of safety-critical software-intensive systems
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.
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
Original language: en
Available languages: en