Werner Damm
Universität Oldenburg, Germany
FB10 Postfach 25 03 - 26111 Oldenburg
FAX: +49 441/798-2145
Werner.Damm@Informatik.Uni-Oldenburg.De
http://ca.informatik.uni-oldenburg.de/staff/Werner.Damm.html
Abstract
The talk reports about an extension of the well known ITU standard of message sequence charts allowing in particular to specify progress properties. The extension will be integrated into two commerical offerings of I-Logix, the Statemate Tool and the Rhapsody Tool, giving both significant enhanced modeling power. The talk will discuss the language design, its semantic foundation, as well as its role in the development process for embedded real-time systems. It will conclude with ongoing activities regarding verification support for LSCs.
Last Updated: May 8, 2000 by Elisabetta Ferrando