Abstract
A Markov model considering physical and design faults for a 2-version architecture oriented to safety-related applications is developed. The model can be split into two sub-models dealing with physical and design faults separately.
The generalization of the evaluation approach to reliability-oriented systems is considered. From this modeling approach, the development of a suitable tool for system designer is presented, devoted to the evaluation of a design architecture in terms of Reliability, Availability, Maintenability,Cost, Management resources.
This work is partially supported by the Commission of the European Communities under the SMART project.
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
J.C LAPRIE, Dependability Evaluation of Software Systems in Operation, IEEE Trans. Software Eng. vol SE-10 Nov 1984
A.AVIZIENIS, The N-version Approach to fault-tolerant Software, IEEE Trans. Software Eng. vol SE-11 Dec 1985
T.ANDERSON, P.A BARRETT, D.N HALLTWELL, An evaluation of software fault-tolerance in a practical system, IEEE Trans. Software Eng. vol SE-11 Dec 1985
A.COSTES, C.LANDRAULT, J.C LAPRIE, Reliability and Availability Models for Maintained Systems Featuring Hardware and Design Faults, IEEE Trans. Computers vol C-27
J.A CARRASCOJ.FIGUERAS, A.KUNTZMANN, Evaluation of safety-Oriented Two-Version Architectures Report under publication Jan 1987
J.A CARRASCO, J.FIGUERAS, METFAC : Design and implementation of a software tool for modeling and evaluation of complex fault-tolerant computing systems FTCS 16 Vienna July 1986
R.A SAHNER, K.S TRIVEDI, A Hierarchical Combinatorial-Markov Method for solving Complex Reliability Models, ACM/IEEE Fall Joint Computer Conf. Dallas Texas Nov 1986
V. KINI, D.P SIEWIOREK, Automatic Generation of Symbolic Reliability Functions for Processor-Memory Switch Structures IEEE Trans, on Computers vol CE-31 August 1982
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1987 Elsevier Applied Science Publishers Ltd
About this chapter
Cite this chapter
Kuntzmann, A. (1987). Smart: A System Designer Support Tool to Evaluate the Performance of Complex Fault-Tolerant Systems. In: Daniels, B.K. (eds) Achieving Safety and Reliability with Computer Systems. Springer, Dordrecht. https://doi.org/10.1007/978-94-009-3461-0_20
Download citation
DOI: https://doi.org/10.1007/978-94-009-3461-0_20
Publisher Name: Springer, Dordrecht
Print ISBN: 978-94-010-8050-7
Online ISBN: 978-94-009-3461-0
eBook Packages: Springer Book Archive