Toggle Main Menu Toggle Search

Open Access padlockePrints

Balancing Insight and Effort: the Industrial Uptake of Formal Methods

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


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


This paper is a contribution to the Festschrift marking the 70th birthdays of Prof. Dines Bjoerner and Prof. Zhou Chaochen. Our goal is to help the developers of computer-based systems to make informed design decisions on the basis of insights gained from the rigorous analysis of abstract system models. The early work on model-oriented specification has inspired the development of numerous formalisms and tools supporting modelling and analysis. There are also many stories of successful industrial application, often driven by a few champions possessing deep a priori understanding of formalisms. There are fewer cases of successful take-up or adoption of the technology in the long term.We argue that successful industrial adoption of this technology requires that potential users strike a balance between the effort expended in producing and analysing a model and insight gained. In order to support this balancing act, tools need to offer a range of levels of effort and insight. Further, educators need to recognise that training in formal development techniques must support this trade-off process.

Publication metadata

Author(s): Fitzgerald JS, Larsen PG

Editor(s): Jones, CB; Liu, Z; Woodcock, JCP

Publication type: Conference Proceedings (inc. Abstract)

Publication status: Published

Conference Name: Formal Methods and Hybrid Real-Time Systems, Essays in Honour of Dines Bjørner and Chaochen Zhou on the Occasion of Their 70th Birthdays

Year of Conference: 2007

Number of Volumes: 1

Pages: 237-254

ISSN: 0302-9743 (Print) 1611-3349 (Online)

Publisher: Springer


DOI: 10.1007/978-3-540-75221-9_10

Library holdings: Search Newcastle University Library for this item

Series Title: Lecture Notes in Computer Science

ISBN: 9783540752202