Extension Du Langage Lustre Et Application a la Conception de Circuits » książka
Extension Du Langage Lustre Et Application a la Conception de Circuits
ISBN-13: 9786131512810 / Francuski / Miękka / 2010 / 204 str.
L'objectif de ce travail, est l'etude des applications possibles du langage declaratif synchrone Lustre a la description de circuits materiels, et plus particulierement, etant donne ses caracteristiques, son aspect flot de donees notamment, aux chemins de donnees. Par rapport aux systemes temps reels, dont la programmation et la verification constituent le domaine d'application privilegie de ce langage, les circuits synchrones sont generalement beaucoup plus reguliers mais egalement de taille plus importante. Afin de permettre une description aisee de ces applications, une extension de Lustre a ete developpee. Elle ajoute au langage, tout en conservant sa semantique rigoureuse: des donnees structurees et les operateurs permettant leur manipulation, une notion de sous programmes generiques, la recursivit'e bornee. Le systeme Pollux a ensuite ete d'eveloppe autour de ce langage, il se decompose en: 1) un pre-compilateur charge de l'analyse semantique d'un programme. afin de s'assurer de sa consistance. 2) Divers post-processeurs dont le principal est un generateur de circuits synchrones implantes ensuite sur la Pam, une machine a base de circuits prediffuses programmables."
Lobjectif de ce travail, est létude des applications possibles du langage déclaratif synchrone Lustre à la description de circuits matériels, et plus particulièrement, étant donné ses caractéristiques, son aspect flot de donées notamment, aux chemins de données. Par rapport aux systèmes temps réels, dont la programmation et la vérification constituent le domaine dapplication privilégié de ce langage, les circuits synchrones sont généralement beaucoup plus réguliers mais également de taille plus importante. Afin de permettre une description aisée de ces applications, une extension de Lustre a été développée. Elle ajoute au langage, tout en conservant sa sémantique rigoureuse: des données structurées et les opérateurs permettant leur manipulation, une notion de sous programmes génériques, la récursivite bornée. Le système Pollux a ensuite été developpé autour de ce langage, il se décompose en: 1) un pre-compilateur chargé de lanalyse sémantique dun programme. afin de sassurer de sa consistance. 2) Divers post-processeurs dont le principal est un générateur de circuits synchrones implantés ensuite sur la Pam, une machine à base de circuits prédiffusés programmables.
Czytaj nas na:
KrainaKsiazek.PL - Księgarnia Internetowa
