Skip to Main content Skip to Navigation

Un îlot formel pour les transformations de modèles qualifiables

Abstract : Software development process is composed of steps which integrate an increasing number of tools. Development chains for critical systems (avionics, health field) have gradually adopted model-based code generation tools. This increase of complexity has consequences on critical software verification. As legal constraints require to certify them, tools used during the development have to be qualified. In this thesis, we propose to help the qualification process by providing methods and tools for liable development. To do so, we present an hybrid models transformation method based on rewriting. We rely upon Tom language which provides new features to general purposes languages by adding dedicated constructs. We also propose a traceability in order to respect qualification requirements. The generated trace can then be used for verification purpose
Complete list of metadatas

Cited literature [74 references]  Display  Hide  Download
Contributor : Thèses Ul <>
Submitted on : Thursday, March 29, 2018 - 12:59:13 PM
Last modification on : Tuesday, June 12, 2018 - 9:54:02 AM


Files produced by the author(s)


  • HAL Id : tel-01750946, version 1



Jean-Christophe Bach. Un îlot formel pour les transformations de modèles qualifiables. Autre [cs.OH]. Université de Lorraine, 2014. Français. ⟨NNT : 2014LORR0128⟩. ⟨tel-01750946⟩



Record views


Files downloads