AbsInt: Projekte

Aktuell
Abgeschlossen

Aktuell

FORTE

Ein mittelfristig angelegtes Projekt, das durch das Bundesministerium für Bildung und Forschung gefördert wird. Im Rahmen des Projektes soll die Integration der formalen Verifikationsprozesse der Konsorten für C- bzw. VHDL-Programme so ausgebaut werden, daß sich die Gesamtbilanz – Prozess und Werkzeug – deutlich verbessert. So soll der Breiteneinsatz der formalen Verifikation in der Steuergeräteentwicklung, vor allem für die Automobilelektronik, ermöglicht werden.

MBAT

Ein auf drei Jahre angelegtes Forschungsprojekt, das vom Europäischen ARTEMIS Joint Undertaking gefördert wird und die effektive und effiziente Validierung und Verifikation eingebetteter Systeme zum Ziel hat. Der Ansatz kombiniert fortschrittlichste modellbasierte Testverfahren mit statischen Analyse- und Verifikationsmethoden.

CESAR

Noch ein europäisches Forschungsprojekt im Rahmen des ARTEMIS Joint Undertaking. Das Ziel liegt in der Effizienzsteigerung der Entwicklung eingebetteter Systeme, ihrer Sicherheitsnachweise, sowie ihrer Zertifizierungsprozesse. CESAR verfolgt einen Multi-Domain-Ansatz durch die Zusammenarbeit von Großfirmen, Zulieferern, KMUs und führenden Forschungsinstituten.

Konsorten: AVL List, Airbus, ABB, AbsInt, Acciona, Ansaldo, Aristoteles-Universität, Thessaloniki, Astrium, ATHENA, CEA, CNRS, Fiat, Critical Software, Danieli Automation, Delphi, DLR, Dassault, EADS, Elsag Datamat, European Software Institute, Esterel, Fraunhofer Gesellschaft zur Förderung der Angewandten Forschung, Formal Software Construction, Hellenic Aerospace Industry, Infineon, INRIA, Geensoft, KTH, Messier-Bugatti, Norwegian University of Science and Technology, National Technical University of Athens, OFFIS, ONERA, BRC, Oxford University, Sagem, SIA, Siemens, SINTEF, SNECMA, Quintec, Thales, TURBOMECA, Università di Bologna, University of Manchester, Università di Trieste, Virtual Vehicle Competence Center, Volvo.

TIMMO-2-USE

Das Projekt erstrebt eine deutliche Verbesserung des Automatisierungsgrades zur Ermöglichung vorhersagbarerer Entwicklungszyklen, um Entwicklungsrisiken und die Entwicklungsdauer zu reduzieren, sowie die Verläßlichkeit, Sicherheit, Robustheit und Fehlertoleranz zu verbessern. Im Fokus stehen dabei die Spezifikation, die Transformation und der Austausch relevanter Timinginformationen über verschiedene Schritte von AUTOSAR-basierten Entwicklungsprozessen und Toolketten hinweg.

Konsorten:

Volvo, Continental, Delphi, Bosch
AbsInt, Arcticus, dSPACE, INCHRON, Rapita, Real-time at work, Symtavision
Chalmers University, INRIA, Mälardalen-Universität, TU Braunschweig, Universität Paderborn

Abgeschlossen

Verisoft und Verisoft XT

Ein langfristig angelegtes Forschungsprojekt, das vom Bundesministerium für Bildung und Forschung gefördert wurde. Projektträger war das Deutsche Zentrum für Luft- und Raumfahrttechnik (DLR). Das Projektziel war die durchgängige, formale Verifikation von Computersystemen. Dabei wurde die korrekte Funktionsweise von Systemen, wie sie beispielsweise im Automobilbau, in der Sicherheitstechnologie und auf dem medizinisch-technischen Sektor zum Einsatz kommen, mathematisch bewiesen.

Konsorten:

BMW Group
Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI)
Infineon Technologies
Max-Planck-Institut für Informatik
T-Systems
TU München
TU Darmstadt
OFFIS, Oldenburger Forschungs- und Entwicklungsinstitut für Informatik-Werkzeuge
Universität Koblenz-Landau
AbsInt

SuReal

Ein mittelfristig angelegtes Forschungs- und Entwicklungsprojekt, das vom Bundesministerium für Bildung und Forschung gefördert wurde. Ziel des Projektes war es, eingebettete Systeme, wie sie beispielsweise in Autos, Flugzeugen, Handys und modernen Haushaltsgeräten Verwendung finden, sicherer zu machen. Dazu wurde ein durchgängiger Entwicklungsprozeß für solche Systeme erarbeitet, bei dem sicherheitskritische Aspekte stets berücksichtigt werden und jederzeit formal überprüft werden können.

Konsorten:

AbsInt
Deutsches Forschungszentrum für Künstliche Intelligenz (DFKI)
Technische Universität Dresden
Institut für Datentechnik und Kommunikationsnetze (IDA),
Technische Universität Braunschweig
ScopeSET
aicas allerton interworks computer automated systems
Technische Universität München
Symtavision

Interested

Ein Förderprojekt aus dem 7. Rahmenprogramm der Europäischen Kommission, das eine offene und interoperable Referenztoolkette erstellte, die die Anforderungen der Industrie an Design und Prototyping von eingebetteten Systemen erfüllt.

Konsorten: