.

Étude sur l'intégration de protocoles de communication de données dans les circuits intégrés. Cette intégration est examinée sous deux aspects: architecture fonctionnelle et méthodologie de conception. Deux classes de circuits de communication ont été étudiés: la première traite des méthodes d'accès série et parallèle et la deuxième concerne l'implantation des couches hautes du modèle OSI : de la couche LLC d'IEEE à la couche session. La méthodologie de conception des circuits de communication est basée sur la définition et le développement des bibliothèques d'opérateurs flexibles spécialisés et des bibliothèques de modules paramétrables spécialisés

Dans cette thèse, on présente un cadre qui associe la spécification algèbrique de types à l'algèbre de programme. La principale caractéristique de cette approche est fournie par les opérateurs génériques définissables par les utilisateurs qui donnent une grande puissance d'expression aux règles d'équivalence. En particulier, la structure de certains types est contenue implicitement dans des opérateurs génériques comme l'homomorphisme et l'homomorphisme «inverse». Les applications de cette algèbre de programmes typés incluent la preuve de programmes sans induction explicite, et les méthodes de transformation de programmes comme le «folding-unfolding»

Dans le cadre du projet OPALE, ayant pour objectif la conception d'une machine base de connaissance PROLOG, on spécifie un opérateur devant réaliser l'unification au vol sur un flux de données issu d'une unité de disque. Pour améliorer les performances de l'interprétation de PROLOG dans un contexte base de connaissances, cet opérateur doit unifier non pas un mais un ensemble de buts ce, en accord avec la stratégie de recherche élaborée. On propose de décomposer l'unification en une étape de préunification suivie d'une étape d'association. Les algorithmes sont alors validés et intégrés en une maquette logicielle. Nous abordons l'aspect matériel en proposant une méthodologie de conception s'appuyant sur des notions développées dans la programmation orientée objet. Puis nous amorçons la réalisation du «circuit» à l'aide d'un compilateur de silicium

Les moyens offerts par les systèmes de gestion de base de données et les systèmes transactionnels pour maintenir la cohérence et l'intégrité des systèmes d'information sont tout d'abord analysés tant en centralisé qu'en réparti. La seconde partie est consacrée à l'étude de deux grandes classes de méthodes de conception, l'une fondée sur les modèles de description de données, l'autre sur les types abstraits. Dans chaque cas, une méthode particulière est présentée et analysée. Après présentation de l'application bancaire pilote, la troisième partie définit un modèle pour la description des applications transactionnelles. Celui-ci est appliqué et confronté à l'application pilote. La dernière partie décrit la réalisation de ce modèle dans le langage ADA. Un environnement de conception est construit et se présente comme un sur-ensemble du langage ADA. Enfin, cet outil est comparé à d'autres propositions du domaine de la recherche

Etude des spécifications du manuel utilisateur pour aboutir à la réalisation du circuit. Chaque instruction a été décomposée en un algorithme d'interprétation, en se basant sur une structure à 2 bus et une horloge à deux phases; l'objectif étant d'aboutir à une architecture régulière de la partie opérative («bit-Slice»)

Ce travail présente à la fois les méthodologies de conception et l'ensemble des outils logiciels utilises à ce jour pour concevoir des circuits à très haute intégration. Une première partie concerne la génération des parties contrôlés et propose une analyse des différentes méthodes d'implantation couramment utilisées, un formalisme pour descriptions logiques d'algorithmes de contrôle, ainsi qu'un outil logiciel pour la synthèse automatique de ces algorithmes sous forme de Plas

Le travail présenté traite d'un point de vue méthodologique nouveau, divers exemples. Pour chacun d'eux, on propose plusieurs solutions ouvrant la voie à la discussion

.

Aspects méthodologiques de la conception d'une application microprocesseur. La mise au point dans un contexte d'applications microprocesseurs. Une méthode de description de systèmes microprocesseurs : MICROD. Un périphérique d'aide au développement d'applications microprocesseurs et de supervision en temps réel : un processeur de gestion de mémoires CCD, le contrôleur disque souple, un processeur en temps réel applique au développement logiciel et matériel des applications microprocesseurs : ANALYD