2002 · 27 citations · 13 references
EngineeringComputer EngineeringComputer ScienceComputer ArchitectureEmbedded SystemsReal-time SystemsEmbedded Systems DesignReal-time SchedulingReal-time Systems ArchitectureReal-time Systems DesignSchedulability AnalysisTiming ModelingBlockingReal-time ConstraintsReal-time Kernel DesignReal-time KernelsReal-time Task SchedulingShared ResourcesTimingTiming Constraints
This paper describes the features of the HARTIK system, a hard real-time kernel designed to help the development of real-time applications, ranging from classical hard control systems to soft multimedia, distributed systems. The portability, the predictability and the flexibility in expressing timing constraints allow the application designer to explore a broad set of solutions both from a hardware and software perspective. A toolkit has also been developed to support the design phase. The kernel supports 16-bit and 32-bit Intel 80/spl times/86 processors, DEC Alpha AXP-PCI-33, and can be easily ported to other different hardware architectures, such as microcontrollers and embedded systems. The relevant features offered by the kernel include direct specification of timing constraints, such us period and deadlines, coexistence of tasks with different criticalness, dynamic scheduling of periodic and aperiodic tasks, bounded blocking time on shared resources, prevention of deadlock and chained blocking; asynchronous, time bounded communication paradigm for exchanging data among tasks having different execution rates.
13
Stack-based scheduling of realtime processes
T. P. Baker · Real-Time Systems · 1991 · 818 citations
Distributed fault-tolerant real-time systems: the Mars approach
Hermann Kopetz, Andreas Damm, C. Koza et al. · IEEE Micro · 1989 · 576 citations
Scheduling aperiodic tasks in dynamic priority systems
Marco Spuri, Giorgio Buttazzo · Real-Time Systems · 1996 · 359 citations
The Spring kernel: a new paradigm for real-time systems
John A. Stankovic, Krithi Ramamritham · IEEE Software · 1991 · 262 citations