Key points are not available for this paper at this time.
In recent years, the search for proper extensions of the basic object model to suit the hard-real-time application community has become a critical research issue. We present such an extension of the basic object model and it is called the RTO.k object model. A concrete syntactic structure and unambiguous execution semantics of the model are presented. A major attraction of this model is in that it is effective not only in the variable-degree abstraction of real-time (computer) control systems under design but also in the accurate representation of the application environments. A specification and implementation experiment that involved an application of the RTO.k structuring scheme to the development of an anti-missile defense system together with an application environment simulator was conducted. This experiment reinforced our belief that the RTO.k model had the necessary representational power and also offered an efficient and rigorous way to develop complex real-time systems.>
Kim et al. (Tue,) studied this question.