Modeling of a highly reliable real-time distributed system using the RTO.k model and the monitor object

The main focus of this paper is the modeling of a highly reliable real-time distributed system using the RTO.k (Real-Time Object) model incorporating the monitor approach. The RTO.k model is used to specify the real-time distributed nature of the system, while the monitor is used to support reliable operations of the system. A monitor is an abstract software component to handle faults occurring during the system's operation. It can be modeled as an RTO.k object called a real-time monitor object (RTMO). In this paper, we present three basic structuring schemes with an RTO.k object and an RTMO. Our modeling approach utilizes these structuring schemes. To illustrate our approach, KODAS (KOrea Distribution Automation System), being developed at LG Industrial Systems Co. Ltd., is used. In order to examine the effectiveness of our approach, we have designed a simulation model for KODAS and implemented it on the DREAM kernel. The RTO.k model and the monitor approach can be easily incorporated, and can be integrated as a set of RTO.k objects so as to facilitate the modeling of a highly reliable real-time distributed system.