System development based on a real-time object model
Seung‐Min Yang, Tae-Myung Yoon, Moon Hae Kim, Byoung-Joon Min, Jung‐Guk Kim, Shin Heu · 2002
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.