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

Résumé : 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.
Type de document :
Thèse
Systèmes embarqués. Télécom ParisTech, 2014. Français. 〈NNT : 2014ENST0029〉
Liste complète des métadonnées

Littérature citée [103 références]  Voir  Masquer  Télécharger

https://pastel.archives-ouvertes.fr/tel-01466740
Contributeur : Abes Star <>
Soumis le : lundi 13 février 2017 - 17:00:47
Dernière modification le : jeudi 11 janvier 2018 - 06:23:39
Document(s) archivé(s) le : dimanche 14 mai 2017 - 16:48:35

Fichier

TheseMokraniV2.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-01466740, version 1

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〉

Partager

Métriques

Consultations de la notice

115

Téléchargements de fichiers

114