Erweiterte Message Sequence Charts für die Verifikation von Statemate-Entwürfen

Moderne technische Systeme enthalten in immer starkerem Mase mikroelektronische Komponenten. Dies sind zumeist nicht speziell fur einen Anwendungszweck entworfene Prozessoren, sondern flexibel einsetzbare Standardbausteine, die nur eine gewisse Grundfunktionalitat in Hardware mitbringen. Die Anpassung an die eigentliche Aufgabe erfolgt durch Software. Somit entfallt auf die Softwareentwicklung inzwischen ein Grosteil der Entwicklungskosten beim Entwurf solcher technischen Systeme.