By Topic

Dependability of fault-tolerant systems-explicit modeling of the interactions between hardware and software components

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

2 Author(s)
K. Kanoun ; Lab. d'Autom. et d'Anal. des Syst., CNRS, Toulouse, France ; M. Borrel

This paper addresses the dependability modeling of hardware and software fault-tolerant systems taking into account explicitly the interactions between the various components. It presents a framework for modeling these interactions based on Generalized Stochastic Petri Nets (GSPNs). The modeling approach is modular: the behavior of each component and each interaction is represented by its own GSPN, while the system model is obtained by composition of these GSPNs. The composition rules are defined and formalized through clear identification of the interfaces between the component and the dependency nets. In addition to modularity, the formalism brings flexibility and re-usability. This approach is applied to a simple, but still representative, example

Published in:

Computer Performance and Dependability Symposium, 1996., Proceedings of IEEE International

Date of Conference:

4-6 Sep 1996