The Use of Formal Methods on the iFACTS ATCl project pt1 (Neil White)

This talk provides an overview of the formal methods used on the iFACTS project. iFACTS is delivering increased Air Traffic Control capability to the UK. This is achieved through the elimination of paper flight strips, and consequently improved aircraft conflict detection and the provision of "what if" functionality. The project uses a mix of formal methods including a specification in Z, an implementation in SPARK Ada, and algorithm modelling in Mathematica. The talk will cover the challenges and successes of deploying formal methods industrially on a project of over 120 engineers in three countries.

Category:

Science & Technology

Tags:

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