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

Eigenprojekt

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.

Personen

Projektleiter_in

Dipl.-Ing. Dr.techn. Helmut Veith (E184)

Projektmitarbeiter_innen

Dipl.-Ing. Dr.techn. Friedrich Slivovsky (E184)
Annu Gmeiner Master Degree (E184)

Institut

E184 - Institut für Informationssysteme

Forschungsschwerpunkte

Information and Communication Technology

Schlagwörter

Deutsch	Englisch
Echt-Zeit Software	Real-time-Software
Analyse	analysis
Verhalten	Behaviour
Testen	Testing