Assistance au raffinement dans la conception des systèmes embarqués

Abstract : In the last decade, the complexity of embedded systems has exploded and the usual industrial design flows do not suffice any more to propose reliable products while respecting time to market constrain. Thus, developing new design methodologies has become an imperative. The thesis aims at the improvement of the methodologies of conception of the embedded systems. It proposes a method for assisting the process of refinement along the design flow. The proposed approach splits the design flow into multiple-levels, in order to guide the designer in the design process, from the most abstract model down to a synthesizable model. Furthermore, by using formal techniques the method allows to check the preservation of functional correctness along the design flow.
Document type :
Theses
Complete list of metadatas

Cited literature [103 references]  Display  Hide  Download

https://pastel.archives-ouvertes.fr/tel-01466740
Contributor : Abes Star <>
Submitted on : Monday, February 13, 2017 - 5:00:47 PM
Last modification on : Thursday, October 17, 2019 - 12:36:10 PM
Long-term archiving on : Sunday, May 14, 2017 - 4:48:35 PM

File

TheseMokraniV2.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-01466740, version 1

Collections

Citation

Hocine Mokrani. Assistance au raffinement dans la conception des systèmes embarqués. Systèmes embarqués. Télécom ParisTech, 2014. Français. ⟨NNT : 2014ENST0029⟩. ⟨tel-01466740⟩

Share

Metrics

Record views

196

Files downloads

206