Automated analysis of timing information in UML diagrams

Proceedings - 19th International Conference on Automated Software Engineering, ASE 2004

Volumn , Issue , 2004, Pages 350-353

  Konrad, Sascha ^a   Campbell, Laura A ^a   Cheng, Betty H C ^a  

^a Michigan State University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATED FORMAL ANALYSIS; DIGITAL CLOCKS; ELECTRONICALLY CONTROLLED STEERING SYSTEMS; UNIFORM MODELING LANGUAGE (UML) DIAGRAMS;

AUTOMATA THEORY; BOOLEAN ALGEBRA; EMBEDDED SYSTEMS; FORMAL LANGUAGES; FORMAL LOGIC; STEERING;

COMPUTER PROGRAMMING LANGUAGES;

EID: 15844396469     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2004.1342762     Document Type: Conference Paper

References (13)

1. R. Alur. Techniques for automatic verification of real-time systems. PhD thesis, Stanford University, 1991.
2. D. Bošnački. Enhancing State Space Reduction Techniques for Model Checking. PhD thesis, Eindhoven University of Technology, 2001.
3. M. Bozga, O. Maler, and S. Tripakis. Efficient verification of timed automata using dense and discrete time semantics. In Conference on Correct Hardware Design and Verification Methods, pages 125-141, 1999.
4. L. A. Campbell, B. H. C. Cheng, W. E. McUmber, and R. E. K. Stirewalt. Automatically detecting and visualizing errors in UML diagrams. Requirements Engineering Journal, December 2002.
5. M. B. Dwyer, G. S. Avrunin, and J. C. Corbett. Patterns in property specifications for finite-state verification. In Proceedings of the 21st International Conference on Software Engineering, pages 411-420. IEEE Computer Society Press, 1999.
6. S. Graf, I. Ober, and I. Ober. Timed annotations with UML. In Proceedings of Specification and Validation of UML Models for Real Time and Embedded Systems (SVERTS), Fort Mason Center, San Francisco, October 2003.
7. G. J. Holzmann. The Model Checker SPIN. IEEE Transactions on Software Engineering, 23(5), May 1997.
8. A. Knapp, S. Merz, and C. Rauh. Model checking timed UML state machines and collaborations. In W. Damm and E.-R. Olderog, editors, 7th Intl. Symp. Formal Techniques in Real-Time and Fault Tolerant Systems (FTRTFT 2002), volume 2469 of Lecture Notes in Computer Science, pages 395-414, Oldenburg, Germany, Sept. 2002. Springer-Verlag.
9. S. Konrad and B. H. C. Cheng. Requirements patterns for embedded systems. In Proceedings of the IEEE Joint International Conference on Requirements Engineering (RE02), Essen, Germany, September 2002.
10. R. Koymans. Specifying real-time properties with metric temporal logic. Real-Time Syst., 2(4):255-299, 1990.
11. W. E. McUmber and B. H. C. Cheng. A general framework for formalizing UML with formal languages. In Proceedings of IEEE International Conference on Software Engineering (ICSE01), Toronto, Canada, May 2001.
12. Object Management Group, 2004. http://www.omg.org.
13. A. Torre. Project specifications for adaptive cruise control system and electronically controlled steering system, 2000. http://www.cse.msu.edu/~cse470/ F01/Projects/.