skip to main content

Étude d'une sémantique de la réactivité : variations autour du modèle synchrone et application aux systèmes embarqués

Boniol, Frédéric ; Lecussan, Bernard

S.l : s.n., 1997

Voir les exemplaires

  • Titre:
    Étude d'une sémantique de la réactivité : variations autour du modèle synchrone et application aux systèmes embarqués
  • Auteur: Boniol, Frédéric
  • Autre(s) auteur(s): Lecussan, Bernard
  • Sujets: SYSTEME EMBARQUE;
    SYNCHRONISATION;
    LANGAGE SYNCHRONE;
    LANGAGE LUSTRE;
    LANGAGE ESTEREL;
    Preuve de programme;
    H-LOGICIEL
  • Description: Thèse de doctorat
    LA CONCEPTION ET LA MAITRISE DES SYSTEMES EMBARQUES CONSTITUENT UN DEFI MAJEUR DONT L'IMPORTANCE VA CROISSANTE AVEC L'ESSOR DES AERONEFS MODERNES. LA COMPLEXITE DE CES SYSTEMES RESIDE ESSENTIELLEMENT DANS LEUR CARACTERE A LA FOIS CRITIQUE, TEMPS-REEL ET DISTRIBUE. FACE A CETTE COMPLEXITE, DES AVIONEURS TELS QUE AEROSPATIALE OU DASSAULT-AVIATION ONT CHOISI LES APPROCHES SYNCHRONES LUSTRE ET ESTEREL POUR LA SPECIFICATION DES EQUIPEMENTS D'UNE ARCHITECTURE AVIONIQUE. OR S'IL EST EFFECTIVEMENT ADMIS QUE CES LANGAGES SONT DE BONS CANDIDATS POUR LA SPECIFICATION DE SYSTEMES REACTIFS CONCEPTUELLEMENT CENTRALISES, IL PEUT PARAITRE PLUS DISCUTABLE DE CONSTRUIRE GLOBALEMENT EN LUSTRE OU ESTEREL UN SYSTEME AVIONIQUE COMPLET PAR NATURE LARGEMENT DECENTRALISE. L'OBJECTIF DE CETTE THESE ET DE TENTER D'APPORTER UN ELEMENT DE REPONSE A CETTE DIFFICULTE APPARENTE AU TRAVERS D'UN MODELE MULTI-FORMALISMES REPOSANT D'UNE PART SUR LES LANGAGES LUSTRE ET ESTEREL, ET D'AUTRE PART SUR UNE SEMANTIQUE DE LA CONCURRENCE SYNCHRONE FAIBLE. L'IDEE PROPOSEE CONSISTE D'UNE PART A CONSTRUIRE UN SYSTEME REPARTI, TEL QU'UN SYSTEME AVIONIQUE, SOUS LA FORME D'UN ENSEMBLE DE PROCESSUS REACTIFS COMMUNICANTS SPECIFIES SEPAREMENT EN LUSTRE ET ESTEREL, ET D'AUTRE PART A ASSEOIR LA COMMUNICATION ET LA CONCURRENCE SUR UNE HYPOTHESE SIMPLIFICATRICE CONSISTANT A CONSIDERER QUE CES PROCESSUS (A) SONT SYNCHRONES AVEC UNE HORLOGE GLOBALE, (B) REAGISSENT SIMULTANEMENT A CHAQUE TICK DE CETTE HORLOGE, ET (C) COMMUNIQUENT EN DIFFUSANT DES SIGNAUX ET/OU DES FLOTS DE DONNEES, CETTE DIFFUSION DURANT UNE UNITE DE TEMPS DE L'HORLOGE DE BASE. L'INTERET ESCOMPTE DE CETTE APPROCHE EST D'OFFRIR UN CADRE SIMPLE ET RIGOUREUX POUR LA CONCEPTION DE SYSTEMES EMBARQUES REPARTIS, INTEGRANT DES FORMALISMES DE CONCEPTION PROCHES DE CEUX UTILISES PAR LES AVIONEURS, TOUT EN REPONDANT AUX EXIGENCES INHERENTES A CE DOMAINE, I.E. LE DETERMINISME, LA MODULARITE, ET LES BESOINS DE VERIFICATION.
  • Éditeur: S.l : s.n.
  • Date de publication: 1997
  • Format: v-261 .p : ill. ; 30 cm
  • Langue: Français
  • Source: Mines ParisTech (catalogue)

Recherche dans les bases de données distantes en cours. Merci de patienter.

  • Recherche
  • dansscope:(33PSL-CNSAD),scope:(33PSL-EHESS),scope:(33PSL-PSL_OMEKA),scope:(33PSL-MINES),scope:(33PSL-EFEO),scope:(33PSL-CNSMDP),scope:(33PSL-CHIMIE),scope:(33PSL),scope:("DAU"),scope:(33PSL-CDF),scope:(33PSL-ENS),scope:("33PSL-OBSERV"),scope:("33PSL-ESPCI"),scope:(33PSL-CURIE),scope:(33PSL-ENSBA),scope:("33PSL-ENC"),scope:(33PSL-PSL_STAR),scope:(33PSL-PSL_SFX),scope:("33PSL-EPHE"),scope:(33PSL-ENSAD),primo_central_multiple_fe
  • Afficher ce qui a déjà été récupéré