Workshop A

12:00 PM - 11:59 PM DO-330 Tool qualification

Frederic Pothon, Expert in Software Aspects of Certification, ACG Solutions
After a short presentation of the tool qualification principles, this workshop will be a unique opportunity to share experiences on tool qualification, possible certification credit claimed and technical issues:
• Clarifications on the tool qualification criteria and tool qualification levels
• COTS tool qualification aspects
• Qualification and use of an autocode generator


Frederic Pothon

Expert in Software Aspects of Certification
ACG Solutions
This workshop will present the Formal Methods supplement of DO-178C/ED-12C and industrial applications of such methods in replacement of test.
Join this discussion forum if you are interested in
• Guidance to model-based development and verification
• The impact when replacing testing with formal methods
• Model simulation, constrains and opportunities


Holger Schlingloff

Chief Scientist, System Quality Centre
Fraunhofer FOKUS - Institute for Open Communication Systems

Workshop C

12:00 PM - 11:59 PM DO-331 Model-based Development

In this sessions you will have the opportunity to gain further insights into the DO-331 supplement of DO-178. Take advantage of the 2.5 hours long session to discuss your challenges in
• Familiarizing yourself to model-based design
• Transitioning to model-based design
• Guidance through DO-331