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

Helmut Veith (E184)

Projektmitarbeiter_innen

Annu Gmeiner (E184)
Friedrich Slivovsky (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

Publikationen

Publikationsliste