Korrekte Übersetzer für korrekte anwendungsspezifische Prozessoren

01.10.2010 - 31.12.2013
Forschungsförderungsprojekt
Ein Übersetzer bildet ein Programm in einer Programmiersprache auf ein Programm in Maschinensprache eines Prozessors ab. Bei sicherheitskritischen eingebetteten Systemen aus dem Bereich Automobil oder Luftfahrt wird verlangt, dass diese Abbildung nachvollziehbar korrekt ist. Diese Systeme enthalten oft anwendungsspezifische Prozessoren, um die Anforderungen an die Leistungsfähigkeit und den Energieverbrauch zu erfüllen. Im Rahmen dieses Projektes sollen Methoden und Techniken entwickelt werden, mit denen automatisiert ein Beweis der korrekten Übersetzung erbracht werden kann.

Personen

Projektleiter_in

Projektmitarbeiter_innen

Institut

Auftrag/Kooperation

  • Catena DSP GmbH

Förderungsmittel

  • FFG - Österr. Forschungsförderungs- gesellschaft mbH (National) Österreichische Forschungsförderungsgesellschaft mbH (FFG)

Forschungsschwerpunkte

  • Information and Communication Technology

Schlagwörter

DeutschEnglisch
anwendungspezifische Prozessorenapplication specific processors
Übersetzerverifikationtranslation validation
Prozessorbeschreibungssprachenprocessor description languages

Externe Partner_innen

  • Catena DSP GmbH