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
Tags & Categories
etablissement
université
affiliation
batna
informatique
mustafa
boulaid
langage
descriptions
systemc
universitÉ
Établissement
memoires
univérsité
d’études
établissement
établissement
établissement
departement
universite
affiliation
d’etudes
département
directeur
etablissement
l’informatique
mémoires
université