Diploma Thesis DIP-2011-43

BibliographySommer, Ralf: Automatisierte Formalisierung von Anforderungen an eingebettete Systeme im Automobilbau.
University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Diploma Thesis No. 43 (2011).
73 pages, german.
Abstract

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.

Department(s)University of Stuttgart, Institute of Formal Methods in Computer Science, Algorithmic
Superviser(s)Nowotka, Dr. Dirk
Entry dateMay 11, 2020
   Publ. Computer Science