Community Research and Development Information Service - CORDIS

Abstract

Thorough assessment of embedded systems in terms of reliability and safety requires the use of several analysis techniques. Such an assessment accompanies system definition and construction from the beginning. It is shown how standard analysis techniques can be combined along with traditional system decomposition. With this type of integration it shall be possible to reach the level of software description and continue with appropriate analyses. A sufficiently decomposed system will be reconstructed by continuously comparing the quantitative and qualitative results of fault free tree analysis with user-defined requirements satisfying reliability constraints

Additional information

Authors: SCHEER S, ISIS, JRC-Ispra (IT)
Bibliographic Reference: Paper presented: 5th International Conference on Reliable Software Technologies, Berlin (DE), 26-30th June (2000)
Availability: Available from the Public Relations and Publications Unit, Ispra (IT)
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top