HARTEX—a safe real‐time kernel for distributed computer control systems

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. Copyright © 2001 John Wiley & Sons, Ltd.

[1]  Andy J. Wellings,et al.  Dual priority scheduling , 1995, Proceedings 16th IEEE Real-Time Systems Symposium.

[2]  Alan Burns,et al.  Effective Analysis for Engineering Real-Time Fixed Priority Schedulers , 1995, IEEE Trans. Software Eng..

[3]  Mark Klein,et al.  A practitioner's handbook for real-time analysis - guide to rate monotonic analysis for real-time systems , 1993, The Kluwer international series in engineering and computer science.

[4]  Giorgio Buttazzo,et al.  Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .

[5]  Andy J. Wellings,et al.  Real-time scheduling in a generic fault-tolerant architecture , 1998, Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).

[6]  Alan Burns,et al.  Preemptive priority-based scheduling: an appropriate engineering approach , 1995 .

[7]  Stefan Poledna.  Optimizing Interprocess Communication for Embedded Real-Time Systems , 1996, RTSS.

[8]  Shirish S. Sathaye,et al.  Generalized rate-monotonic scheduling theory: a framework for developing real-time systems , 1994, Proc. IEEE.

[9]  J. Schiemann,et al.  ERCOS: An Operating System for Automotive Applications , 1996 .

[10]  Hideyuki Tokuda,et al.  The ARTS real-time object model , 1990, [1990] Proceedings 11th Real-Time Systems Symposium.

[11]  Richard A. Volz,et al.  Instruction Level Mechanisms for Accurate Real-time Task Scheduling , 1986, IEEE Real-Time Systems Symposium.

[12]  Maarten Boasson,et al.  Control Systems Software , 1993, Fifth Euromicro Workshop on Real-Time Systems.

[13]  Alan Burns,et al.  Investigation of the pessimism in distributed systems timing analysis , 1998, Proceeding. 10th EUROMICRO Workshop on Real-Time Systems (Cat. No.98EX168).

[14]  Hans A. Hansson,et al.  Basement: an Architecture and Methodology for Distributed Automotive Real-time Systems , 1997 .

[15]  Alan Burns,et al.  Calculating controller area network (can) message response times , 1994 .

[16]  Hermann Kopetz,et al.  The non-blocking write protocol NBW: A solution to a real-time synchronization problem , 1993, 1993 Proceedings Real-Time Systems Symposium.

[17]  Jay K. Strosnider,et al.  Engineering and Analysis of Fixed Priority Schedulers , 1993, IEEE Trans. Software Eng..

[18]  Jay K. Strosnider,et al.  Quantitative analysis of hardware support for real-time operating systems , 1996, Real-Time Systems.

[19]  Hermann Kopetz,et al.  Real-time systems , 2018, CSC '73.