Industrial deployment of formal methods: Trends and challenges

John Fitzgerald; Juan Bicarregui; Peter Gorm Larsen; Jim Woodcock

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

Industrial deployment of formal methods: Trends and challenges

John Fitzgerald^*, Juan Bicarregui, Peter Gorm Larsen, Jim Woodcock

^*Corresponding author for this work

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Chapter

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.

Original language	English
Title of host publication	Industrial Deployment of System Engineering Methods
Publisher	Springer
Pages	123-143
Number of pages	21
Volume	9783642331701
ISBN (Electronic)	9783642331701
ISBN (Print)	3642331696, 9783642331695
DOIs	https://doi.org/10.1007/978-3-642-33170-1_10
Publication status	Published - 1 Jul 2013

Bibliographical note

Publisher Copyright:
© 2013 Springer-Verlag Berlin Heidelberg. All rights are reserved.

Access to Document

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

Cite this

@inbook{974a6a9a3993437aa305da28af1f586d,

title = "Industrial deployment of formal methods: Trends and challenges",

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.",

author = "John Fitzgerald and Juan Bicarregui and Larsen, {Peter Gorm} and Jim Woodcock",

note = "Publisher Copyright: {\textcopyright} 2013 Springer-Verlag Berlin Heidelberg. All rights are reserved.",

year = "2013",

month = jul,

day = "1",

doi = "10.1007/978-3-642-33170-1_10",

language = "English",

isbn = "3642331696",

volume = "9783642331701",

pages = "123--143",

booktitle = "Industrial Deployment of System Engineering Methods",

publisher = "Springer",

address = "Germany",

}

TY - CHAP

T1 - Industrial deployment of formal methods

T2 - Trends and challenges

AU - Fitzgerald, John

AU - Bicarregui, Juan

AU - Larsen, Peter Gorm

AU - Woodcock, Jim

PY - 2013/7/1

Y1 - 2013/7/1

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84930267851&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-33170-1_10

DO - 10.1007/978-3-642-33170-1_10

M3 - Chapter

AN - SCOPUS:84930267851

SN - 3642331696

SN - 9783642331695

VL - 9783642331701

SP - 123

EP - 143

BT - Industrial Deployment of System Engineering Methods

PB - Springer

ER -

Industrial deployment of formal methods: Trends and challenges

Abstract

Bibliographical note

Access to Document

Other files and links

Cite this