Title :
Classifying object-oriented real-time systems: Ada 95 and Deal
Author :
Hammer, Dieter K. ; Welch, Lonnie R. ; Oosmalen, Onno S van R
Author_Institution :
Dept. of Comput. Sci., Eindhoven Univ. of Technol., Netherlands
Abstract :
The paper extends and applies a previously published taxonomy for the evaluation of object-oriented languages for the construction of distributed real-time systems. Our main question is: how well do current approaches support the design of concurrency and non-functional system features like the specification of allocation, timing and fault tolerance constraints? In order to demonstrate our approach, we consider two extremes: Ada 95 and our own real-time language Deal. It is shown that our taxonomy is well suited to discern essential properties of such languages and to point out the weaknesses of contemporary approaches
Keywords :
Ada; formal specification; object-oriented languages; object-oriented methods; object-oriented programming; parallel processing; real-time systems; software fault tolerance; timing; Ada 95; Deal real-time language; allocation specification; concurrency design; distributed real-time system construction; fault tolerance constraints; nonfunctional system feature design; object-oriented real-time system classification; timing; Computer displays; Concurrent computing; Delay; Fault tolerance; Packaging; Real time systems; Systems engineering and theory; Taxonomy; Timing;
Conference_Titel :
Engineering of Computer-Based Systems,1996. Proceedings., IEEE Symposium and Workshop on
Conference_Location :
Friedrichshafen
Print_ISBN :
0-8186-7355-9
DOI :
10.1109/ECBS.1996.494545
