VICTORIA

Project Team

• Jan Peleska (project manager)
• Aliki Tsiolakis
• Dirk Meyer

Links within the context of VICTORIA

• VICTORIA project
• Research project VICTORIA within the GROWTH programme

Publiciations within the context of VICTORIA

Jan Peleska:
Formal Methods for Test Automation - Hard Real-Time Testing of Controllers for the Airbus Aircraft Family.
In Proceedings of the Sixth Biennial World Conference on Integrated Design and Process Technology (IDPT2002), Pasadena, California, June 23-28, 2002.
[ABSTRACT,PS]

Jan Peleska and Aliki Tsiolakis:
Automated Integration Testing for Avionics Systems.
In Proceedings of the 3rd ICSTEST, International Conference on Software Testing, Düsseldorf, April 17th - 19th, 2002.
[ABSTRACT,SLIDES]

Jan Peleska:
Hardware/Software Integration Testing for the new Airbus Aircraft Families.
TestCom 2002, Berlin, March 19th - 22th, 2002.
In I. Schieferdecker, H. König, A. Wolisz (Eds.): Testing of Communicating Systems XIV. Application to Internet Technologies and Services, Kluwer Academic Publishers, pp.335-351, 2002.
[ABSTRACT] [PS]

Jan Peleska:
Automated Testsuites for Modern Aircraft Controllers.
GI/ITG/GMM-Workshop: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, Bremen, February, 24th - 26th, 2003.
In Rolf Drechsler (ed): Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen. Shaker, Aaachen, 2003, pp.1-10. ISBN 3-8322-1202-7.
[ABSTRACT,PS]

Jan Peleska and Cornelia Zahlten:
Hard Real-Time Test Tools - Concepts and Implementation.
In Proceedings of the 4th ICSTEST, International Conference on Software Testing, Cologne, April 2-4, 2003.
[ABSTRACT] [SLIDES]

A. Tsiolakis, D. Meyer, O. Meyer, H.-J. Ficker, C. Efkemann, J. Peleska:
VICTORIA WP 3.4 -- Concept for and Realisation of Automated IMA Module Testing, User Manual and Tutorial
VICTORIA internal document, December, 2003.

O. Meyer, A. Tsiolakis, S.-O. Berkhahn, J. Kruse, D. Martinen:
Automated Testing of Aircraft Controller Modules.
5th International Conference on Software Testing, Düsseldorf, April 2004.
[ABSTRACT] [SLIDES] [LINK]

Aliki Tsiolakis:
Model-based Test Data Generation for Testing Integrated Modular Avionics.
Dagstuhl Seminar Perspectives of Model-based Testing , Schloß Dagstuhl, 5.-10.September 2004.
[ABSTRACT,SLIDES]