Balancing Insight and Effort: the Industrial Uptake of Formal Methods (2007)
| Venue: | FORMAL METHODS AND HYBRID REAL-TIME SYSTEMS, ESSAYS IN HONOUR OF DINES BJØRNER AND CHAOCHEN ZHOU ON THE OCCASION OF THEIR 70TH BIRTHDAYS, VOLUME 4700, SPRINGER, LECTURE NOTES IN COMPUTER SCIENCE (SEPTEMBER 2007) 237–254 ISBN |
| Citations: | 3 - 2 self |
BibTeX
@INPROCEEDINGS{Fitzgerald07balancinginsight,
author = {John Fitzgerald and Peter Gorm Larsen},
title = { Balancing Insight and Effort: the Industrial Uptake of Formal Methods},
booktitle = {FORMAL METHODS AND HYBRID REAL-TIME SYSTEMS, ESSAYS IN HONOUR OF DINES BJØRNER AND CHAOCHEN ZHOU ON THE OCCASION OF THEIR 70TH BIRTHDAYS, VOLUME 4700, SPRINGER, LECTURE NOTES IN COMPUTER SCIENCE (SEPTEMBER 2007) 237–254 ISBN},
year = {2007},
publisher = {}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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.
