Memory fault tolerance software mechanisms: design and configuration support through SWN models

Proceedings - International Conference on Application of Concurrency to System Design, ACSD

Volumn 2003-January, Issue , 2003, Pages 111-121

  Ballarini, P ^a   Capra, L ^b   Franceschinis, G ^c   De Pierro, M ^c  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF MILAN   (Italy)

^c UNIVERSITY OF EASTERN PIEDMONT   (Italy)

Author keywords

Delta modulation; Fault tolerance; Fault tolerant systems; Mission critical systems; Performance analysis; Real time systems; Safety; Software design; Spine; Stochastic processes

Indexed keywords

ACCIDENT PREVENTION; COMPUTER SOFTWARE; DELTA MODULATION; FAULT TOLERANT COMPUTER SYSTEMS; INTERACTIVE COMPUTER SYSTEMS; RANDOM PROCESSES; REAL TIME SYSTEMS; SOFTWARE DESIGN; STOCHASTIC MODELS; STOCHASTIC SYSTEMS; SYSTEMS ANALYSIS;

CONFIGURATION SUPPORTS; FAULT TOLERANT SYSTEMS; GENERAL PURPOSE SOFTWARE; MISSION CRITICAL SYSTEMS; PERFORMANCE ANALYSIS; SOFTWARE FAULT TOLERANCES; SPINE; STOCHASTIC WELL-FORMED NETS;

FAULT TOLERANCE;

EID: 84898435598     PISSN: 15504808     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/CSD.2003.1207705     Document Type: Conference Paper

References (10)

1. Depaude project home page url: http://www.depaude.org.
2. P. Ballarini, L. Capra, M. D. Pierro, and G. Franceschinis. Performance and dependability analysis of fault-tolerant memory mechanisms using stochastic well-formed nets. Technical report, 2003. Submitted for publication to SAFE-COMP 2003.
3. S. Bernardi and S. Donatelli. Performance validation of fault-tolerance software: a compositional approach. In Proc. of Int. Conf. on Dependable Systems and Networks (DNS01), pages 379-388. IEEE Computer Society ed., 2001.
4. S. Bernardi, S. Donatelli, and A. Horváth. Compositionality in the greatspn tool and its use to the modelling of industrial applications. Software Tools for Technology Transfer, 2001. Accepted for publication.
5. O. Botti, V. D. Florio, D. Deconinck, F. Cassinari, S. Donatelli, and et al. Tiran: Flexible and portable fault tolerance solutions for cost effective dependable applications. In Proc. of 5th Int. Euro-Par Conference on Parallel Processing (Europar'99), pages 1166-1180, Aug. 31 - Sep. 3 1999. Lecture Notes in Computer Science, VOL. 1685, Spinger Verlag.
6. G. Chiola, C. Dutheillet, G. Franceschinis, , and S. Haddad. Stochastic well-formed coloured nets for symmetric modelling applications. IEEE Transactions on Computers, 42(11):1343-1360, November 1993.
7. G. Ciardo and K. Trivedi. A decomposition approach for stochastic reward net models. Performance Evalaluation, 18(1):37-59, 1993.
8. W. van der Aalst. Inheritance of dynamic behaviour in uml. In Proc. Second Workshop on Models Components and Agents, MOCA2002, Aarhus, Denmark, Aug. 2002.
9. W. van der Aalst and T. Basten. Life-cycle inheritance, a petri-net-based approach. In Proc. ICATPN 1997, LNCS 1248. Springer Verlag, 1997.
10. V. Vittorini, G. Franceschinis, M. Gribaudo, M. Iacono, and N. Mazzocca. Drawnet++: Model objects to support performance analysis and simulation of complex systems. In Proc. of the 12th Int. Conference on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation (TOOLS 2002), April 2002. London, UK.