Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

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

 
: Keuler, Thorsten

Kaiserslautern, 2012, 3 S.
IESE-Report, 011.12/D
Reportnr.: 011.12/D
Deutsch
Bericht
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 Softwareund 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-221284.html