Formal Methods in Dependable Systems Engineering: A Survey of Professionals from Europe and North America

Abstract

Context: Formal methods (FMs) have been around for a while, still being unclear how to leverage their benefits, overcome their challenges, and set new directions for their improvement towards a more successful transfer into practice. Objective: We study the use of formal methods in mission-critical software domains, examining industrial and academic views. Method: We perform a cross-sectional on-line survey. Results: Our results indicate an increased intent to apply FMs in industry, suggesting a positively perceived usefulness. But the results also indicate a negatively perceived ease of use. Scalability, skills, and education seem to be among the key challenges to support this intent. Conclusions: We present the largest study of this kind so far (N = 216), and our observations provide valuable insights, highlighting directions for future theoretical and empirical research of formal methods. Our findings are strongly coherent with earlier observations by Austin and Parkin (1993).

arXiv commentEmpirical Software Engineering (SpringerNature), includes open answers

References in corpus (1)

• New Opportunities for Integrated Formal Methods

Cited by in corpus (9)

• Integration of Formal Proof into Unified Assurance Cases with Isabelle/SACM
• A Manifesto for Applicable Formal Methods
• Developing a Prototype of a Mechanical Ventilator Controller from Requirements to Code with ASMETA
• A User Study for Evaluation of Formal Verification Results and their Explanation at Bosch
• Risk Structures: Towards Engineering Risk-aware Autonomous Systems
• A Practical Approach to Formal Methods: An Eclipse Integrated Development Environment (IDE) for Security Protocols
• Qualification of Proof Assistants, Checkers, and Generators: Where Are We and What Next?
• Systematic Evaluation and Usability Analysis of Formal Tools for Railway System Design
• Formal Methods in Railways: a Systematic Mapping Study