Abstract
Dependability mechanisms in GUARDS are supported by a set of specific software and hardware components and design rules for their development and implementation. In this paper we focus on the time-related dependability mechanisms: computational and scheduling models, and spatial and temporal firewalls. An operating system provides the run-time support that is generic to all applications conforming to GUARDS computational and scheduling model. The two operating systems chosen for GUARDS applications are commercial operating systems. However, they do not provide all the necessary services needed for the implementation of the time-related mechanisms. An additional set of GUARDS services is introduced to implement pre-emptive priority scheduling.
| Original language | English |
|---|---|
| Title of host publication | DATA SYSTEMS IN AEROSPACE - PROCEEDINGS |
| Place of Publication | PARIS |
| Publisher | EUROPEAN SPACE AGENCY |
| Pages | 335-340 |
| Number of pages | 6 |
| ISBN (Print) | 92-9092-688-0 |
| Publication status | Published - 1998 |
| Event | Conference on Data Systems in Aerospace (DASIA 98) - ATHENS Duration: 25 May 1998 → 28 May 1998 |
Conference
| Conference | Conference on Data Systems in Aerospace (DASIA 98) |
|---|---|
| City | ATHENS |
| Period | 25/05/98 → 28/05/98 |