An extendible approach for analyzing fixed priority hard real-time tasks
Real-Time Systems
Evaluating architectures for multithreaded object request brokers
Communications of the ACM
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Timing Analysis for Fixed-Priority Scheduling of Hard Real-Time Systems
IEEE Transactions on Software Engineering
ROAFTS: A Middleware Architecture for Real-Time Object-Oriented Adaptive Fault Tolerance Support
HASE '98 The 3rd IEEE International Symposium on High-Assurance Systems Engineering
Transparent Redundancy in the Time-Triggered Architecture
DSN '00 Proceedings of the 2000 International Conference on Dependable Systems and Networks (formerly FTCS-30 and DCCA-8)
Best-effort decision-making for real-time scheduling
Best-effort decision-making for real-time scheduling
Proactive Recovery in Distributed CORBA Applications
DSN '04 Proceedings of the 2004 International Conference on Dependable Systems and Networks
Hi-index | 0.00 |
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.