By Topic

Integrating informal and formal approaches to requirements modeling and analysis

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

The purchase and pricing options are temporarily unavailable. Please try again later.
2 Author(s)
Cheng, B.H.C. ; Dept. of Comput. Sci. & Eng., Michigan State Univ., East Lansing, MI, USA ; Campbell, L.A.

The Unified Modeling Language (UML) comprises several different notations for object-oriented modeling with no formal semantics attached to the individual diagrams. We have developed a generic framework for formalizing a subset of UML diagrams in terms of various formal languages, with a focus on embedded systems. We have formalized UML in terms of Promela, thus enabling analysis of the UML diagrams by the SPIN model checker and simulator. We have also developed a number of visualizations to assist in the interpretation of the analysis results. This paper presents a case study of the UML design and automated analysis of an industrial automotive embedded system using our formalization techniques, supporting tools and existing analysis

Published in:

Requirements Engineering, 2001. Proceedings. Fifth IEEE International Symposium on

Date of Conference: