Formal Mind freut sich, Sie zu folgender Veranstaltung einladen zu dürfen
Professor Jan Peleska und Professor Wen-Ling Huang:
SysML, formale Semantik und ihre Verwendung beim modellbasierten Testen
Montag, 27. Maith, 2013, 10:00-12:30
Universität Düsseldorf
Zimmer 25.12.2.55
Der Vortrag wird in deutscher Sprache gehalten. Die Teilnahme ist kostenlos.
Nicht-Fakultätsmitglieder, bitte melden Sie sich an bei info@formalmind.com
Zusammenfassung: Über In den letzten Jahren wurden die veröffentlichten UML- und SysML-Spezifikationen der OMG kontinuierlich verbessert. Sie bieten heute eine hervorragende Grundlage für semantische Interpretationen. In Bezug auf die formale Syntax und die statistische Semantik wurde durch die Verwendung der Object Constraint Language (OCL) ein hohes Maß an Präzision erreicht, auch in Situationen, in denen mit fehlerhaften OCL-Interpretationen oder widersprüchlichen textuellen und formalen Daten gerechnet werden muss. In Bezug auf die Verhaltenssemantik gelten natürlichsprachliche Regeln. Diese sind klar genug und können in einer formalen Spezifikation implementiert werden. Mehrdeutigkeiten gibt es in Bezug auf semantische Variationspunkte, die projekt- oder werkzeugspezifisch definiert werden müssen.
Wir werden zeigen, wie man eine formale semantische Spezifikation für Echtzeit konstruiert und wie das Verhalten durch Blockoperationen und Zustandsautomaten ausgedrückt werden kann. Diese Konstruktion führt zu einer Übergangsbeziehung, die diskrete Schritte in Nullzeit mit Verzögerungen kombiniert und eine Echtzeitsemantik mit entweder dichter Zeit oder diskreter Zeit, synchroner oder verschachtelter Semantik erzeugt. Wir werden die praktische Anwendung der Konstruktion im modellbasierten Testen und Bounded Model Checking mit Hilfe des Werkzeugs RT-Tester demonstrieren, das von Verified Systems in Zusammenarbeit mit der Universität Bremen entwickelt wurde.
