- Ada 2012
- Ada 2005 / 95 / 83
- Embedded Development
- Formal Methods
- Open Source
- Safety-Critical Development
- Static Analysis
Dec 16th, 2009
Open-DO conference 2010
Combining Formality with Agility for Critical Software Development
Event Date and Location: March 11, 2010 - Paris, France
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 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.
Speakers include Paul Boca, Jim Woodcock, Herve Delseny, Peter Gardner, Rod Chapman, Cyrille Comar.