Abstract
This paper presents the design and implementation of real-time fault detectors. We describe their design, implementation, and scheduling under a Fixed Priority/ High Priority First policy. Two types of real-time detectors are described; primary detectors and secondary (meta) detectors. A Primary Detector is designed for the detection of simple faults and failures (Worst Case Execution Time, Worst Case Response Time, Latest Response Time and Activation Overrun events). These events occur when a task uses more resources than have been catered for. The secondary type of detector, called meta Detector, is used to detect more complicated events called meta-events. Meta-events are based on a set of primary detectors and their interrelations. The Real-Time Specification Language (RTSL) is used for the description of Meta-events, including the primary events relations such as precedence; (THEN) and other logical relations; (AND, OR, TIMES). Primary and meta fault detectors must be admitted to the system as periodic or sporadic real-time threads. We present a method for the feasibility analysis of each detector type. These principles are integrated within a Minimum Real-Time CORBA prototype called RT-SORBET.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Object Management Group Real-time CORBA Specification - Dynamic Scheduling, OMG Document formal/03-11-01 version 2.0 (November 2003)
Object Management Group Real-time CORBA Specification - Static Scheduling, OMG Document formal/05-01-04 version 1.2 (January 2005)
Object Management Group CORBA Fault Tolerant formal/04-03-21 chapter, v3.03
Schmidt, D.C.: Evaluating Architectures for Multi-threaded CORBA Object Request Brokers. Communications of the ACM Special Issue on CORBA 41(10) (October 1998)
Buzzato, G.C., Stankovi, J.A.: RED: A Robust Earliest Deadline Scheduling. In: 3rd International Workshop on responsive Comuting System (September 1993)
Locke, C.D.: “Best Effort Decision Making for real time scheduling”, Ph.D Thesis, Computer Science Departement, Carnegie Mellon University (1986)
Koren, G., Shasha, D.: D over: an optimal On-Line Scheduling Algorithm for Over loaded Real Time System rapport technique 138, INRIA Fev 92
Realtime Specification for Java, http://www.rtj.org
Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard real time environment. Journal of the Association for Computing Machinery 20(1) (January 1973)
Tindell, K.W., Burns, A., Wellings, A.J.: An extendible Approach For Analysing Fixed Priority Hard Real-Time Tasks. Real-Time Systems 6(2) (1994)
Lehoczky, J.P.: Fixed Priority Scheduling of Periodic Task Sets with Arbitrary Deadline. In: IEEE Real-Time System Symposium (1990)
Katcher, D.I., Lehoczky, J.P., Strosnider, J.K.: Scheduling models of dynamic priority schedulers. In: RR CMUCDS-93-4, Carnegie Mellon University, Pittsburgh (April 1993)
Harbour, M.G., Klein, M.H., Lehoczky, J.P.: Timing analysis for Fixed Priority scheduling of hard real-time systems Harbour. IEEE Transaction on Software Enginieering 20(1), 13–28 (1994)
Pertet, S., Narasimhan, P.: Proactive Recovery in Distributed CORBA Applications. In: IEEE Conference on Dependable Systems and Networks (DSN), Florence, Italy (June 2004)
Kim, K.H.: ROAFTS: A middleware architecture for real-time object oriented adaptive fault tolerance support. In: Proceedings of IEEE High Assurance Systems Engineering (HASE) Symposium, pp. 50–57 (1998)
Kopetz, H., Bauer, G.: The time-triggered architecture. Proceedings of the IEEE 91, 112–126 (2003)
Bauer, G., Kopetz, H.: Transparent Redundancy in the Time-Triggered Architecture. In: Proceedings of the International Conference on Dependable Systems and Networks (DSN 2000), New York, USA, June 2000, pp. 5–13 (2000)
The RT-SORBET Home Page, http://igm.univ-mlv.fr/~midonnet/SORBET.html
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Midonnet, S. (2005). The Design of Real-Time Fault Detectors. In: Meersman, R., Tari, Z. (eds) On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE. OTM 2005. Lecture Notes in Computer Science, vol 3760. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11575771_44
Download citation
DOI: https://doi.org/10.1007/11575771_44
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29736-9
Online ISBN: 978-3-540-32116-3
eBook Packages: Computer ScienceComputer Science (R0)