Environment for development of reliable real-time distributed applications
Moon Hae Kim, Seung‐Min Yang · 2002
The use of computers as embedded components in critical real-time applications has been steadily increasing. Currently, we are developing an integrated environment to support development and operation of ultra-reliable real-time systems. Development support is based on the RTO.k specification language, the extended C++, and the Z notation. Using these languages, The system to be developed is specified, analyzed and tested. Operation support is based on three-level monitors and the monitor kernel. In this paper, we present both aspects of our environment: development support and operation support.