SysML-basierte Anforderungsmodellierung - Model-checking als "Blackbox"

Bevor mit dem Entwurf der Architektur eines eingebetteten Systems begonnen werden kann, sollten alle relevanten Anforderungen, die sich auf die Auslegung der Software- und Systemarchitektur auswirken können, zu einem gewissen Grad identifiziert und analysiert sein. Bei komplexen Systemen ist es unerlässlich diese in einem Werkzeuggestützten Modell zu erfassen, zu repräsentieren, zu analysieren und zu verwalten. In diesem Beitrag wird ein Ansatz vorgestellt, der auf Grundlage der SysML Anforderungen so modelliert, dass sie intuitiv und nachvollziehbar spezifiziert werden können und zudem die Basis für automatisierte formale Analysen bieten. Damit die formalen Analysen ohne Expertenwissen durchführbar sind, werden im Hintergrund Werkzeuggestützte Modelltransformationen und Ansätze zum "Model Checking" transparent für den Analysten eingesetzt.