Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Borcsok J, Schwarz MH, Holub P (2006) Principles of safety bus systems. In: UKACC Control Conference, Universities of Glasgow and Strathclyde, UK, September 2006
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 2006
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 2006
Rushby J (2001) Bus architectures for safety-critical embedded systems. In Embedded Software, Lecture Notes in Computer Science 2211, Springer, pp 306–323
Rushby J (2001) A comparison of bus architectures for safety-critical embedded systems. Technical report, June 2001
Vasko DA, Suresh Nair R (2003) CIP Safety: Safety networking for the future. In: 9th International CAN Conference, CAN in Automation (iCC 2003), Munich, Germany
IEC 61508: Functional safety of electric/electronic/programmable electronic safety-related systems, Parts 0–7; October 1998–May 2000
Avizienis A, Laprie J-C, Randell B (2000) Fundamental concepts of dependability. In: Proc. of 3rd Information Survivability Workshop, pp 7–11, October 2000
Johnson BW (1989) Design and analysis of fault-tolerant digital systems. Addison Wesley, New York
Mishra KB (1992) Reliability analysis and prediction. Elsevier, Amsterdam
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–1037
Muppala JK, Trivedi KS (1991) Real-time systems performance in the presence of failures. In: IEEE Computer Magazine, pp 37–47, May 1991
Dugan JB, Trivedi KS (1989) Coverage modeling for dependability analysis of fault-tolerant systems. IEEE Trans Comput 38(6):775–787
Trivedi KS (1982) Probability and statistics with reliability, queueing, and computer science applications. Prentice-Hall, Englewood Cliffs
Aldous DJ (1991) Meeting times for independent markov chains. Stoch Process Appl 38:185–193
IEC 880: (1986) Software for computers in safety systems of nuclear power stations
IEC 60880-2.0: (2006) Nuclear power plants—instrumentation and control systems important to safety—software aspects for computer-based systems performing category a functions
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)
Howard RA (1971) Dynamic probabilistic systems, vol II: semi-Markov and decision processes. Wiley, New York
Muppala J, Gianfranco C, Trivedi KS (1994) Stochastic reward nets for reliability prediction. Commun Reliab Maintainab Serviceability 1(2):9–20
Zimmermann A, Knoke M (2007) TimeNET 4.0 user manual. Technical report, August 2007
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–122
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2011 Springer-Verlag London Limited
About this chapter
Cite this chapter
Verma, A.K., Ajit, S., Kumar, M. (2011). Dependability of Networked Computer-Based Systems. In: Dependability of Networked Computer-based Systems. Springer Series in Reliability Engineering. Springer, London. https://doi.org/10.1007/978-0-85729-318-3_7
Download citation
DOI: https://doi.org/10.1007/978-0-85729-318-3_7
Published:
Publisher Name: Springer, London
Print ISBN: 978-0-85729-317-6
Online ISBN: 978-0-85729-318-3
eBook Packages: EngineeringEngineering (R0)