Approche pour l'intégration du raffinement formel dans le processus de conception des SOC - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal Européen des Systèmes Automatisés (JESA) Année : 2011

Approche pour l'intégration du raffinement formel dans le processus de conception des SOC

Hocine Mokrani
  • Fonction : Auteur
Rabea Ameur-Boulifa
Sophie Coudert
  • Fonction : Auteur
  • PersonId : 1053469

Résumé

Nous présentons une méthode de raffinement de communication prouvé dans une méthodologie de conception de systèmes sur puce (SoC). La méthodologie que nous proposons offre une approche formelle pour la modélisation et l’analyse des différents niveaux de spécification. En effet, elle fournit un moyen de construire des modèles d’architecture et d’application à différents niveaux d’abstraction. Elle permet également de vérifier formellement les modèles à chaque niveau et de relier les modèles successifs par raffinement et assurer la préservation de comportement.

Dates et versions

hal-01195919 , version 1 (08-09-2015)

Identifiants

Citer

Hocine Mokrani, Rabea Ameur-Boulifa, Emmanuelle Encrenaz, Sophie Coudert. Approche pour l'intégration du raffinement formel dans le processus de conception des SOC. Journal Européen des Systèmes Automatisés (JESA), 2011, 45 (1-3), pp.221-236. ⟨10.3166/jesa.45.221-236⟩. ⟨hal-01195919⟩
115 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More