• Ajit Kumar Verma
  • Srividya Ajit
  • Manoj Kumar
Part of the Springer Series in Reliability Engineering book series (RELIABILITY)


Rapid advances in microelectronics and networking technology have lead to penetration of computers and networks into almost every aspect of our life. When these system are used in critical applications, such as, nuclear power plant, avionics, process plants and automobiles etc., failure of these systems could result in loss of huge investment, effort, life and damage to environment. In such case, dependability analysis becomes an important tool for decision making at all stages of system life-cycle – design, development, operation and phaseout. In fact for systems concerned with safety of critical facilities such as nuclear plants, demonstration of dependability through analysis is a mandatory requirement before system can be deployed.

Real-time systems refer to reactive computer-based systems, used in various control and on line processing applications requiring responses in real-time [1]. These computer systems are usually a part of a big system or network. Examples of such systems are fly-by-wire system of an aircraft, safety systems of a nuclear reactor, control system of vehicles (such as cars) and network routers to mention a few.


Fault Detection Permanent Fault Fault Recovery Triple Modular Redundancy Correct Service 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Buttazzo GC (2003) Hard Real-time Computing Systems - Predictable Scheduling Algorithms and Applications. SpringerGoogle Scholar
  2. 2.
    Lian F-L (2001) Analysis, Design, Modeling, and Control of Networked Control Systems. PhD thesis, University of MichiganGoogle Scholar
  3. 3.
    Lian F-L, Moyne J, Tilbury D (2001) Performance evaluation of control networks: Ethernet, controlnet, and devicenet. IEEE Control System Magazine 21:66–83CrossRefGoogle Scholar
  4. 4.
    Lian F-L, Moyne J, Tilbury D (2002) Network design consideration for distributed control systems. IEEE Transaction on Control System Technology 10:297–307CrossRefGoogle Scholar
  5. 5.
    Nilsson J (1998) Real-Time Control Systems with Delays. PhD thesis Lund Institute of Technology, SwedenGoogle Scholar
  6. 6.
    Nilsson J, Bernhardsson B, Wittenmark B (1998) Stochastic analysis and control of real-time systems with random time delays. Automatica 34:57–64MathSciNetMATHCrossRefGoogle Scholar
  7. 7.
    Philippi S (2003) Analysis of fault tolerant and reliability in distributed real-time system architectures. Reliability Engineering and System Safety 82:195–206CrossRefGoogle Scholar
  8. 8.
    Yepez J, Marti P, Fuertes JM (2002) Control loop performance analysis over networked control systems. In: Proceedings of IECON2002Google Scholar
  9. 9.
    Zhang W, Branicky MS, Phillips SM (2001) Stability of networked control systems. IEEE Control System Magazine, p 84–99Google Scholar
  10. 10.
    Avizienis A, Laprie J-C, Randell B (2000) Fundamental concepts of dependability. In: Proc. of 3rd Information Survivability Workshop, p 7–11Google Scholar
  11. 11.
    IEC 61508: Functional safety of electric/electronic/programmable electronic safety-related systems, Parts 0-7; Oct. 1998-May (2000)Google Scholar
  12. 12.
    Johnson BW (1989) Design and Analysis of Fault-Tolerant Digital Systems. Addison Wesley Publishing CompanyGoogle Scholar
  13. 13.
    Mishra KB (1992) Reliability Analysis and Prediction. ElsevierGoogle Scholar
  14. 14.
    Trivedi KS (1982) Probability and Statistics with Reliability, Queueing, and Computer Science Applications. Prentice-Hall, Englewood Cliffs New JerseyGoogle Scholar
  15. 15.
    Varsha Mainkar. Availability analysis of transaction processing systems based on user perceived performance. In: Proceedings of \(16^{th}\) Symposium on Reliable Distributed Systems, Durham, NC, Oct. 1997.Google Scholar
  16. 16.
    Zhang T, Long W, Sato Y (2003). Availability of systems with self-diagnostics components-applying markov model to IEC 61508-6. Reliability Engineering and System Safety 80:133–141CrossRefGoogle Scholar
  17. 17.
    Bukowski JV (2001) Modeling and analyzing the effects of periodic inspection on the performance of safety-critical systems. IEEE Transaction Reliability 50(3):321–329CrossRefGoogle Scholar
  18. 18.
    Choi CY, Johnson BW, Profeta III JA (1997) Safety issues in the comparative analysis of dependable architectures.IEEE Transaction Reliability 46(3):316–322CrossRefGoogle Scholar
  19. 19.
    Summers A (2000) Viewpoint on ISA TR 84.0.02-simplified methods and fault tree analysis.ISA Transaction 39(2):125–131CrossRefGoogle Scholar
  20. 20.
    Bukowski JV (2005) A comparison of techniques for computing PFD average. In: RAMS 2005 590–595Google Scholar
  21. 21.
    Goble WM, Bukowski JV (2001) Extending IEC 61508 reliability evaluation techniques to include common circuit designs used in industrial safety systems. In: Proc. of Annual Reliability and Maintainability Symposium 339–343Google Scholar
  22. 22.
    Khobare SK, Shrikhande SV, Chandra U, Govidarajan G (1998) Reliability analysis of micro computer modules and computer based control systems important to safety of nuclear power plants. Reliability Engineering and System Safety 59(2):253–258CrossRefGoogle Scholar
  23. 23.
    Jogesh Muppala, Gianfranco Ciardo, Trivedi KS (1994). Stochastic reward nets for reliability prediction. Communications in Reliability, Maintainability and Serviceability 1(2):9–20Google Scholar
  24. 24.
    Kim H, Shin KG (1997) Reliability modeling of real-time systems with deadline information. In: Proc. of IEEE Aerospace application Conference 511–523Google Scholar
  25. 25.
    Kim H, White AL, Shin KG (1998) Reliability modeling of hard real-time systems. In: Proceedings of 28th Int. Symp. on Fault Tolerant Computing 304–313Google Scholar
  26. 26.
    Tomek L, Mainkar V, Geist RM, Trivedi KS (1994) Reliability modeling of life-critical, real-time systems. Proceedings of the IEEE 82:108–121CrossRefGoogle Scholar
  27. 27.
    Lindgren M, Hansson H, Norstrom C, Punnekkat S (2000) Deriving reliability estimates of distributed real-time systems by simulation.In: Proceeding of 7th International Conference on Real-time Computing System and Applications 279–286Google Scholar
  28. 28.
    Mainkar V, Trivedi KS (1994) Transient analysis of real-time systems using deterministic and stochastic petri nets. In: Int’l Workshop on Quality of Communication-Based SystemsGoogle Scholar
  29. 29.
    Mainkar V, Trivedi KS (1995) Transient analysis of real-time systems with soft deadlines. In: Quality of communication based systemsGoogle Scholar
  30. 30.
    Muppala JK, Trivedi KS Real-time systems performance in the presence of failures. IEEE Computer Magazine 37–47 May 1991.Google Scholar
  31. 31.
    Avizienis A, Laprie J-C, Randell B, Landwehr C (2004) Basic concepts and taxonomy of dependable and secure computing. IEEE Transaction Dependable and Secure Computing 1(1):11–33CrossRefGoogle Scholar
  32. 32.
    Atoosa Thunem P-J (2005). Security Research from a Multi-disciplinary and Multi-sectoral Perspective. Lecture Notes in Computer Science (LNCS 3688). Springer Berlin / Heidelberg 381–389Google Scholar
  33. 33.
    Ross J.Anderson (2001) Security Engineering: A Guide to Building Dependable Distributed Systems. Wiley Computer Publishing, USAGoogle Scholar
  34. 34.
    MIL-STD-1553B: Aircraft internal time division command/response multiplex data bus, 30 April 1975.Google Scholar
  35. 35.
    AERB/SG/D-25: Computer based systems of pressurised heavy water reactor, 2001.Google Scholar
  36. 36.
    Safety guide NS-G-1.3 Instrumentation and control systems important to safety in nuclear power plants, 2002.Google Scholar
  37. 37.
    IEC 60880-2.0: Nuclear power plants - instrumentation and control systems important to safety - software aspects for computer-based systems performing category a functions, 2006.Google Scholar
  38. 38.
    Keidar I, Shraer A (2007) How to choose a timing model? In: Proc. \(37^{\rm th}\) Annual IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN’07)Google Scholar
  39. 39.
    Yang H, Sikdar B (2007) Control loop performance analysis over networked control systems. In: Proceedings of ICC 2007 241–246Google Scholar
  40. 40.
    Yang TC Networked control systems: a brief survey. IEE Proc.-Control Theory Applications 153(4):403–412, July 2006.Google Scholar

Copyright information

© Springer-Verlag London Limited 2011

Authors and Affiliations

  1. 1.Department of Electrical EngineeringIndian Institute of Technology Bombay (IITB)Powai, MumbaiIndia
  2. 2.Department of Civil EngineeringIndian Institute of Technology Bombay (IITB)Powai, MumbaiIndia

Personalised recommendations