DAEDALUS

Validation of critical software by static analysis and abstract testing

DAEDALUS is the shared-cost research and technology development (RTD) project IST-1999-20527 of the european IST Programme of the Fifth Framework Programme (FP5) on the « validation of software components embedded in future generation critical concurrent systems by exhaustive semantic-based static analysis and abstract testing methods based on abstract interpretation ». DAEDALUS lasted from October 1^st, 2000 to September 30^th, 2002.

European project     
Contract number: IST-1999-20527     

Project acronym: DAEDALUS

Project name: Validation of critical software by static analysis and abstract testing

Key Action, Action line: Key Action 1, 1.1.2.-4.2.1/4.3.1

Project logo:    

List of participants (organisation name, country):

• AIRBUS France, EADS Airbus, Toulouse, France (Famantanantsoa RANDIMBIVOLOLONA, co-ordinator, Jean SOUYRIS and Bernard AUGUY);
• ENS, École normale supérieure, Paris, France (Patrick COUSOT, scientific co-ordinator);

• AbsInt, AbsInt Angewandte Informatik GmbH, Saarbrücken, Germany (Christian FERDINAND);
• CEA, CEA-LETI, Commissariat à l'Énergie Atomique, Saclay, France (Éric GOUBAULT);
• CNRS-LIX, CNRS & École polytechnique, Palaiseau, France (Radhia COUSOT);
• DIKU, Datalogisk Institut, University of Copenhaguen, Denmark (Neil JONES);
• PolySpace, PolySpace Technologies, Grenoble, France (Christian HÔTE, Alain DEUTSCH, Daniel PILAUD);
• TAU, Tel-Aviv University, Computer Sciences Department, Tel-Aviv, Israel (Mooly SAGIV);
• USaar, Compiler Design Laboratory, Saarland University, Saarbrücken, Germany (Reinhart WILHELM);
• Utrier, Compilers and Languages, Computer Science Department, Universität Trier, Germany (Helmut SEIDL).

Commission funding: 2 003 495 Euro

Project main goal(s): Since present software validation techniques of concurrent, component-based, real-time software do not scale up, the consortium was built from the desire of the EADS-Airbus group in charge of software validation to explore static analysis and abstract testing. The project aims at the industrialization of methods and tools to support this new end-user methodology.

Key issues: The consortium has been built to solve major technical problems identified by the end-users by grouping world-wide recognized and renown academic european researchers from Denmark, France, Germany (& Israel) to handle mid-term problems and prototype solutions as well as two pioneering companies (AbsInt from Germany and PolySpace Technologies from France) to cope with short and medium-term R&D and industrialization.

Technical approach: The project aims at the industrialization of program static analysis and abstract testing of component-based concurrent real-time software by abstract interpretation.

Expected achievements/impact: The success of the project should open considerable market opportunities for the european industry since the methodology equally applies e.g. to avionic, medical and automotive software.

Co-ordinator contact details:

  Co-ordinator:

    Famantanantsoa RANDIMBIVOLOLONA
    BTY/W/MIS
    Direction des Systèmes et Services
    BP M8621
    EADS-Airbus
    316 route de Bayonne
    31060 TOULOUSE cedex 03 (France)
    tel: +33 5 61 93 08 25
    fax: +33 5 61 93 03 54
    email: famanta.randim@airbus.aeromatra.com

  Scientific co-ordinator:

    Patrick COUSOT
    École normale supérieure
    Département d'informatique
    45 rue d'Ulm
    F-75230 Paris cedex 05 (France)
    tel: +33 1 44 32 20 64
    fax: +33 1 44 32 21 52
    email: Patrick.Cousot@ens.fr (cousot@acm.org)
    URL: http://www.di.ens.fr/~cousot