Assistance au raffinement dans la conception des systèmes embarqués - PASTEL - Thèses en ligne de ParisTech Access content directly
Theses Year : 2014

Assisting formal refinement and verification in embedded system design

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.
La dernière décennie, la complexité des technologies embarqués a explosé et les flots de conception industrielle habituels ne suffisent plus pour proposer des produits fiables en respectant les exigences du marché. Ainsi, le développement de nouvelles méthodologies de conception est devenu un besoin impératif. La thèse vise l'amélioration des méthodologies de conception des systèmes embarqués. En proposant une approche de conception par niveaux d’abstraction, la nouvelle approche permet de guider et d’assister les concepteurs dans les étapes de conception, précisément de raffiner les composants de communication. Elle offre des garanties de préservation des propriétés fonctionnelles le long du flot de conception. La méthode proposée permet de raisonner sur les différents niveaux de description d'un système en exploitant des techniques de preuve de propriétés associées aux raffinement formel.
Fichier principal
Vignette du fichier
TheseMokraniV2.pdf (6.56 Mo) Télécharger le fichier
Origin : Version validated by the jury (STAR)
Loading...

Dates and versions

tel-01466740 , version 1 (13-02-2017)

Identifiers

  • HAL Id : tel-01466740 , version 1

Cite

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⟩
232 View
378 Download

Share

Gmail Facebook X LinkedIn More