Paper Info
Title
System Development Based on a Real-Time Object Model
Abstract
This 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 Kim and Kopetz, 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 being under development to confirm the ideas and techniques investigated.
Year
DOI
Venue
1996
10.1109/WORDS.1996.506276
WORDS
Keywords
Field
DocType
specification phase,construction phase,exception section,intelligent vehicle system,real-time object identification procedure,k model,real-time dependable system,real-time object model,two-phased development process,system development,z specification language,real time systems,specification language,software reliability,embedded system,prototypes,object oriented programming,development process,monitor,distributed computing,object model,formal specification,real time,moon
Object-oriented modeling,Specification language,Yarn,Object-oriented programming,Computer science,Object model,Real-time computing,Formal specification,System development,Software quality
Conference
ISBN
Citations 
PageRank 
0-8186-7570-5
1
0.37
References 
Authors
7
6
Name
Order
Citations
PageRank
Seung-Min Yang1444.60
Tae-myung Yoon210.71
Moon Hae Kim3659.84
Byoung-Joon Min484.39
Jung-Guk Kim57812.40
Shin Heu6213.76