Industrial deployment of system engineering methods providing high dependability and productivity


An Collaborative FAQ Approach for Collecting Evidence on Formal Method Industrial Usage

Deprez, Jean-Christophe and Ponsard, Christophe (2012) An Collaborative FAQ Approach for Collecting Evidence on Formal Method Industrial Usage. In: DEPLOY Federated Event (Industry Day).


Official URL:


After several decades, formal methods are gaining ground in Industry. However, as pointed out by the results of Woodcock et al’s survey, formal methods still need significant additional effort in several areas, most notably in collecting evidence on the use of formal methods and tools in Industry. Such material is crucial for helping companies considering the adaption of formal methods in their decision and deployment process. This talk presents a practical approach for building a repository of evidence material. The main benefits of the proposed approach are first to make it possible to integrate information for many Industry pilots that have tested diverse formal methods. The secondary benefit is that the current implementation of the repository as a wiki of that project is simple yet efficient in managing access but also contribution rights. We highlight different usage scenarios both as passive user, from different roles in the organization, and as contributors, either to point out missing material or as provider of new material.

Item Type:Conference or Workshop Item (Speech)
Subjects:Industrial Deployment
ID Code:376
Deposited By: Ir Christophe Ponsard
Deposited On:15 Mar 2012 09:44
Last Modified:15 Mar 2012 09:44

Repository Staff Only: item control page

Deploy-Project - All right reserved