Industrial Deployment of Formal Methods: Trends and Challenges

Fitzgerald, J; Bicarregui, J; Larsen, PG; Woodcock, J

doi:10.1007/978-3-642-33170-1_10

Industrial Deployment of Formal Methods: Trends and Challenges

Lookup NU author(s): Professor John Fitzgerald, Dr Peter Larsen

Downloads

Full text for this publication is not currently held within this repository. Alternative links are provided below where available.

Abstract

The DEPLOY project has provided a rare opportunity to explore and document the potential benefits of and challenges to creating and exploiting usable formal methods. Using the results of an updated review of 98 industrial applications, we identify trends relating to analytic power, robustness, stability and usability of tools, as well as to the quality of evidence on costs and benefits of deployment. A consideration of the DEPLOY applications reinforces these trends, additionally emphasising the importance of selecting formalisms suited to the problem domain and of effectively managing traceable links between requirements and models.