FORTAS - Developing methods to analyze the timing behavior of real-time software by systematic and formally well-founded testing

01.09.2010 - 01.09.2011

Proprietary project

FORTAS - Developing methods to analyze the timing behavior of real-time software by systematic and formally well-founded testing. Dieses Projekt wurde laut DFG Bewilligungsschreiben vom 28. 8. 2006 von der Deutschen Forschungsgemeinschaft gefödert (GZ: VE 455/1-1). Die Restmittel in der Höhe von ¿ 32.000,- können laut DFG von der TU Wien (Prof. Veith) verwendet werden.

People

Project leader

Helmut Veith (E184)

Project personnel

Annu Gmeiner (E184)
Friedrich Slivovsky (E184)

Institute

E184 - Institut für Informationssysteme

Research focus

Computational Intelligence: 100%

Keywords

German	English
Echt-Zeit Software	Real-time-Software
Analyse	analysis
Verhalten	Behaviour
Testen	Testing

Publications

Publications