Abstract
This paper presents a modeling approach based on Generalized Stochastic Petri Nets (GSPN) aimed at the dependability (reliability, availability and safety) evaluation of large hardware and software fault-tolerant systems. The model is built and validated in an incremental manner, according to a set of construction guidelines and rules, aimed to obtain models which are structurally valid, readable, compact and flexible.
This is a preview of subscription content, log in via an institution to check access.
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
Marsan, A. M., Balbo, G., Conte, G., Donatelli, S., Franceschinis, G. (1995). Modeling with Generalized Stochastic Petri Nets, New York: John Wiley & Sons.
Fota, N. (1997). Incremental specification and construction of dependability models — Application to CAUTRA air traffic control computing system, Ph.D. Thesis, INP Toulouse (in French).
Fota, N. et al. (1997). Dependability evaluation of an air traffic control computing system, Report LAAS 97-466 (in French).
Kanoun, K. and Borrel, M. (1996). Dependability of fault-tolerant systems — explicit modeling of the interactions between hardware and software components, IEEE International Computer and Dependability Symposium IPDS’ 96, pp. 252-261, Urbana-Champaign, Illinois.
Rojas, I. (1996). Compositional construction of SWN Models, Report ECS-CSG-21-96, Department of Computer Science, University of Edinburgh.
Sanders, W. H. and Meyer, J. (1991). Reduced base model construction methods for stochastic activity networks, IEEE Journal on Selected Areas in Communications, 9, 25–36.
Ziegler, C. Dependability of automotive embedded architectures, Ph.D. Thesis, Report LAAS 96-289, INP Toulouse, France.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media New York
About this chapter
Cite this chapter
Fota, N., Kaaniche, M., Kanoun, K. (1999). Incremental Approach for Building Stochastic Petri Nets for Dependability Modeling. In: Ionescu, D.C., Limnios, N. (eds) Statistical and Probabilistic Models in Reliability. Statistics for Industry and Technology. Birkhäuser, Boston, MA. https://doi.org/10.1007/978-1-4612-1782-4_23
Download citation
DOI: https://doi.org/10.1007/978-1-4612-1782-4_23
Publisher Name: Birkhäuser, Boston, MA
Print ISBN: 978-1-4612-7280-9
Online ISBN: 978-1-4612-1782-4
eBook Packages: Springer Book Archive