Paper Info
Title
Study on the Barriers to the Industrial Adoption of Formal Methods
Abstract
The authors conducted an informal survey of contractors, customers, and certification authorities in the United States aerospace domain to identify barriers to the adoption of formal methods and suggested mitigations for those barriers. We surveyed 31 individuals from the following nine organizations: United States Army, Boeing, FAA, Galois, Honeywell, Lockheed Martin, NASA, Rockwell Collins, and Wind River. The top three barrier categories were education, tools, and the industrial environment (i.e., non-technical barriers with respect to personnel changes, contracts, and schedules) The top three mitigation categories were education, improving tool integration, and creating and disseminating evidence of the benefits of formal analysis. Strategies to accelerate adoption of formal methods include making formal methods a part of the undergraduate software engineering curriculum, hosting courses in formal methods for working engineers, funding the integration of tools, funding improvements to tool interfaces, and promoting/requiring the use of formal methods on future contracts.
Year
DOI
Venue
2013
10.1007/978-3-642-41010-9_5
FMICS
Keywords
Field
DocType
certification,formal methods
Aerospace,Computer science,Simulation,Engineering management,Theoretical computer science,Dissemination,Schedule,Software engineering curriculum,Formal methods,Certification
Conference
Volume
ISSN
Citations 
8187
0302-9743
8
PageRank 
References 
Authors
0.62
6
9
Name
Order
Citations
PageRank
Jennifer A. Davis1191.73
Matthew Clark2143.53
Darren D. Cofer321420.08
Aaron Fifarek4161.94
Jacob Hinchman580.62
Jonathan Hoffman680.96
Brian Hulbert780.62
Steven P. Miller856156.48
Lucas Wagner9151.23