Correct compilers for correct application specific processors

01.10.2010 - 31.12.2013
Forschungsförderungsprojekt
A compiler translates a program from a programing language into a program in the machine language of a processor. For embedded systems from the automotive or aerospace area there is the requirement that the translation is provable correct. Such embedded systems often use application specific processors to fulfill performance and efficiency requirements. In this project techniques and methods to prove correct translations will be developed.

Personen

Projektleiter_in

Projektmitarbeiter_innen

Institut

Contract/collaboration

  • Catena DSP GmbH

Grant funds

  • FFG - Österr. Forschungsförderungs- gesellschaft mbH (National) Austrian Research Promotion Agency (FFG)

Forschungsschwerpunkte

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

Schlagwörter

DeutschEnglisch
anwendungspezifische Prozessorenapplication specific processors
Übersetzerverifikationtranslation validation
Prozessorbeschreibungssprachenprocessor description languages

Externe Partner_innen

  • Catena DSP GmbH

Publikationen