Automatische Verifikation und Analyse komplexer Systeme

Zeitbewertete Prädikat-Transitions-Netze zur Modellierung, Simulation und Analyse sicherheitskritischer Echtzeitsysteme

für meinen Vater ii Summary Within this thesis time evaluated predicate/transition nets (t-pr/t-nets) have been developed for the purpose to model, simulate and verify complex real-time systems. Therefore, t-pr/t-nets integrate concepts to model timing constraints and can be analysed by the means of structural analysis such as the calculation of sand t-invariants as well as the identification o...

Zwei Ansätze zur automatischen modellbasierten Generierung von Testfällen für variantenreiche Systeme

Zusammenfassung Heutige Systeme werden immer komplexer. Damit werden auch die Entwicklung und der Test immer aufwändiger. Entsprechende Komplexitätstreiber gibt es viele. In diesem Artikel fokussieren wir auf den Komplexitätstreiber der ständig steigenden Anzahl von Produktvarianten, wie er insb. im mobilen Umfeld häufig anzutreffen ist. Wir beschreiben zwei Ansätze, wie man für die Qualitätssi...

Automatische Verifikation stochastischer Systeme

Typisierung und Verifikation zeitlicher Anforderungen automotiver Software Systeme

Zusammenfassung: Ein wesentliches Problem der Integration von Steuergeräten im Automobil besteht darin, dass die einzelnen Steuergeräte in ihrer Funktionalität zwar spezifiziert werden, dass aber mögliche Inkompatibilität und daraus resultierende Fehler insbesondere im Hinblick auf zeitliche Anforderungen an das Gesamtsystem erst während des Integrationstest erkannt werden (können). Wir schlage...

SPI-Workbench - Modellierung, Analyse und Optimierung eingebetteter Systeme

Das SPI-Modell dient zur Repräsentation von heterogenen eingebetteten Systemen. Basierend auf diesem Modell wurde in einem Forschungsverbund zwischen der TU Braunschweig, der Universität Erlangen-Nürnberg und der ETH Zürich die systemweite Analyse und Optimierung eingebetteter Systeme untersucht und in der SPI-Workbench integriert. Besonderes Augenmerk wurde auf die domänenübergreifende Integra...