14 - 16 September, 2016
Radisson BLU Hotel, Hamburg Airport, Hamburg, Germany


Workshop A

12:00 pm - 11:59 pm DO-330 Tool qualification
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

Workshop B

12:00 pm - 11:59 pm DO-333 Formal Methods - A practical guideline
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

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