Making real-time systems fault tolerant: A specification-based approach

Journal of Scientific and Industrial Research

Volumn 69, Issue 7, 2010, Pages 501-509

  Babamir, Seyed Morteza ^a   Jalili, Saeed ^b  

^a UNIVERSITY OF KASHAN   (Iran)

^b TARBIAT MODARES UNIVERSITY   (Iran)

Author keywords

Aspect oriented; Fault tolerance; Instrumentation; Run time verification; Safety critical software

Indexed keywords

APPLICATION LAYERS; ASPECT-ORIENTED; CONTROL SOFTWARE; EVENT-TRIGGERED; FAULT-TOLERANT; INSTRUMENTATION; MODELING INTERACTIONS; RUN-TIME VERIFICATION; SAFETY CRITICAL SOFTWARE; SAFETY REQUIREMENTS; SOFTWARE INSTRUMENTATION; TOLERANCE APPROACH;

COMPUTER SOFTWARE SELECTION AND EVALUATION; FAULT TOLERANCE; FAULT TOLERANT COMPUTER SYSTEMS; INSTRUMENTS; REAL TIME SYSTEMS; SAFETY ENGINEERING; SPECIFICATIONS; VERIFICATION;

QUALITY ASSURANCE;

FAULT; INSTRUMENTATION; NUMERICAL MODEL; REAL TIME; SOFTWARE;

EID: 77956215135     PISSN: 00224456     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (30)

1. Xu J, On inspection and verification of software with timing requirements, IEEE Traits Software Engg, 29 (2003) 705-720.
2. Gahl D J, DijKstra E J & Hoare CAR, Notes on Structured Programming (Academic Press, London) 1972, 8-11.
3. Parnas D L, Schouwen A J V & Kwan S P, Evaluation of safety-critical software, Cotnmun ACM, 33 (1990) 636-648.
4. Butler R W & Finelli G B, The infeasibility of quantifying the reliability of life-critical real-time software, IEEE Trans Software Engg, 19 (1993) 3-12.
5. Littlewood B & Stringini L, Validation of ultrahigh dependability for software-based systems, Common ACM, 11 (36) (1993) 69-80.
6. Avizienis A, Fault-tolerance: The survival attribute of digital systems, Proc IEEE, 66 (1978) 1109-1125.
7. Guillaume J. J. D, Fault-tolerant Flight Control and Guidance Systems: Practical Methods for Small Unmanned Aerial Vehicles (Springer, Zurich, Switzerland) 2009, 3-6.
8. Bishop P O, Esp D G, Barnes M, Humphreys P, Dahl G, & Lahti J, PODS, A project on diverse software, IEEE Trans Software Engg, 12 (1986) 929-940.
9. Chakraborty A, Fault tolerant fail safe system for railway signalling, in Proc WorldCongron Engg & Comput Sci (IAENG Publication, Sanfrancisco, USA) 2009, 1177-1183.
10. Handbook of Automated Reasoning, edited by J A Robinson & A Voronko (Elsevier and MIT Press, USA) 2001, 1637-1640.
11. Dayal U, Ten years of activity in active database systems: what have we acomplished? in Proc 1st Int Workshop on Active and Real-Time Database Systems (ARTDB-95), Workshops in Computing (Springer-Verlag, Sweden) 1995, 3-22.
12. Laddad R, Aspectj in Action: Enterprise AOP with Spring Applications, 2nd edn (Manning Publication, USA) 2009, 3-8.
13. Pamas D L & Madey J, Functional documents for computer systems, Sci Comput Prograimning, 25 (1995) 41-61.
14. Kroqer F & Merz S, Temporal Logic and State Systems (Springer-Verlag, USA) 2008, 19-63.
15. Leveson N G & Stolzy J L, Safety analysis using petri nets, IEEE Trans Software Engg, 13 (1987) 386-397.
16. Veseley W E et al. Fault Tree Handbook, NUREG-0492 (US Nuclear Regulatory Commission, USA) 1981, III-1-IV-11.
17. Bae J, Bae H, Kang S & Kim Y, Automatic control of workflow processes using ECA rules, IEEE Trans Knowledge & Data Engg, 16 (2004) 1041-4347.
18. Leveson NG & Stolzy JL, Analyzing safety and fault tolerance using time petri nets, in Conf on Theory and Practice of Software Development (Springer-Verlag. USA) 1985, 339-355.
19. Heitmeyer C L & Labaw B G, A benchmark for comparing different approaches for specifying and verifying real-time systems, in Proc 10th IEEE Int Workshop on Real-Tune Operating Syst A. Software (IEEE Computer Society, USA) 1993, 1-5.
20. Heitmeyer CL & Lynch N, The generalized railroad crossing: a case study in formal verification of real-time systems, in Proc IEEE Real-Time Systems Symp (IEEE Computer Society, USA) 1994, 120-131.
21. Rushby J, Systematic formal verification for fault-tolerant time-triggered algorithms, IEEE Trans Software Engg, 25 (1999) 651-661.
22. Bishop P O, Software Fault Tolerance by Design Diversity, Software Fault Tolerance Book, edited by M R Lyu (John Wiley, USA) 1995, 211-226.
23. Avizienis A, Toward systematic design of fault-tolerant systems, IEEE Comput Mag, 30 (4) (1997)51-58.
24. Ferreira L L & Rubira C M F, Integration of fault tolerance techniques: a system of pattern to cope with hardware, software and environmental fault tolerance, in Proc 28th IEEE Anna Int Symp on Fault-Tolerant Computing (IEEE Computer Society, Germany) 1998, 25-25.
25. Shimeall TJ & Leveson NG, An empirical comparison of software fault tolerance and fault elimination, IEEE Trans Software Engg, 17 (1991) 173-182.
26. Colombo C, Schneider G & Pace G J, Dynamic event-based runtime monitoring of real-time and contextual properties, in 13th Int Workshop on Formal Methods for Indua Critical Syst (FMICS 2008) (Springer, Berlin) 2008, 135-149.
27. Babamir SM, A Framework for Specifying Safe Behavior of the CUP Medical System, Book Chapter of Software Tools and Algorithms for Biological Systems (Springer-Verlag) 2010 (in press).
28. Jalili S & MirzaAghaei M, RVERL: Run-time verification of real-time and reactive programs using event-based real-time logic approach. In 5th Int Conf on Software Engg Res. Mgmt & Appl (SERA 2007) (IEEE Computer Society, USA) 2007, 550-557.
29. Gates A Q & Teller P J, DynaMICs: An automated and independent software-fault detection approach, in Proc 4th Int High-Assurance System Engg Symp (IEEE Computer Society, USA) 1999, 11-19.
30. Gates A Q, Roach S, Mondragon O & Ddgado N, DynaMICs: Comprehensive support for run-time monitoring, in Proc 1st Int Workshop on Runtime Verification, Elsevier J ENTCS, 55 (2) (2001) 61-77.