Integrating optional software components into hard real-time systems

Author

Audsley, N.C. ; Burns, A. ; Davis, R.I. ; Scholefield, D.J. ; Wellings, A.J.

Author_Institution

Dept. of Comput. Sci., York Univ., UK

Volume

11

Issue

3

fYear

1996

fDate

5/1/1996 12:00:00 AM

Firstpage

133

Lastpage

140

Abstract

The incorporation of optional components (i.e. software modules that cannot be analysed to produce realistic worst case execution times) into hard real-time applications has been recognised as a key issue for the next generation of real-time systems. A system model is presented that caters for the three main approaches to integrating optional components: milestone methods, sieve functions and multiple versions. The formal language TAM is used to describe this model. Further, an approach to ensuring that the mandatory components of this model are guaranteed to meet their deadlines is described, and the optional components are admitted for scheduling such that the utility of the system is maximised

Keywords

formal specification; real-time systems; scheduling; software performance evaluation; software reliability; software reusability; specification languages; TAM; deadlines; formal language; hard real-time systems; milestone methods; multiple versions; optional software component integration; scheduling; sieve functions; software modules; specification language; worst case execution times;

fLanguage

English

Journal_Title

Software Engineering Journal

Publisher

iet

ISSN

0268-6961

Type

jour

Filename

503673