Skip to Main content Skip to Navigation
Theses

Méthodologie de conception d'architectures numériques complexes : du formalisme à l’implémentation en passant par l'analyse, préservation de la conformité. Application aux neuroprothèses

Abstract : In this thesis, the conception of digital complex systems, and notably of critical embedded systems, is discussed through a methodology which goes from formal modeling to the implementation on a FPGA: the HILECOP methodology. This methodology offers, to a designer, the possibility of representing in a formal model from one hand the digital architecture thanks to some components' assembly, and on the other hand the behavior of these components and their composition, thanks to time Petri nets. The described model is then automatically transformed in an implementable model (in the VHDL language) for its execution on a hardware target, but also in an analyzable model to allow some formal analysis on system properties to be performed. The two main goals of the presented work are the study of the behavioral conformity between the different models used in the methodology (designed model, implementable model and analyzable model) and the integration of an efficient mechanism for handling exception. These works allow to have a more reliable implementation of the model and to obtain a more relevant analyzable model. It is now possible to guarantee that the behavior of the designed model is included in the analyzed one. The risk of combinatorial explosion has also been reduced to some extent. The limits of the relevance of the obtained results thanks to the formal analysis are henceforth known. As for exception handling, it has been mostly studied on the behavioral level. The mechanism of the macroplace has been chosen and adapted to meet the functional and non-functional constraints of critical embedded systems. The benefits given by the use of the macroplace and the preservation of the conformity between the models have been validated on industrial models relative to the digital architecture of neuroprosthetics.
Document type :
Theses
Complete list of metadatas

Cited literature [22 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-01766458
Contributor : Abes Star :  Contact
Submitted on : Friday, April 13, 2018 - 4:05:08 PM
Last modification on : Thursday, June 13, 2019 - 1:30:02 AM

File

41557_LEROUX_2014_archivage_co...
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01766458, version 1

Collections

Citation

Hélène Leroux. Méthodologie de conception d'architectures numériques complexes : du formalisme à l’implémentation en passant par l'analyse, préservation de la conformité. Application aux neuroprothèses. Automatique / Robotique. Université Montpellier II - Sciences et Techniques du Languedoc, 2014. Français. ⟨NNT : 2014MON20163⟩. ⟨tel-01766458⟩

Share

Metrics

Record views

442

Files downloads

243