Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

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

 
: Keuler, Thorsten; Antonino, Pablo

Embedded Software Engineering Kongress 2011. Tagungsband : 5. bis 9. Dezember 2011, Sindelfingen
Sindelfingen, 2011
ISBN: 978-3-8343-2405-4
S.30-33
Embedded Software Engineering Kongress <2011, Sindelfingen>
Deutsch
Konferenzbeitrag
Fraunhofer IESE ()
model checking; model specification; model-based specification; modeling; modeling methodology

Abstract
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.

: http://publica.fraunhofer.de/dokumente/N-192386.html