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 tree analysis with user-defined requirements satisfying reliability constraints.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Papadopoulos, Y., McDermid, J.A.: Hierarchically Performed Hazard Origin and Propagation Studies. In: Felici, M., Kanoun, K., Pasquini, A. (eds.) SAFECOMP 1999. LNCS, vol. 1698, pp. 139–152. Springer, Heidelberg (1999)
Kletz, T.: HAZOP and HAZAN: Identifying and Assessing Process Industry Standards, 3rd edn. Hemisphere Publishers (1992) ISBN: 1-56032-276-4
Scheer, S., Maier, T.: Towards Dependable Software Requirement Specifications. In: Daniel, P. (ed.) Proceedings of SAFECOMP 1997, New York (1997)
Palady, P.: Failure Modes and Effects Analysis. PT Publications (1995) ISBN: 0-94545-617-4
Villemeur, A.: Reliability, Availability Maintainability and Safety Assessment. John Wiley and Sons Ltd., Chichester (1992) ISBN 0-471-93048-2
Vesely, W.E.: Fault Tree Handbook, US Nuclear Regulatory Committee Report NUREG-0492, US NRC Washington D.C., USA (1981)
Leveson, N.G., Harvey, P.R.: Software Fault Tree Analysis. Journal of Systems and Software (3), 173–181 (1983)
Mauri, G., McDermid, J.A., Papadopoulos, Y.: Extension of Hazard and Safety Analysis Techniques to Address Problems of Hierarchical Scale. In: Proceedings of IEE Colloquium on Systems Engineering of Aerospace Projects, IEE Digest no: 98/249, London, pp. 4.1/4.6 (1998)
Contini, S., Scheer, S., Wilikens, M., de Cola, G., Cojazzi, G.: ASTRA: An Integrated Tool Set for Complex Systems Dependability Studies. In: Berghammer, R., Lakhnech, Y. (eds.) Tool Support for System Specification, Development and Verification. Advances in Computing Science, pp. 77–91. Springer, Heidelberg (1999)
Papadopoulos, Y., Mauri, G., McDermid, J.A.: Systematic Anticipation and Validation of Scenarios of Failure Propagation and Mitigation in PLC Controlled Processes. In: Proceedings of the PLC Conference, Cologne (2000)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2000 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Mauri, G., Scheer, S. (2000). Constructing Reliable Embedded Systems Using the Results of System Safety Analysis. In: Keller, H.B., Plödereder, E. (eds) Reliable Software Technologies Ada-Europe 2000. Ada-Europe 2000. Lecture Notes in Computer Science, vol 1845. Springer, Berlin, Heidelberg. https://doi.org/10.1007/10722060_17
Download citation
DOI: https://doi.org/10.1007/10722060_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-67669-0
Online ISBN: 978-3-540-45098-6
eBook Packages: Springer Book Archive