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
Document type :
Theses
Complete list of metadatas

Cited literature [74 references]  Display  Hide  Download

https://hal.univ-lorraine.fr/tel-01750946
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

File

DDOC_T_2014_0128_BACH.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : tel-01750946, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

85

Files downloads

58