The Bourgeois Gentleman, Engineering and Formal Methods

TL;DR

This paper discusses integrating formal methods into safety-critical systems engineering to overcome industry adoption barriers, based on practical experiences and potential solutions.

Contribution

It presents a novel approach to seamlessly incorporate formal methods into existing safety-critical systems development processes.

Findings

Formal methods face industry adoption challenges due to lack of understanding and integration issues.

The paper reports practical experiences demonstrating potential integration strategies.

It suggests that seamless integration can improve safety-critical systems engineering.

Abstract

Industrial applications involving formal methods are still exceptions to the general rule. Lack of understanding, employees without proper education, difficulty to integrate existing development cycles, no explicit requirement from the market, etc. are explanations often heard for not being more formal. This article reports some experience about a game changer that is going to seamlessly integrate formal methods into safety critical systems engineering.