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

fYear

1995

fDate

28-30 Aug 1995

Firstpage

120

Lastpage

126

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/FTDCS.1995.524976

Filename

524976