On the Goodness of Fit for High-Integrity Systems: Reflections on the Design and Evolution of Model-Driven Tools

Abstract. The reflections presented in this paper stem from an inte-grated industrial and academic R&D project that aimed at the devel-opment and use of model-based support for the design of high-integrity applications. We discuss some observations on and lessons learned from the difficulties encountered in the project in the pursuit of that goal. We focus in particular on the evolution of the tool infrastructure, the learning curve for users, the optimization of the transformation results.