Diplomarbeit DIP-2011-43

Bibliograph.
Daten
Sommer, Ralf: Automatisierte Formalisierung von Anforderungen an eingebettete Systeme im Automobilbau.
Universität Stuttgart, Fakultät Informatik, Elektrotechnik und Informationstechnik, Diplomarbeit Nr. 43 (2011).
73 Seiten, deutsch.
Kurzfassung

Diese Arbeit beschreibt den Faktenkalkül, welcher dazu dient, Anforderungen an eingebettete Systeme im Automobilbau formal zu erfassen, automatisch zu analysieren und einer Weiterverarbeitung zugänglich zu machen. Prägend für eingebettete Systeme ist, dass sie vom Nutzer nur als Teil der Funktion eines Gesamtsystems wahrgenommen werden können. Die vorgestellte Methode verwendet Anforderungsmuster, welche auf den logischen Aktionen, wie zeitlich erstreckten Zuständen des Systems und punktuellen Ereignissen, basiert. Diese werden systematisch erfasst und mit den beobachteten und manipulierten Größen der Umwelt des eingebetteten Systems verbunden. Dadurch wird die Formalisierung erleichtert. Eine Prüfung der formalisierten Anforderungen kann durch die expliziten Verbindungen zwischen den Fakten, den einzelnen Elementen der Anforderungen, automatisch erfolgen. Eine Weiterverarbeitung des Faktengraphen, einer Instanz des Kalküls, wird am Beispiel der abstrakten Testfallerzeugung skizziert. Am Ende der Arbeit wird ein Ansatz zur Implementierung vorgestellt.

Abteilung(en)Universität Stuttgart, Institut für Formale Methoden der Informatik, Algorithmik
BetreuerNowotka, Dr. Dirk
Eingabedatum11. Mai 2020
   Publ. Informatik