loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Seventh International Conference on Real-Time Computing Systems and Applications (RTCSA'00)
Real-time systems development: from structured analysis to object-oriented design
Cheju Island, South Korea
December 12-December 14
ISBN: 0-7695-0930-4
ASCII Text
x 
 
Jyhjong Lin, "Real-time systems development: from structured analysis to object-oriented design," Real-Time Computing Systems and Applications, International Workshop on, pp. 486, Seventh International Conference on Real-Time Computing Systems and Applications (RTCSA'00), 2000.
 
 
BibTex
x
 
@article{ 10.1109/RTCSA.2000.896431,
author = {Jyhjong Lin},
title = {Real-time systems development: from structured analysis to object-oriented design},
journal ={Real-Time Computing Systems and Applications, International Workshop on},
volume = {0},
year = {2000},
issn = {1533-2306},
pages = {486},
doi = {http://doi.ieeecomputersociety.org/10.1109/RTCSA.2000.896431},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - CONF
JO - Real-Time Computing Systems and Applications, International Workshop on
TI - Real-time systems development: from structured analysis to object-oriented design
SN - 1533-2306
SP
EP
A1 - Jyhjong Lin,
PY - 2000
KW - real-time systems; structured programming; object-oriented programming; program verification; real time systems development; structured analysis; object oriented design; structured methods; execution control; time constraint; fault tolerance; enhanced DFD model; system property verification; object oriented techniques; OO design model
VL - 0
JA - Real-Time Computing Systems and Applications, International Workshop on
ER -
 
Jyhjong Lin, Dept. of Inf. Manage., Chaoyang Univ. of Technol., Wufeng, Taiwan
For their simplicity and maturity, structured methods are most widely used for modeling and analysis of real time systems. These methods, however, lack full support for those important features of real time systems like execution control, time constraint, safety, and fault tolerance. In addition, they are not formal enough for verification of system properties. To address their shortcomings, we present an approach that describes those important features in an enhanced DFD model. The model also supports sufficient formality for the verification of system properties. To take advantage of object oriented techniques, the translation of the model to an object oriented design model is then presented.
Index Terms:
real-time systems; structured programming; object-oriented programming; program verification; real time systems development; structured analysis; object oriented design; structured methods; execution control; time constraint; fault tolerance; enhanced DFD model; system property verification; object oriented techniques; OO design model
Citation:
Jyhjong Lin, "Real-time systems development: from structured analysis to object-oriented design," rtcsa, pp.486, Seventh International Conference on Real-Time Computing Systems and Applications (RTCSA'00), 2000
Usage of this product signifies your acceptance of the Terms of Use.