Automated analysis of timing information in UML diagrams
- Resource Type
- Conference
- Authors
- Konrad, S.; Campbell, L.A.; Cheng, B.H.C.
- Source
- Proceedings. 19th International Conference on Automated Software Engineering, 2004. Automated software engineering Automated Software Engineering, 2004. Proceedings. 19th International Conference on. :350-357 2004
- Subject
- Computing and Processing
Information analysis
Timing
Unified modeling language
Embedded system
Performance analysis
Automatic control
Control systems
Steering systems
Electrical equipment industry
Electronics industry
- Language
- ISSN
- 1938-4300
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.