Referenced Items are not available for this document.
This work introduces an approach to adding timing information to UML diagrams for modeling embedded systems. In order to perform automated formal analysis of these UML diagrams with timing information, we extend a previously developed UML formalization framework to provide Promela semantics for the timing elements of the UML diagrams. The paper describes the application of our approach to an electronically controlled steering system obtained from one of our industrial collaborators.
Published in:
Automated Software Engineering, 2004. Proceedings. 19th International Conference on
Date of Conference: 20-24 Sept. 2004
- Page(s):
- 350 - 357
- ISSN :
- 1938-4300
- Print ISBN:
- 0-7695-2131-2
- INSPEC Accession Number:
- 8314527
- Digital Object Identifier :
- 10.1109/ASE.2004.1342762
- 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.
