|
> Congress /Advance Programme / Topical days / Top7
Top7: Emerging tools and Techniques for Avionics Certification
Wednesday 25 August
Organiser
Virginie Wiels, ONERA, France and Mats Heimdahl, U. Minnesota, USA
Virginie.Wiels@cert.fr
Overview
Embedded critical systems need to be validated very thoroughly. It usually results in very long and onerous test phases. New techniques and tools are emerging that could be an advantageous alternative, or at least a good complement to classical approaches and allow a significant reduction of test phases. However, for these techniques to be used in practice, one issue to consider is their efficiency on complex industrial systems.
This topical day will include presentations on experiences in using new techniques (model checking, test case generation, abstract interpretation for example) for V&V and safety analyses of critical embedded systems (at the specification and code levels).
The issue of the use of such techniques for certification purposes will be raised during some of the talks and will be the subject of the panel that will close this topical day.
Programme
 10h30 - 12h:
The role of testing in certification
The Role of Structural Coverage in Certification - Kelly J. Hayhurst (NASA Langley, USA)
Model checking and test case generation for critical embedded systems specified using SCADE - Odile Laurent (Airbus, France)
13h30 - 15h:
Architecture and automation
Safety architecture patterns - Christian Bougnol (Airbus, France) and Christel Seguin (ONERA, France)
Improving Certification Capability through Automatic Code Generation - Iain Bate, Steve Crook-Dawkins, John McDermid (U. York, UK)
15h30 - 17h30:
System validation
Proving the Shalls: An Industrial Case Study of Requirements Validation Using Formal Methods - Steven P. Miller (Rockwell Collins, USA)
Practical experiences in using static analysis for the validation of critical flight control systems - Denis Favre-Felix (Airbus, France)
Panel: Tools and Certification
|
