Korrekte Übersetzer für korrekte anwendungsspezifische Prozessoren

01.10.2010 - 31.12.2013
Research funding project
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.

People

Project leader

Project personnel

Institute

Auftrag/Kooperation

  • Catena DSP GmbH

Förderungmittel

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

Research focus

  • Computer Engineering: 40%
  • Computational Intelligence: 60%

Keywords

GermanEnglish
anwendungspezifische Prozessorenapplication specific processors
Übersetzerverifikationtranslation validation
Prozessorbeschreibungssprachenprocessor description languages

External partner

  • Catena DSP GmbH

Publications