Project Details
Projekt
Effiziente Analyse von hybriden Systemen
Applicant
Professor Dr. Jan Peleska
Subject Area
Theoretical Computer Science
Term
from 1998 to 2006
Project identifier
Deutsche Forschungsgemeinschaft (DFG) - Project number 5134902
Im beantragten Projekt sollen anhand der Referenzfallstudie zur Verkehrsleittechnik Timing-Diagramme und Differentialgleichungssysteme als ingenieurmäßige Beschreibungsmittel mit den aus der Informatik entstandenen Spezifikationssprachen RealTime CSP und erweiterter Duration Calculus integriert werden, und in Bezug auf effiziente Verifikation und Simulation analysiert werden. Ausgehend von einer hybriden Spezifikation der Referenzfallstudie sollen Standard-Schemata in hybriden Spezifikationen identifiziert werden, mit denen Zusammenhänge und Übergänge zwischen den angegebenen Spezifikationsmethoden systematisiert werden können. Dann soll eine strukturelle Dekompositionsregeln entwickelt werden, mit der die Spezifikation in schematisch behandelbare Teilspezifikationen zerlegt werden kann. Es soll untersucht werden, in wie weit sich die vorhandenen Partialordnungs-Verfahren auf die untersuchten Spezifikationsmethoden übertragen lassen. Die bestehende Testtheorie von Hardware-in-the-loop Tests auf der Basis formaler Spezifikationen soll auf den hybriden Fall und die untersuchten Software-Spezifikationstechniken ausgeweitet und das vorhandene Testsystem entsprechend erweitert werden. Weiterhin sollen grafische Elemente in die Spezifikationsmethodik integriert und für die Erzeugung von Tests genutzt werden.
DFG Programme
Priority Programmes
