Classifying object-oriented real-time systems: Ada 95 and Deal

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.