Real-time schedulability-analyzable mechanisms in Ada9X

Author

Stoyenko, Alexander D. ; Baker, Theodore P.

Author_Institution

Dept. of Comput. & Inf. Sci., New Jersey Inst. of Technol., Newark, NJ, USA

Volume

82

Issue

1

fYear

1994

fDate

1/1/1994 12:00:00 AM

Firstpage

95

Lastpage

107

Abstract

The paradigm of computing defined by real-time applications places significant requirements on programming languages, among them (1) interfacing to hardware devices, (2) maintainability, portability, reliability, and safely, (3) fault tolerance, and nonstop operation; (4) concurrency, and (5) achieving correct timing predictably (and the consequent paramount schedulability analyzability requirement). We trace how these requirements affect various mechanisms of a typical programming language. Ada9X-a new emerging standard for Ada-is then illustrated as an example of a serious attempt to address these requirements in a programming language standard. While Ada9X is far from perfect, it is a significant step, and we are hopeful for the trend of schedulability analyzable languages to gain momentum and continue

Keywords

Ada; program compilers; real-time systems; scheduling; Ada9X; concurrency; fault tolerance; hardware devices; maintainability; nonstop operation; portability; programming languages; real-time schedulability-analyzable mechanisms; reliability; safely; timing predictably; Application software; Assembly systems; Computer interfaces; Computer languages; Hardware; Job shop scheduling; Maintenance; Military computing; Processor scheduling; Timing;

fLanguage

English

Journal_Title

Proceedings of the IEEE

Publisher

ieee

ISSN

0018-9219

Type

jour

DOI

10.1109/5.259429

Filename

259429