Share on Facebook Tweet on Twitter Share on LinkedIn Share by email
Supporting UML-based development of embedded systems by formal techniques

J. Hooman, H. Kugler, I. Ober, A. Votintseva, and Y. Yushtein

Abstract

We describe an approach to support UMLbased development of embedded systems by formal techniques. A subset of UML is extended with timing annotations and given a formal semantics. UML models are translated, via XMI, to the input format of formal tools, to allow timed and non-timedmodel checking and interactive theorem proving. Moreover, the Play-Engine tool is used to execute and analyze requirements by means of live sequence charts.We apply the approach to a part of an industrial case study, the MARS system, and report about the experiences, results and conclusions.

Details

Publication typeArticle
Published inSoftware and Systems Modeling
URLhttp://dx.doi.org/10.1007/s10270-006-0043-7
Pages131-155
Volume7
Number2
PublisherSpringer Verlag
> Publications > Supporting UML-based development of embedded systems by formal techniques