Assistance au raffinement dans la conception des systèmes embarqués - PASTEL - Thèses en ligne de ParisTech Accéder directement au contenu
Thèse Année : 2014

Assisting formal refinement and verification in embedded system design

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

Résumé

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
Origine : Version validée par le jury (STAR)
Loading...

Dates et versions

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

Identifiants

  • HAL Id : tel-01466740 , version 1

Citer

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 Consultations
376 Téléchargements

Partager

Gmail Facebook X LinkedIn More