Premium
HARTEX—a safe real‐time kernel for distributed computer control systems
Author(s) -
Angelov C. K.,
Ivanov I. E.,
Burns A.
Publication year - 2002
Publication title -
software: practice and experience
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.437
H-Index - 70
eISSN - 1097-024X
pISSN - 0038-0644
DOI - 10.1002/spe.435
Subject(s) - semaphore , computer science , distributed computing , kernel (algebra) , overhead (engineering) , scheduling (production processes) , queue , synchronization (alternating current) , real time computing , parallel computing , operating system , computer network , engineering , channel (broadcasting) , operations management , mathematics , combinatorics
Abstract 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.