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

fYear

1996

fDate

1-2 Feb 1996

Firstpage

152

Lastpage

159

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/WORDS.1996.506276

Filename

506276