×

HARTEX - a safe real-time kernel for distributed computer control systems. (English) Zbl 1021.68538

Summary: A hard real-time kernel is presented for distributed computer control systems (DCCS), highlighting a number of novel features, such as integrated scheduling of hard and soft real-time tasks as well as tasks and resources; high-performance time management supporting safe DCCS operation in a hard real-time environment; synchronization and communication featuring event notification via vector semaphores and transparent communication through implicit (content-oriented) message addressing. Conventional queues have been substituted by Boolean vectors and vector processing techniques throughout the kernel, resulting in efficient and highly deterministic behaviour, which is characterized by very low overhead and constant execution time of kernel operations, independent of the number of tasks involved.

MSC:

68U99 Computing methodologies and applications
68M14 Distributed systems

Software:

HARTEX
PDFBibTeX XMLCite
Full Text: DOI

References:

[1] Pre-emptive priority-based scheduling: an appropriate engineering approach. Advances in Real-Time Systems, (ed.). Prentice-Hall: Englewood Cliffs, NJ, 1994; 225-248.
[2] A Practitioner’s Handbook for Real-Time Analysis: Guide to Rate-Monotonic Analysis for Real-Time Systems. Kluwer: Dordrecht, 1993. · doi:10.1007/978-1-4615-2796-1
[3] Sha, Proceedings IEEE 82 pp 68– (1994) · doi:10.1109/5.259427
[4] Tindell, Real-Time Systems 7 pp 141– (1995)
[5] Tindell, Control Engineering Practice 3 pp 1163– (1995) · doi:10.1016/0967-0661(95)00112-8
[6] Burns, IEEE Transactions on Software Engineering 21 pp 475– (1995) · Zbl 05113833 · doi:10.1109/32.387477
[7] Katcher, IEEE Transactions on Software Engineering 19 pp 920– (1993) · Zbl 05114404 · doi:10.1109/32.241774
[8] Hard Real-Time Computing Systems: Predictable Scheduling. Algorithms and Applications. Kluwer: Dordrecht, 1997. · Zbl 0890.68016
[9] OSEK/VDX: An open software architecture for communicating vehicle systems. Proceedings of the 3rd International CAN Conference, Paris, France, 1996; 6.2-6.11.
[10] RTOS Update?part II. Real-Time Magazine, 97-3, 1997; 79-97.
[11] The ARTS real-time object model. Proceedings IEEE Real-Time Systems Symposium, 1990; 2-10.
[12] ERCOS: An operating system for automotive applications. SAE International Congress. SAE Press: Detroit, MI, 1996; 1-11.
[13] Hansson, IEEE Transactions on C 46 pp 1016– (1997) · doi:10.1109/12.620482
[14] Component-based design of distributed embedded systems. Internal Report ACSL-3/2000, Advanced Control Systems Laboratory, Faculty of Automatics, Technical University of Sofia, 2000.
[15] Real-time scheduling in a generic fault-tolerant architecture. Proceedings IEEE Real-Time Systems Symposium, 1998; 390-398.
[16] ISO/DIS 11898. Road vehicles: Interchange of digital information. Controller Area Network (CAN) for High-Speed Communication, 1992.
[17] Dual-priority scheduling. Proceedings IEEE Real-Time Systems Symposium, 1995; 100-109.
[18] High-performance task management for hard real-time systems. Proceedings Technical University of Sofia, 50-2, 1999; 190-197.
[19] Investigation of the pessimism in distributed systems timing analysis. Proceedings of the 10th Euromicro Workshop on Real-Time Systems, 1998; 107-114.
[20] Real-Time Systems. Design Principles for Distributed Embedded Applications. Kluwer: Dordrecht, 1997. · Zbl 0930.68148
[21] Harmon, Real-Time Systems 6 pp 159– (1994) · Zbl 0823.68025 · doi:10.1007/BF01088803
[22] Chatterjee, Real-Time Systems 8 pp 123– (1996) · Zbl 05479243 · doi:10.1007/BF00360338
[23] Instruction level mechanisms for accurate real-time task scheduling. Proceedings IEEE Real-Time Systems Symposium, 1986; 209-215.
[24] Optimizing interprocess communication for embedded real-time systems. Proceedings IEEE Real-Time Systems Symposium, 1996; 311-320.
[25] Boasson, IEEE Transactions on Automated Control 38 pp 1094– (1993) · doi:10.1109/9.231463
[26] The non-blocking write protocol NBW: A solution to a real-time synchronisation problem. Proceedings IEEE Real-Time Systems Symposium, 1993; 131-137.
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.