See what you missed. Videos now available!
Over the coming weeks we'll be posting a series of videos shot at the recent Open-DO Conference. We've just posted the first of 6 talks, which starts with Paul Boca from Hornbill Systems Ltd, who makes the case that formal methods can complement agile practices and vice versa.
We'll be posting a new video every week. You can view the first talk now on the Open-DO home page.Combining Formality with Agility for Critical Software Development
Conference Date and Location: March 11, 2010 - Club Confair - Auditorium Vivaldi, 54 rue Lafitte, 75009 Paris, France.
This event is free of charge and places will be attributed on a first-come-first-served basis.
Agile methods promote a disciplined project management process that encourages frequent inspection and adaptation, a leadership philosophy that encourages teamwork, self-organization and accountability, a set of engineering best practices that allow for rapid delivery of high-quality software, and a business approach that aligns development with customer needs and company goals. Formal Methods and tools promise to find tough corner-case bugs and provide exhaustive proofs of software properties, based on mathematical techniques that are used both for the specification of properties and their verification. Although formal methods and tools don't necessarily require PhDs in formal verification, they definitely require some expertise: someone has to know the tool well, understand how to write good formal properties, and know what to do when proofs don't complete.
This conference brings together experts from the two fields and asks the question "Can Formality and Agility be combined?" to develop software that has to reach the highest levels of safety and security. Talks will examine the theoretical consolidation between these software development principles and industrial case studies will show how they are used in practice.
Agenda (doors open at 09:30, the event will close with a cocktail at 17:00):
Morning session:
Paul Boca - Formal Versus Agile: Survival of the Fittest?
Jim Woodcock - Formal Methods: An Extensive Survey of Practice and Experience
Cyrille Comar - Open-DO Update
Afternoon session:
Herve Delseny - Formal Method for Avionics Software Verification
Peter Gardner - Agile Methods and Safety-Critical Software
Neil White - The Use of Formal Methods on the iFACTS Air Traffic Control project