ACM Transactions on Computer Systems (TOCS)
Coverage Modeling for Dependability Analysis of Fault-Tolerant Systems
IEEE Transactions on Computers
GreatSPN 1.7: graphical editor and analyzer for timed and stochastic Petri nets
Performance Evaluation - Special issue: performance modeling tools
IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
Symbolic Model Checking
Dependability: Basic Concepts and Terminology
Dependability: Basic Concepts and Terminology
Dependability Evaluation of a Distributed Shared Memory Multiprocessor System
EDCC-3 Proceedings of the Third European Dependable Computing Conference on Dependable Computing
TIRAN: Flexible and Portable Fault Tolerance Solutions for Cost Effective Dependable Applications
Euro-Par '99 Proceedings of the 5th International Euro-Par Conference on Parallel Processing
Petri Nets, Process Algebras and Concurrent Programming Languages
Lectures on Petri Nets II: Applications, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
The PSR Methodology: Integrating Hardware and Software Models
Proceedings of the 17th International Conference on Application and Theory of Petri Nets
The box calculus: a new causal algebra with multi-label communication
Advances in Petri Nets 1992, The DEMON Project
vUML: A Tool for Verifying UML Models
ASE '99 Proceedings of the 14th IEEE international conference on Automated software engineering
Fluid Stochastic Petri Nets: An Extended Formalism to Include Non-Markovian Models
PNPM '99 Proceedings of the The 8th International Workshop on Petri Nets and Performance Models
IPDS '96 Proceedings of the 2nd International Computer Performance and Dependability Symposium (IPDS '96)
The TIRAN approach to reusing software implemented fault tolerance
EURO-PDP'00 Proceedings of the 8th Euromicro conference on Parallel and distributed processing
| Hi-index | 0.00 |
Abstract: This paper discusses the lessons learned in the modeling of a software fault tolerance solution built by a consortium of universities and industrial companies for an Esprit project called TIRAN. The requirements of high flexibility and modularity for the software have lead to a modeling approach strongly based on compositionality. Since the interest was for assessing both correctness and performance of the proposed solution, we have cared for these two aspects at the same time, and, by means of an example, we show how this was a central aspect of our analysis.