Community Research and Development Information Service - CORDIS


Making a software-intensive and critical system safe means leaving traditional paths of sole system testing and moving towards formal development approaches. Whilst the application of mathematical and logical based methods assures safety to the product, they are cost-intensive and require a quite abstract view of the system. In this paper a semi-formal approach is proposed describing a more user-friendly methodology for both product development process and safety assessment.
The methodology is based on a vast experience in applying knowledge-based principles for safety and reliability analysis of hardware components of technical systems. Current research extends this approach to software systems. Basis is a generic knowledge base which might be adapted to specific application areas. This knowledge base acts as a knowledge provider when newly adapted safety assessment methods are launched during early lifecycle phases. Highly formal analysis results are produced providing the user with an all-covering set of possible system failures.

Additional information

Authors: SCHEER S, JRC Ispra (IT)
Bibliographic Reference: Paper presented: 8th International Conference on Artificial Ingelligence Applications, Parigi (IT) October 21-22, 1996
Availability: Available from (1) as Paper EN 40097 ORA
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top