Title :
Environment for development of reliable real-time distributed applications
Author :
Kim, Moon Hae ; Yang, Seung-Min
Author_Institution :
Dept. of Comput. Sci., Konkuk Univ., Seoul, South Korea
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
Keywords :
computer aided software engineering; distributed processing; formal specification; programming environments; real-time systems; safety-critical software; RTO.k specification language; Z notation; critical real-time applications; development support; embedded components; extended C++; integrated environment; monitor kernel; operation support; reliable real-time distributed applications; three-level monitors; ultra-reliable real-time systems; Application software; Computer displays; Computer science; Distributed computing; Embedded computing; Information analysis; Kernel; Real time systems; System testing; Timing;
Conference_Titel :
Distributed Computing Systems, 1995., Proceedings of the Fifth IEEE Computer Society Workshop on Future Trends of
Conference_Location :
Cheju Island
Print_ISBN :
0-8186-7125-4
DOI :
10.1109/FTDCS.1995.524976
