> Congress /Final Programme / Topical days / Top7

Top7: Emerging tools and Techniques for Avionics Certification

Wednesday 25 August

Room

Ariane 2

Organiser

Virginie Wiels (ONERA, France) and Mats Heimdahl (U. Minnesota, USA)

Programme

10h30 - 12h: The role of testing in certification

Chair: Mats Heimdahl (U. Minnesota, USA)

The Role of Structural Coverage in Certification - Kelly J. Hayhurst (NASA Langley, USA)

Formal Proof and Test Case Generation for Critical Embedded Systems using SCADE - Odile Laurent (Airbus, France), Guy Durrieu, Christel Seguin, Virginie Wiels (ONERA, France)

13h30 - 15h: Architecture and automation

Chair: Christel Seguin (ONERA, France)

Safety Assessment with Altarica, Lessons Learnt Based on two Aircraft System studies - Christian Bougnol, Jean-Pierre Heckmann, Sylvain Metge (Airbus, France), Pierre Bieber, Charles Castel, Christophe Kehren, Christel Seguin (ONERA, France)

Improving Certification Capability through Automatic Code Generation Neil Audsley, Iain Bate, Steven Crook-Dawkins, John McDermid (U. York, UK)

15h30 - 17h30: System Validation

Chair: Virginie Wiels (ONERA, France)

Early Validation of Requirements: A Case Study using Formal Methods - Steven P. Miller (Rockwell Collins, USA), Mats P.E. Heimdahl (U. Minnesota, USA)

Proof of Properties in Avionics - Jean Souyris, Denis Favre-Felix (Airbus, France)

Panel:

Tools and Certification

Moderator : Gérard Ladier (Airbus, France)

Participants : Kelly J. Hayhurst, Odile Laurent, Jean-Pierre Heckmann, Iain Bate, Steven P. Miller, Pascal Chaumont (Airbus, France)