Tool support for the construction of statically analysable hard real-time Ada systems

Author

Vardanega, T.

Author_Institution

Div. of Spacecraft Control & Data Syst., Eur. Space Res. & Technol. Centre, Noordwijk, Netherlands

fYear

1996

fDate

4-6 Dec 1996

Firstpage

129

Lastpage

135

Abstract

The paper maintains that fixed priority process based preemptive scheduling is, arguably, more convenient, flexible and responsive than conventional cyclic scheduling for the construction of new generation software intensive satellite control systems. Predictable usage of preemptive priority based scheduling, however, demands the support of mature static analysis techniques. Worst case response time analysis models can be constructed which minimise the embodied pessimism and maximise useful processing. The paper presents the design and implementation of an Ada programming model and associated worst case response time analysis tools aimed to support the construction of highly predictable, highly efficient on-board control systems

Keywords

Ada; aerospace control; artificial satellites; real-time systems; scheduling; software tools; Ada programming model; cyclic scheduling; fixed priority process based preemptive scheduling; mature static analysis techniques; new generation software intensive satellite control systems; on-board control systems; preemptive priority based scheduling; statically analysable hard real time Ada systems; worst case response time analysis models; worst case response time analysis tools; Aerospace electronics; Control systems; Data systems; Delay; Job shop scheduling; Real time systems; Satellites; Space technology; Space vehicles; Speech analysis;

fLanguage

English

Publisher

ieee

Conference_Titel

Real-Time Systems Symposium, 1996., 17th IEEE

Conference_Location

Los Alamitos, CA

ISSN

1052-8725

Print_ISBN

0-8186-7689-2

Type

conf

DOI

10.1109/REAL.1996.563707

Filename

563707