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

Assistance au raffinement dans la conception des systèmes embarqués (Document en Français)

Accès au(x) document(s)

Accéder au(x) document(s) :

Ce document est protégé en vertu du Code de la Propriété Intellectuelle.

Modalités de diffusion de la thèse :

Thèse consultable sur internet, en texte intégral.

Informations sur les contributeurs

Auteur : Mokrani Hocine

Mokrani, Hocine

Nom

Mokrani

Prénom

Hocine

Nationalité

Français

Date de soutenance : 10-06-2014

Directeur(s) de thèse : Ameur-Boulifa Rabéa

Ameur-Boulifa, Rabéa

Nom

Ameur-Boulifa

Prénom

Rabéa

- Encrenaz Emmanuelle

Encrenaz, Emmanuelle

Nom

Encrenaz

Prénom

Emmanuelle

Etablissement de soutenance : Paris, ENST

Paris, ENST

Nom

Paris, ENST

Laboratoire : Laboratoire Traitement et communication de l'information (Paris ; 2003-....)

Laboratoire Traitement et communication de l'information (Paris ; 2003-....)

Nom

Laboratoire Traitement et communication de l'information (Paris ; 2003-....)

Ecole doctorale : École doctorale Informatique, télécommunications et électronique de Paris (1992-...)

École doctorale Informatique, télécommunications et électronique de Paris (1992-...)

Nom

École doctorale Informatique, télécommunications et électronique de Paris (1992-...)

Informations générales

Discipline : Electronique et communications
Classification : Sciences de l'ingénieur

Mots-clés libres : Systèmes embarqués, Modèle formel, Raffinement formel, Propriétés linéaires
Mots-clés :

Systèmes embarqués (informatique)
Conception de systèmes informatiques
Méthodes formelles (informatique)

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.

Informations techniques

Type de contenu : Text
Format : PDF

Informations complémentaires

Entrepôt d'origine :

STAR : dépôt national des thèses électroniques françaises

Identifiant : 2014ENST0029
Type de ressource : Thèse

Fiche descriptive