Title :
Automated analysis of timing information in UML diagrams
Author :
Konrad, Sascha ; Campbell, Laura A. ; Cheng, Betty H C
Author_Institution :
Dept. of Comput. Sci. & Eng., Michigan State Univ., E. Lansing, MI, USA
Abstract :
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.
Keywords :
Unified Modeling Language; diagrams; embedded systems; formal verification; Promela semantics; UML diagrams; UML formalization framework; automated formal analysis; electronically controlled steering system; embedded systems; timing information; Automatic control; Control systems; Electrical equipment industry; Electronics industry; Embedded system; Information analysis; Performance analysis; Steering systems; Timing; Unified modeling language;
Conference_Titel :
Automated Software Engineering, 2004. Proceedings. 19th International Conference on
Print_ISBN :
0-7695-2131-2
DOI :
10.1109/ASE.2004.1342762
