OATAO - Open Archive Toulouse Archive Ouverte Open Access Week

Industrial grade model checking: use Cases, constraints, tools and applications

Clabaut, Mathieu and Ge, Ning and Breton, Nicolas and Jenn, Eric and Delmas, Rémi and Fonteneau, Yoann Industrial grade model checking: use Cases, constraints, tools and applications. (2016) In: ERTS2 2016 (Embedded Real Time Software and Systems), 27 January 2016 - 29 January 2016 (Toulouse, France).

(Document in English)

PDF (Author's version) - Requires a PDF viewer such as GSview, Xpdf or Adobe Acrobat Reader


Model checking has made a lot of progress since its infancy. For a long time, industrial applications were still limited to some very specific domains out of which the technique bumps into the state explosion wall. Nowadays things evolve and some tools are able to tackle real world use cases outside of the known domains. We give here the feedback collected when using model checking on several industrial strength use cases and give indication on how we take into account the specific domain constraints.

Item Type:Conference or Workshop Item (Paper)
Audience (conference):International conference proceedings
Uncontrolled Keywords:
Institution:French research institutions > Office National d'Etudes et Recherches Aérospatiales - ONERA (FRANCE)
Other partners > IRT Saint Exupéry - Institut de Recherche Technologique (FRANCE)
Other partners > SYSTEREL (FRANCE)
Deposited On:17 Jul 2017 07:57

Repository Staff Only: item control page