Abstract
The work presented in this paper is devoted to the definition of a dependability modelling approach for the selection process of instrumentation and control systems (I&C) in power plants. We show how starting from functional specifications, a functional-level model can be transformed into a dependability model taking into account the system’s architecture, following a progressive and hierarchical approach. This approach is illustrated on simple examples related to a specific architecture of an I&C system.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ajmone Marsan, M., Balbo, G., Conte, G., Donatelli, S., and Franchescinis, G., Modelling with Generalized Stochastic Petri Nets, Series in Parallel Computing, Wiley (1995).
Almeida, C., Arazo, A., Crouzet, Y., and Kanoun, K., “Dependability of Computer Control Systems in Power Plants: Analytical and Experimental Evaluation”, in Lecture Notes in Computer Science, vol. 1943, Springer Verlag (2000) 165–175.
Béounes, C., and al. “SURF-2: A Program for Dependability Evaluation of Complex Hardware and Software Systems”, in Proc. 23rd. Int. Symp. on Fault-Tolerant Computing (FTCS-23), Toulouse, France (1993) 668–673.
Bondavalli, A., Mura, I., and Trivedi, K.S., “DependabilityModelling and Sensitivity Analysis of Scheduled Maintenance Systems”, in Proc. 3rd European Dependable Computing Conf.(EDCC-3), Lecture Notes in Computer Science, vol. 1667, Springer Verlag (1999) 7–23.
Fota, N., Kaâniche, M., Kanoun, K., and Peytavin, P., “Safety Analysis and Evaluation of an Air Traffic Control System”, in Proc. 15th Int. Conf. on Computer Safety, Reliability and Security SAFECOMP’96, Vienna, Austria, (1996), 219–229.
Kanoun, K., Borrel, M., Morteveille, T., and Peytavin, A., “Availability of CAUTRA, a Subset of the French Air Traffic Control System”, in IEEE Trans. on Computers, vol. 48, n. 5, May (1999), 528–535.
Rabah, M., and Kanoun, K., “Dependability Evaluation of a Distributed Shared Memory Multiprocessor System”, in Proc. 3rd European Dependable Computing Conf. (EDCC-3), Lecture Notes in Computer Science, vol. 1667, Springer Verlag (1999) 42–59.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Betous-Almeida, C., Kanoun, K. (2001). Dependability Evaluation. In: Voges, U. (eds) Computer Safety, Reliability and Security. SAFECOMP 2001. Lecture Notes in Computer Science, vol 2187. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45416-0_22
Download citation
DOI: https://doi.org/10.1007/3-540-45416-0_22
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42607-3
Online ISBN: 978-3-540-45416-8
eBook Packages: Springer Book Archive