Project Details
Projekt Print View

SafeTSA-Entwicklung syntaxorientierter Verfahren zur sicheren und effizienten Ausführung von mobilem Code

Subject Area Software Engineering and Programming Languages
Term from 2001 to 2011
Project identifier Deutsche Forschungsgemeinschaft (DFG) - Project number 5343064
 
Ein System zur mobilen Codeerzeugung besteht aus einer Produzenten- und einer Konsumentenseite. Die Produzentenseite übersetzt das Eingabeprogramm in eine Zwischencodepräsentation, die von der Konsumentenseite über das Internet geladen und nach einer zur Laufzeit durchgeführten Übersetzung auf der Zielarchitektur ausgeführt werden kann. Das Forschungsprojekt hat die Entwicklung eines vollständigen und generell einsetzbaren Systems zur mobilen Codeerzeugung zum Ziel. Das zu entwickelnde System verwendet als Zwischencoderepräsentation eine syntaxorientiete, auf der Static Single Assignment-Form basierende Darstellungsform, die neben einer sicheren, gegenüber böswilligen Manipulationen robusten, Programmübertragung auch eine effiziente Ausführung der Applikationen auf der Konsumentenseite gewährleistet. Neben dem Entwurf einer für den moibilen Code geeigneten Zwischencoderepräsentation, sollen in den Projektarbeiten sowohl für die Produzenten- als auch für die Konsumentenseite des Systems, sichere und effiziente Techniken zur Programmanalyse, Optimierung, Codeerzeugung und syntaxorientierten Komprimierung entwickelt, und unter Verwendung realer Anwendungsprogramme evaluiert werden.
DFG Programme Research Grants
Participating Person Professor Dr. Wilhelm Rossak
 
 

Additional Information

Textvergrößerung und Kontrastanpassung