Title :
System development based on a real-time object model
Author :
Yang, Seung-Min ; Yoon, Tae-Myung ; Kim, Moon Hae ; Byoung-Joon Min ; Kim, Jung-Guk ; Heu, Shin
Author_Institution :
Soongsil Univ., Seoul, South Korea
Abstract :
The paper presents an approach to developing real time dependable systems (RDSs) based on a real time object model. A process to develop an RDS is divided into two phases (specification phase and construction phase), and a real time object model, named RTO.e, plays the role of a connector as well as that of a fire wall between two phases. RTO.e, an extension of the RTO.k model proposed earlier by K.H. Kim and H. Kopetz (1994), embeds the Z specification language and the exception section. Discussions are focused on the concept of the two phased development process and a real time object identification procedure using the RTO.e specification. An IVS (intelligent vehicle system) prototype is under development to confirm the ideas and techniques investigated
Keywords :
formal specification; object-oriented programming; real-time systems; software reliability; specification languages; IVS; RDSs; RTO e; RTO k; Z specification language; construction phase; exception section; intelligent vehicle system; real time dependable systems development; real time object identification procedure; real time object model; specification phase; two phased development process; Connectors; Distributed computing; Electronic mail; Embedded system; Intelligent vehicles; Moon; Object oriented modeling; Prototypes; Real time systems; Yarn;
Conference_Titel :
Object-Oriented Real-Time Dependable Systems,1996. Proceedings of WORDS '96., Second Workshop on
Conference_Location :
Laguna Beach, CA
Print_ISBN :
0-8186-7570-5
DOI :
10.1109/WORDS.1996.506276
