main page

staff

teaching

theses

research

publications

books

press

jobs

download


TU-BS

FB Informatik
TU Braunschweig

Studienarbeit

Simulationsbasierte Funktionsvalidierung an SCADE-Modellen

Bei der Entwicklung sicherheitskritischer reaktiver Software nehmen die Verifikations- und Validierungsprozesse immer mehr an Bedeutung zu. Neben einer geeigneten Methodik herrscht in der Industrie eine große Nachfrage nach stabilen Werkzeugen und Entwicklungsumgebungen. Die SCADE Suite ist eine Entwicklungsumgebung für sicherheitskritische eingebettete Software, die insbesondere von der Luft- und Raumfahrtindustrie derzeit eingesetzt wird. Bahnanwendungen stellen ebenso hohe Sicherheitsanforderungen an den Entwicklungsprozess. Im Rahmen eines Pilotprojekts bei der Siemens AG wird die SCADE Suite zur Nachbildung bestehender Softwarekomponenten, speziell des Achszählers, eingesetzt.

Die Modellierung des Achszählers ist nicht Bestandteil dieser Arbeit und wird im Laufe der Arbeit parallel dazu durchgeführt. Der Schwerpunkt liegt in der Verwendung von in der SCADE Suite enthaltenen Verifikationsmodulen (Simulation, Design Verifier, Model Test Coverage) am Fallbeispiel des Achszählers. Dieses Vorgehen richtet sich somit nach dem wohl bekannten Test-First-Prinzip aus. Als Ausgangsbasis dienen dabei die existierenden Testfälle. Sie sollen zunächst an die festgelegten Interfaces des SCADE-Modells angepasst und an der Simulationsumgebung exemplarisch durchgeführt werden. Darauf aufbauend soll die Regressionsfähigkeit dieser Testszenarien untersucht werden.

Betreuer: Murat Sahingöz, Uwe Steinke (Siemens)
Beurteilung: Prof. Dr. Bernhard Rumpe