Skip to Main content Skip to Navigation

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 :
Complete list of metadata

Cited literature [103 references]  Display  Hide  Download
Contributor : Abes Star :  Contact
Submitted on : Monday, February 13, 2017 - 5:00:47 PM
Last modification on : Friday, October 23, 2020 - 5:02:26 PM
Long-term archiving on: : Sunday, May 14, 2017 - 4:48:35 PM


Version validated by the jury (STAR)


  • HAL Id : tel-01466740, version 1



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⟩