Referenced Items are not available for this document.
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
- Page(s):
- 486 - 490
- Meeting Date :
- 12 Dec 2000-14 Dec 2000
- ISSN :
- 1530-1427
- Print ISBN:
- 0-7695-0930-4
- INSPEC Accession Number:
- 6813256
- Conference Location :
- Cheju Island
- Digital Object Identifier :
- 10.1109/RTCSA.2000.896431
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
