Mémoires de Fin d’Etudes
Etablissement
Université de Batna 2 - Mustafa Ben Boulaid
Affiliation
Département de l’Informatique
Auteur
RIADH, Hocine
Directeur de thèse
Kalla, Hamoudi (Maitre de conférence)
Filière
Informatique
Diplôme
Doctorat
Titre
Une méthodologie de conception automatique de modèles formels pour des descriptions System C
Mots clés
systèmes embarqués, langages de description, méthodes formelles, vérification fonctionnelle
Résumé
L’objectif de ce travail de recherche est donc d’étudier la possibilité de traduction automatique des descriptions SYSTEMC vers des descriptions formelles. Dans ce but, nous avons choisi comme cible le langage formel SIGNAL, destiné aux systèmes embarqués nous présenterons SYSTEMC qui est un langage de description de matériel. Nous décriverons en détail le langage SYSTEMC sur les plans : architectural, syntaxique, sémantique ainsi que son noyau de simulation. Ce langage constitue le cadre de nos travaux
Date de soutenance
2013
Cote
D/004/015
Pagination
135 p.
Illusatration
ill.
Format
29 cm.
Notes
Bibliographie
Statut
Soutenue