Title :
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
fDate :
1/1/1994 12:00:00 AM
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;
Journal_Title :
Proceedings of the IEEE
