By Topic

Real-time systems development: from structured analysis to object-oriented design

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

1 Author(s)
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

Published in:

Real-Time Computing Systems and Applications, 2000. Proceedings. Seventh International Conference on

Date of Conference:

2000