Dependability of Networked Computer-Based Systems

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


A real-time system is said to be operational if it performs its functions correctly and in a timely manner. Performing function correctly is a dependent on healthiness of its constituent components and error free operation of communication links. Ensuring timeliness is dependent upon the delay offered at various stages of node and communication links of the system. So, reliability of a real-time system can be defined as a probabilistic measure of performing correct function and timeliness in the given environment for given amount of time.


Sensor Node Timeliness Failure Network Channel Node Group Hardware Failure 
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.
    Borcsok J, Schwarz MH, Holub P (2006) Principles of safety bus systems. In: UKACC Control Conference, Universities of Glasgow and Strathclyde, UK, September 2006Google Scholar
  2. 2.
    Borcsok J, Ugljesa E, Holub P (2006) Principles of safety bus systems-part II. In: UKACC Control Conference, Universities of Glasgow and Strathclyde, UK, September 2006Google Scholar
  3. 3.
    Elia A, Ferrarini L, Veber C (2006) Analysis of Ethernet-based safe automation networks according to IEC 61508. In: IEEE Conf. on Emerging Technologies and Factory Automation (ETFA ’06), pp 333–340, September 2006Google Scholar
  4. 4.
    Rushby J (2001) Bus architectures for safety-critical embedded systems. In Embedded Software, Lecture Notes in Computer Science 2211, Springer, pp 306–323Google Scholar
  5. 5.
    Rushby J (2001) A comparison of bus architectures for safety-critical embedded systems. Technical report, June 2001Google Scholar
  6. 6.
    Vasko DA, Suresh Nair R (2003) CIP Safety: Safety networking for the future. In: 9th International CAN Conference, CAN in Automation (iCC 2003), Munich, GermanyGoogle Scholar
  7. 7.
    IEC 61508: Functional safety of electric/electronic/programmable electronic safety-related systems, Parts 0–7; October 1998–May 2000Google Scholar
  8. 8.
    Avizienis A, Laprie J-C, Randell B (2000) Fundamental concepts of dependability. In: Proc. of 3rd Information Survivability Workshop, pp 7–11, October 2000Google Scholar
  9. 9.
    Johnson BW (1989) Design and analysis of fault-tolerant digital systems. Addison Wesley, New YorkGoogle Scholar
  10. 10.
    Mishra KB (1992) Reliability analysis and prediction. Elsevier, AmsterdamGoogle Scholar
  11. 11.
    Trivedi KS, Ramani S, Fricks R (2003) Recent advances in modeling response-time distributions in real-time systems. In: Proceedings of the IEEE, vol 91, pp 1023–1037Google Scholar
  12. 12.
    Muppala JK, Trivedi KS (1991) Real-time systems performance in the presence of failures. In: IEEE Computer Magazine, pp 37–47, May 1991Google Scholar
  13. 13.
    Dugan JB, Trivedi KS (1989) Coverage modeling for dependability analysis of fault-tolerant systems. IEEE Trans Comput 38(6):775–787CrossRefGoogle Scholar
  14. 14.
    Trivedi KS (1982) Probability and statistics with reliability, queueing, and computer science applications. Prentice-Hall, Englewood CliffsGoogle Scholar
  15. 15.
    Aldous DJ (1991) Meeting times for independent markov chains. Stoch Process Appl 38:185–193MathSciNetMATHCrossRefGoogle Scholar
  16. 16.
    IEC 880: (1986) Software for computers in safety systems of nuclear power stationsGoogle Scholar
  17. 17.
    IEC 60880-2.0: (2006) Nuclear power plants—instrumentation and control systems important to safety—software aspects for computer-based systems performing category a functionsGoogle Scholar
  18. 18.
    Keidar I, Shraer A (2007) How to choose a timing model? In: Proc. 37th Annual IEEE/IFIP Int. Conf. on Dependable Systems and Networks (DSN’07)Google Scholar
  19. 19.
    Howard RA (1971) Dynamic probabilistic systems, vol II: semi-Markov and decision processes. Wiley, New YorkMATHGoogle Scholar
  20. 20.
    Muppala J, Gianfranco C, Trivedi KS (1994) Stochastic reward nets for reliability prediction. Commun Reliab Maintainab Serviceability 1(2):9–20Google Scholar
  21. 21.
    Zimmermann A, Knoke M (2007) TimeNET 4.0 user manual. Technical report, August 2007Google Scholar
  22. 22.
    Marson MA, Balbo G, Conte G (1984) A class of generalized stochastic petri nets for the performance evaluation of multiprocessor systems. ACM Trans Comput Syst 93:93–122Google 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