Simulation and analysis of real-time concurrent object models

Today, there is a rapidly growing interest to transfer object oriented computing technologies into various fields of control-critical applications. Existing approaches concentrate on abstract design level modeling. We introduce "abstract object systems", an abstract mathematical model of concurrent real time object systems. After that we present a simulation and analysis framework that takes into account implementation issues such as operation processing limits, scheduling strategies, processing priorities and distribution of threads to processors. The usual static class structuring relations are used. Messages exchanged between objects may be either synchronous method calls or asynchronous events. The details of object interaction are controlled by object oriented statecharts. In addition, our framework deals with dynamic creation and deletion of objects and with distribution of threads onto multiple parallel processors.