5th IEEE Workshop on Future Trends of Distributed Computing Systems
Environment for Development of Reliable Real-Time Distributed Applications
Chenju, Korea
August 28-August 30
ISBN: 0-8186-7125-4
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.
Index Terms:
Monitor, Monitor Kernel, Development support, Operation support, Real-time system, Monitor Information Base
Citation:
Moon Hae Kim, Seung-Min Yang, "Environment for Development of Reliable Real-Time Distributed Applications," ftdcs, pp.0120, 5th IEEE Workshop on Future Trends of Distributed Computing Systems, 1995