Ein langfristig angelegtes Forschungsprojekt, das vom Bundesministerium für Bildung und Forschung gefördert wird. Projektträger ist das Deutsche Zentrum für Luft- und Raumfahrttechnik (DLR). Das Projektziel ist die durchgängige, formale Verifikation von Computersystemen. Dabei soll die korrekte Funktionsweise von Systemen, wie sie beispielsweise im Automobilbau, in der Sicherheitstechnologie und auf dem medizinisch-technischen Sektor zum Einsatz kommen, mathematisch bewiesen werden.
Konsorten:
Ein mittelfristig angelegtes Forschungs- und Entwicklungsprojekt, das vom Bundesministerium für Bildung und Forschung gefördert wird. Ziel des Projektes ist es, eingebettete Systeme, wie sie beispielsweise in Automobilen, Flugzeugen, Handys und modernen Haushaltsgeräten Verwendung finden, sicherer zu machen. Dazu soll ein durchgängiger Entwicklungsprozeß für solche Systeme erarbeitet werden, bei dem sicherheitskritische Aspekte stets berücksichtigt werden und jederzeit formal überprüft werden können.
Konsorten:
Cluster: Compiler und Timinganalyse
Konsorten:
Konsorten:
Konsorten:
Cluster: WCET-Analyse
Konsorten:
Validierung von kritischer Software durch statische Analyse und abstrakte Testmethoden
Konsorten: