Agile Methods and Safety-Critical Software pt1 (Peter Gardner)

This talk surveys Agile methods and formulates a list of features that occur in these methods, then considers whether each of the features can be applied in the field of safety-critical software development. The talk concludes that almost all of the features of Agile methods are applicable to safety-critical software but that existing standards are a problem for Agiles de-emphasis of design and documentation. The talk will also look for quantitative evidence in the published literature for the benefits of Agile methods in software development in general, and surveys various published opinions on Agiles application to safety-critical software development.

Category:

Science & Technology

Tags:

• Formal methods
• Agile programming
• DO-178b
• Open-DO
• safety-crtical
• software development
• Ada
• software certification