|
Volumn 32, Issue 3, 2002, Pages 209-232
|
HARTEX-a safe real-time kernel for distributed computer control systems
|
Author keywords
Distributed computer control systems; Object modelling techniques; Real time communication; Real time operating systems; Scheduling algorithms
|
Indexed keywords
ALGORITHMS;
BOOLEAN FUNCTIONS;
COMPUTER AIDED SOFTWARE ENGINEERING;
COMPUTER CONTROL SYSTEMS;
COMPUTER OPERATING SYSTEMS;
DATA COMMUNICATION SYSTEMS;
DISTRIBUTED COMPUTER SYSTEMS;
RESPONSE TIME (COMPUTER SYSTEMS);
SCHEDULING;
VECTORS;
BOOLEAN VECTORS;
FIXED-PRIORITY SCHEDULING THEORY;
OBJECT MODELLING TECHNIQUES;
VECTOR PROCESSING TECHNIQUES;
REAL TIME SYSTEMS;
|
EID: 0036496584
PISSN: 00380644
EISSN: None
Source Type: Journal
DOI: 10.1002/spe.435 Document Type: Article |
Times cited : (14)
|
References (26)
|