Correct compilers for correct application specific processors

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

People

Project leader

Project personnel

Institute

Contract/collaboration

  • Catena DSP GmbH

Grant funds

  • FFG - Österr. Forschungsförderungs- gesellschaft mbH (National) Austrian Research Promotion Agency (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