Future Trends of Distributed Computing Systems, IEEE International Workshop
Download PDF

Abstract

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.
Like what you’re reading?
Already a member?
Get this article FREE with a new membership!