Abstract
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
Buttazzo GC (2003) Hard Real-time Computing Systems - Predictable Scheduling Algorithms and Applications. Springer
Lian F-L (2001) Analysis, Design, Modeling, and Control of Networked Control Systems. PhD thesis, University of Michigan
Lian F-L, Moyne J, Tilbury D (2001) Performance evaluation of control networks: Ethernet, controlnet, and devicenet. IEEE Control System Magazine 21:66–83
Lian F-L, Moyne J, Tilbury D (2002) Network design consideration for distributed control systems. IEEE Transaction on Control System Technology 10:297–307
Nilsson J (1998) Real-Time Control Systems with Delays. PhD thesis Lund Institute of Technology, Sweden
Nilsson J, Bernhardsson B, Wittenmark B (1998) Stochastic analysis and control of real-time systems with random time delays. Automatica 34:57–64
Philippi S (2003) Analysis of fault tolerant and reliability in distributed real-time system architectures. Reliability Engineering and System Safety 82:195–206
Yepez J, Marti P, Fuertes JM (2002) Control loop performance analysis over networked control systems. In: Proceedings of IECON2002
Zhang W, Branicky MS, Phillips SM (2001) Stability of networked control systems. IEEE Control System Magazine, p 84–99
Avizienis A, Laprie J-C, Randell B (2000) Fundamental concepts of dependability. In: Proc. of 3rd Information Survivability Workshop, p 7–11
IEC 61508: Functional safety of electric/electronic/programmable electronic safety-related systems, Parts 0-7; Oct. 1998-May (2000)
Johnson BW (1989) Design and Analysis of Fault-Tolerant Digital Systems. Addison Wesley Publishing Company
Mishra KB (1992) Reliability Analysis and Prediction. Elsevier
Trivedi KS (1982) Probability and Statistics with Reliability, Queueing, and Computer Science Applications. Prentice-Hall, Englewood Cliffs New Jersey
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.
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–141
Bukowski JV (2001) Modeling and analyzing the effects of periodic inspection on the performance of safety-critical systems. IEEE Transaction Reliability 50(3):321–329
Choi CY, Johnson BW, Profeta III JA (1997) Safety issues in the comparative analysis of dependable architectures.IEEE Transaction Reliability 46(3):316–322
Summers A (2000) Viewpoint on ISA TR 84.0.02-simplified methods and fault tree analysis.ISA Transaction 39(2):125–131
Bukowski JV (2005) A comparison of techniques for computing PFD average. In: RAMS 2005 590–595
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–343
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–258
Jogesh Muppala, Gianfranco Ciardo, Trivedi KS (1994). Stochastic reward nets for reliability prediction. Communications in Reliability, Maintainability and Serviceability 1(2):9–20
Kim H, Shin KG (1997) Reliability modeling of real-time systems with deadline information. In: Proc. of IEEE Aerospace application Conference 511–523
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–313
Tomek L, Mainkar V, Geist RM, Trivedi KS (1994) Reliability modeling of life-critical, real-time systems. Proceedings of the IEEE 82:108–121
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–286
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 Systems
Mainkar V, Trivedi KS (1995) Transient analysis of real-time systems with soft deadlines. In: Quality of communication based systems
Muppala JK, Trivedi KS Real-time systems performance in the presence of failures. IEEE Computer Magazine 37–47 May 1991.
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–33
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–389
Ross J.Anderson (2001) Security Engineering: A Guide to Building Dependable Distributed Systems. Wiley Computer Publishing, USA
MIL-STD-1553B: Aircraft internal time division command/response multiplex data bus, 30 April 1975.
AERB/SG/D-25: Computer based systems of pressurised heavy water reactor, 2001.
Safety guide NS-G-1.3 Instrumentation and control systems important to safety in nuclear power plants, 2002.
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.
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)
Yang H, Sikdar B (2007) Control loop performance analysis over networked control systems. In: Proceedings of ICC 2007 241–246
Yang TC Networked control systems: a brief survey. IEE Proc.-Control Theory Applications 153(4):403–412, July 2006.
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). Introduction. In: Dependability of Networked Computer-based Systems. Springer Series in Reliability Engineering. Springer, London. https://doi.org/10.1007/978-0-85729-318-3_1
Download citation
DOI: https://doi.org/10.1007/978-0-85729-318-3_1
Published:
Publisher Name: Springer, London
Print ISBN: 978-0-85729-317-6
Online ISBN: 978-0-85729-318-3
eBook Packages: EngineeringEngineering (R0)