Download or read book Outil pour l aide a la conception conjointe des systemes materiel logiciel written by Fabrice Muller and published by . This book was released on 2000 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Mod lisation Conjointe Logiciel Mat riel de Syst mes Temps R el written by Taha-S and published by Omn.Univ.Europ.. This book was released on 2018-02-28 with total page 168 pages. Available in PDF, EPUB and Kindle. Book excerpt: Ce travail de th se porte sur la co-mod lisation logiciel/mat riel des syst mes embarqu s temps-r el, et plus pr cis ment, sur la prise en charge du mat riel dans la mod lisation du logiciel. Il nous a fallu, de ce fait, marier plusieurs domaines de comp tence dont l'ing nierie dirig e par les mod les, la conception d'applications temps-r el (m thodologies, analyses, noyaux temps-r el...), le d veloppement du mat riel embarqu (mod lisation, simulation, implantation...), l'int gration logiciel/mat riel (allocation, ad quation, validation...), etc. Nous avons donc explor toutes ces disciplines pour accumuler l' tat de l'art n cessaire. Nous nous sommes vite rendu compte du grand nombre de probl matiques non r solues et de pratiques de conception d pass es ou insuffisantes vu le rythme d' volution impos par l'industrie. Apr s un positionnement vis vis de l'existant, nous avons introduit au fur et mesure l'ensemble de nos contributions.

Download or read book ARCHITECTURE GENERIQUE ET SYNTHESE DES COMMUNICATIONS POUR LA CONCEPTION CONJOINTE DE SYSTEMES EMBARQUES LOGICIEL MATERIEL written by GUY.. GOGNIAT and published by . This book was released on 1997 with total page 191 pages. Available in PDF, EPUB and Kindle. Book excerpt: LES PROGRES TECHNOLOGIQUES CONSTANTS DANS LES DOMAINES DES ASIC ET DES CURS DE PROCESSEURS PERMETTENT D'INTEGRER DES SYSTEMES EMBARQUES DE COMPLEXITE CROISSANTE AU SEIN D'UN MEME CIRCUIT. PAR AILLEURS, DEPUIS QUELQUES ANNEES L'UTILISATION DE SYSTEMES EMBARQUES DEVIENT REGULIERE DANS DE NOMBREUX DOMAINES D'APPLICATION. LEURS IMPLEMENTATIONS NECESSITENT GENERALEMENT LA MISE EN UVRE DE COMPOSANTS HETEROGENES ET LA VERIFICATION DE CONTRAINTES DE CONCEPTION SEVERES (E.G., SURFACE, PERFORMANCE, CONSOMMATION). DE PLUS, LES EXIGENCES DES UTILISATEURS ENTRAINE LA DIMINUTION DES DUREES DE VIE DE CES SYSTEMES EMBARQUES. AINSI, L'IMPORTANCE DE LA CONCEPTION CONJOINTE LOGICIEL/MATERIEL CROIT FORTEMENT AFIN D'AIDER LES CONCEPTEURS A RESPECTER LES CONTRAINTES DE TIME TO MARKET. LA CONCEPTION DES INTERFACES DE COMMUNICATION ENTRE LES COMPOSANTS LOGICIELS ET MATERIELS DE L'ARCHITECTURE GARANTISSANT DES TRANSFERTS DE DONNEES ET DE CONTROLE CORRECTS EST PARTICULIEREMENT LONGUE ET DIFFICILE. AINSI, SUR LA BASE D'UNE ARCHITECTURE GENERIQUE DEDIEE AUX APPLICATIONS EMBARQUEES DE TELECOMMUNICATION ET DE MULTIMEDIA, NOUS PROPOSONS UNE METHODE DE SYNTHESE DES COMMUNICATIONS QUI REALISE LA CARACTERISATION ET L'IMPLEMENTATION DES COMMUNICATIONS DANS L'ARCHITECTURE FINALE. CETTE METHODE PREND PLACE APRES LES ETAPES DE PARTITIONNEMENT ET D'ORDONNANCEMENT ET PEUT CONSTITUER LES FONDEMENTS D'UNE APPROCHE DE CONCEPTION CONDUISANT A L'INTEGRATION LOGICIEL ET MATERIEL D'APPLICATIONS DE TRAITEMENT DU SIGNAL.

Download or read book Processus de conception conjointe logiciel mat riel dirig s par les mod les written by Ali Koudri and published by . This book was released on 2010 with total page 182 pages. Available in PDF, EPUB and Kindle. Book excerpt: L'ingénierie des modèles (IDM) a depuis très largement démontré sa pertinence dans les développements logiciels; restait alors à démontrer son applicabilité dans le développement de tout système d'information. Aujourd'hui, de nombreuses expérimentations montrent avec plus ou moins de succès que l'IDM peut parfaitement supporter d'autres domaines comme le domaine du co-design ou celui de l'ingénierie des processus.Dans le domaine du co-design, les activités de conception consiste essentiellement à concevoir et analyser des systèmes implantées sur des plateformes spécifiques (SoC, MPSoC, NoC, etc.): cela nécessite l'utilisation de langages dédiés permettant de représenter : les constituants du système ou de la plateforme, les contraintes non fonctionnelles, les allocations spatio-temporelles des blocs du système sur la plateforme, les analyses qui découlent des choix d'allocation. Le langage de modélisation généraliste UML (Unified Modeling Language) ne pouvait que très difficilement satisfaire de tels besoins. C'est pourquoi l'OMG (Object Management Group) a standardisé une extension d'UML dédiée à la conception et l'analyse de systèmes embarqués temps réel (MARTE). L'objectif premier de cette thèse est de proposer une méthodologie de conception de SoPC (System-on-Programmable-Chip) basée sur l'utilisation de modèles qui fait la synthèse des approches proposées par les communautés de l'ESL et de l'IDM.Aussi avons-nous poussé la réflexion sur les manières de capitaliser au mieux notre méthodologie et sur sa mise en œuvre dans l'élication des processus de co-design. C'est la raison pour laquelle, après avoir fait une étude sur la formalisation des processus de développement, nous avons trouvé opportun de proposer notre propre extension du langage SPEM (Software and System Process Engineering Modeling), standardisé par l'OMG, afin d'y intégrer des concepts manquants, essentiels à notre sens à la représentation des processus IDM de co-design.

Download or read book M thodes et outils pour la conception de syst mes logiciels auto adaptatifs written by Franck Chauvel and published by . This book was released on 2008 with total page 122 pages. Available in PDF, EPUB and Kindle. Book excerpt: Avec l'avènement des systèmes mobiles, la plupart des systèmes logiciels doivent s'adapter à un environnement fluctuant en ressources matérielles et logicielles. Ce besoin d'adaptabilité survient à la fois dans des systèmes à large échelle tels que les systèmes paire-à-paire déployés sur Internet et dans des systèmes de taille plus modeste, voire dans des systèmes embarqués, téléphonie mobile, GPS, etc. Ces systèmes, dits « auto-adaptatifs », doivent donc observer les fluctuations de leur environnement dans le but d'offrir un service de qualité le plus longtemps possible. « Observation, décision, action » est alors naturellement le credo des systèmes auto-adaptatifs : observer l'environnement pour décider des modifications à apporter à la configuration ou à l'architecture. Le conception et le développement de tels systèmes fait converger plusieurs branches de l'informatique actuelle : le génie logiciel, l'intelligence artificielle, et les systèmes distribués. Les systèmes distribués et les systèmes sensibles traitent tout d'abord de problèmes liés à l'observation de l'environnement. L'intelligence artificielle et les systèmes de décision permettent ensuite de raisonner sur des données pour automatiser la prise de décision. Enfin, le génie logiciel et plus précisément les architectures à base de composants ont apporté un support technique permettant de modifier « à chaud » l'architecture d'un système logiciel en cours d'exécution. Pourtant, le développement et la conception de ces systèmes restent pour le moins difficile à cause d'un manque d'outils et de techniques dédiés. Si la plupart des plates-formes d'exécution récentes supportant le déploiement de systèmes à base de composant permettent effectivement d'adapter dynamiquement un système, les mécanismes mis en œuvre restent très rudimentaires et empêchent l'architecte de concevoir, en intention, le comportement lié à l'auto-adaptation. L'auto-adaptation reste donc une tâche annexe et ne fait pas encore l'objet des bonnes pratiques issues du génie logiciel. C'est pourquoi la contribution de cette thèse est de fournir à l'architecte des méthodes et des outils lui permettant d'exprimer, au bon niveau d'abstraction, l'auto-adaptation d'un système logiciel. Nous proposons de modéliser l'auto-adaptation sous la forme de règles qualifiant l'environnement et le système à l'aide d'un langage naturel contraint. Ces règles, par ailleurs composables, sont interprétées à l'aide d'un moteur de logique floue, soit lors de la conception via un moteur de simulation, soit dans le système réel à l'aide d'un moteur d'interprétation. La simulation des règles lors de la conception permet de valider, a priori et à moindre coût, des systèmes dont le test en situation réelle est excessivement complexe et coûteux. Ces différents outils ont été intégrés dans un outil nommé TanGraM permettant de concevoir et de simuler des systèmes auto-adaptatifs et une extension de la plate-forme d'exécution Fractal a été développée pour supporter l'intégration de règles d'adaptation floues dans un système réel. Cet outil a été utilisé pour concevoir un serveur HTTP susceptible d'adapter son architecture et sa configuration en fonction du nombre et de la dispersion des requêtes qu'il reçoit. Déployé ensuite sur la plate-forme Fractal, le système montre la pertinence d'une validation a priori lors de la conception de systèmes complexes. L'expression de l'adaptation sous la forme de règles de haut niveau n'est cependant que le premier pas vers des systèmes pleinement adaptatifs. La prise en compte des objectifs de qualité sous-jacents à l'adaptation, tels que la minimisation du temps de réponse par exemple, offre une perspective intéressante pour contrôler et simplifier encore la conception de systèmes auto-adaptatifs.

Download or read book Conception des syst mes logiciel mat riel written by Frédéric Rousseau (auteur en microélectronique).) and published by . This book was released on 2005 with total page 62 pages. Available in PDF, EPUB and Kindle. Book excerpt: Ce document retrace mes activités de recherche depuis ma thèse soutenue en juillet 1997. Certains des travaux présentés sont achevés, d'autres sont en cours ou encore dans un stade exploratoire. De 1993 à 1999, je me suis intéressé aux différents aspects du partitionnement logiciel/matériel dans la conception de systèmes intégrés numériques de télécommunications. Depuis 1999, mes travaux ont porté sur la conception de systèmes multiprocesseurs monopuces, et plus particulièrement sur ce qui a trait aux relations entre logiciel et matériel. Ces systèmes sont généralement dédiés à une application ou à une classe d'applications, ce qui permet d'optimiser l'architecture et les programmes. Mes recherches ses sont donc focalisées sur l'architecture mémoire, les interfaces de communication entre composants et le prototypage. Pour ces trois axes de recherche, des méthodes et des outils d'aide à la conception ont été définis et développés. Des travaux toujours en cours portent sur la généralisation d'une méthode de conception de composants d'interface matériels à partir d'une spécification sous forme de services requis et fournis. Une telle spécification est déjà utilisée pour représenter des protocoles dans les réseaux de communication et pour le développement des couches logicielles de communication. Son extension à la conception des interfaces matérielles homogénéiserait les langages, méthodes et outils de l'environnement de conception. Mes travaux futurs s'orientent vers deux axes : l'intégration logiciel/matériel et l'adéquation entre architecture et système d'exploitation. Dans les deux cas, les relations étroites entre les ressources physiques de l'architecture et les couches logicielles qui y accèdent doivent permettre d'améliorer sensiblement les performances.

Download or read book Annales des t l communications written by and published by . This book was released on 2004-07 with total page 760 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Pratique des methodes et outils logiciels d aide a la conception de systemes d information written by Henri Habrias and published by . This book was released on 1988 with total page 338 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book DECOUPAGE TRANSFORMATIONNEL POUR LA CONCEPTION DES SYSTEMES MIXTES LOGICIEL MATERIEL written by GILBERTO.. MARCHIORO and published by . This book was released on 1998 with total page 186 pages. Available in PDF, EPUB and Kindle. Book excerpt: CE TRAVAIL DE THESE DEVELOPPE UNE NOUVELLE METHODOLOGIE POUR LA CONCEPTION CONJOINTE DU LOGICIEL ET DU MATERIEL. CETTE METHODOLOGIE MET EN PRATIQUE UNE APPROCHE TRANSFORMATIONNELLE DE DECOUPAGE CAPABLE DE MANIPULER DES SYSTEMES DISTRIBUES ET DES ARCHITECTURES MULTIPROCESSEURS. CETTE APPROCHE SEMI-AUTOMATIQUE DE DECOUPAGE REALISE LE LIEN ENTRE UNE SPECIFICATION AU NIVEAU SYSTEME ET UNE ARCHITECTURE LOGICIELLE/MATERIELLE DE MANIERE RAPIDE PERMETTANT UNE EXPLORATION RAPIDE DE L'ESPACE DES SOLUTIONS. LE PRINCIPAL DOMAINE D'APPLICATION DE CE TRAVAIL EST LA CONCEPTION DES ARCHITECTURES DISTRIBUEES, COMPOSEES DE PROCESSUS LOGICIELS (E.G. PROGRAMMES) ET PROCESSEURS MATERIELS (E.G. ASICS). PAR RAPPORT A L'APPROCHE CLASSIQUE DE CONCEPTION, UTILISEE DANS LA PLUS GRANDE PARTIE DES SYSTEMES DE CONCEPTION CONJOINTE EXISTANTS, CETTE APPROCHE SUPPORTE DES ARCHITECTURES FLEXIBLES COMPOSEES DE PROCESSEURS QUI COMMUNIQUENT EN UTILISANT UN RESEAU DE COMMUNICATION COMPLEXE. LA PRINCIPALE CONTRIBUTION DE CE TRAVAIL EST L'APPLICATION DE L'APPROCHE TRANSFORMATIONNELLE A LA CONCEPTION CONJOINTE LOGICIELLE/MATERIELLE D'ARCHITECTURES MULTIPROCESSEURS. L'UTILISATEUR DEBUTE LE PROCESSUS DE CONCEPTION AVEC UNE SPECIFICATION AU NIVEAU SYSTEME ET UNE SOLUTION ARCHITECTURALE EN TETE, ET REALISE DES RAFFINEMENTS POUR ADAPTER CETTE SPECIFICATION INITIALE A L'ARCHITECTURE. CE PASSAGE SE FAIT PAR UNE APPROCHE TRANSFORMATIONNELLE BASEE SUR DES RAFFINEMENTS SUCCESSIFS. CHAQUE ETAPE DE RAFFINEMENT FIXE UN ENSEMBLE DE DETAILS PERMETTANTS DE REDUIRE LE FOSSE ENTRE SPECIFICATION ET REALISATION. DANS CE MODELE, LA SPECIFICATION INITIALE EST DONNEE EN LANGAGE SDL. CETTE SPECIFICATION EST CONVERTIE DANS UN MODELE INTERMEDIAIRE PLUS ADAPTE AUX ALGORITHMES DE SYNTHESE. LE MODELE INTERMEDIAIRE EST RAFFINE POUR PRODUIRE UN MODELE C/VHDL DISTRIBUE.

Download or read book D coupage transformationnel pour la conception de syst mes mixtes logiciel mat riel written by Gilberto Fernandes Marchioro and published by . This book was released on 2003 with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt: Ce travail de these developpe une nouvelle methodologie pour la conception conjointe du logiciel et du materiel. Cette methodologie met en pratique une approche transformationnelle de decoupage capable de manipuler des systemes distribues et des architectures multiprocesseurs. Cette approche semi-automatique de decoupage realise le lien entre une specification au niveau systeme et une architecture logicielle/materielle de maniere rapide permettant une exploration rapide de l'espace des solutions. Le principal domaine d'application de ce travail est la conception des architectures distribuees, composees de processus logiciels (e.g. Programmes) et processeurs materiels (e.g. Asics). Par rapport a l'approche classique de conception, utilisee dans la plus grande partie des systemes de conception conjointe existants, cette approche supporte des architectures flexibles composees de processeurs qui communiquent en utilisant un reseau de communication complexe. La principale contribution de ce travail est l'application de l'approche transformationnelle a la conception conjointe logicielle/materielle d'architectures multiprocesseurs. L'utilisateur debute le processus de conception avec une specification au niveau systeme et une solution architecturale en tete, et realise des raffinements pour adapter cette specification initiale a l'architecture. Ce passage se fait par une approche transformationnelle basee sur des raffinements successifs. Chaque etape de raffinement fixe un ensemble de details permettants de reduire le fosse entre specification et realisation. Dans ce modele, la specification initiale est donnee en langage sdl. Cette specification est convertie dans un modele intermediaire plus adapte aux algorithmes de synthese. Le modele intermediaire est raffine pour produire un modele c/vhdl distribue.

Download or read book Mod lisation unifi e des aspects r p titifs dans la conception conjointe logicielle mat rielle des syst mes sur puce hautes performances written by Arnaud Cuccuru and published by . This book was released on 2005 with total page 160 pages. Available in PDF, EPUB and Kindle. Book excerpt: Des contrôleurs embarqués d'autrefois aux systèmes sur puce multiprocesseurs actuels, il existe un saut de complexité que les outils d'aide à la conception n'arrivent pas à franchir. Les concepteurs ne disposent pas d'outil leur permettant d'exploiter à un coût raisonnable les transistors potentiellement mis à leur disposition. Pour tenter de résoudre ce problème, le flot de conception Gaspard propose des solutions originales: une approche orientée modèle pour gérer la complexité du flot, et une orientation vers les systèmes multiprocesseurs réguliers Intégrée dans ce flot, cette thèse propose une contribution à deux niveaux: définition d'une syntaxe abstraite sous forme de métamodèles exprimés en MOF (infrastructure pour la mise en œuvre du flot), et définition d'une syntaxe concrète sous la forme d'un profil UML. L'objectif principal est de définir des mécanismes communs pour exprimer la régularité et le parallélisme des systèmes, tant au niveau applicatif qu'au niveau matériel.

Download or read book AGARD Lecture Series written by North Atlantic Treaty Organization. Advisory Group for Aerospace Research and Development and published by . This book was released on 199? with total page 176 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Picasso un outil de co design mat riel logiciel pour la conception de syst mes embarqu s written by and published by . This book was released on 2001 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Introduction la conception conjointe mat riel logiciel Une vision g n rale written by Gamatie and published by . This book was released on with total page 0 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book UN MODELE ET UN OUTIL D AIDE A LA CONCEPTION DES SYSTEMES D INFORMATION written by Corine Cauvet and published by . This book was released on 1988 with total page 387 pages. Available in PDF, EPUB and Kindle. Book excerpt: PROPOSITION DE DEUX OUTILS: UN MODELE SEMANTIQUE ET UN OUTIL LOGICIEL. LE MODELE SEMANTIQUE EST BASE SUR LES NOTIONS D'OBJET ET DE TYPE D'OBJET. L'OUTIL LOGICIEL VISE A AIDER LE CONCEPTEUR A CONSTRUIRE UN SCHEMA CONCEPTUEL BASE SUR LE MODELE SEMANTIQUE. L'OUTIL EST UN SYSTEME EXPERT QUI UTILISE UN RESEAU SEMANTIQUE COMME REPRESENTATION INTERNE DU SCHEMA. IL APPORTE AU CONCEPTEUR UNE VERITABLE AIDE; IL DETECTE DES SITUATIONS ANORMALES OU INCOMPLETES DANS LE SCHEMA ET SUGGERE DES ENRICHISSEMENTS DE LA REPRESENTATION

Download or read book Le g nie logiciel written by Claude Moreau and published by . This book was released on 1985 with total page 198 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Conception d un outil de d bogage formel pour syst mes logiciels et mat riels selon l approche Debug as Design written by Nicolas Vallée and published by . This book was released on 2011 with total page pages. Available in PDF, EPUB and Kindle. Book excerpt: Afin de réduire les délais de validation des systèmes complexes critiques, toutes les informations disponibles à chaque phase du traditionnel cycle en V devraient être utilisées pour valider le plus tôt possible chaque aspect du système. Par ailleurs, il faut également prendre en compte deux évolutions. D'un côté, la taille des systèmes augmente de manière continue. D'un autre côté, les concepteurs doivent désormais composer avec la diversité des composants utilisés et le mélange des aspects matériels et logiciels, ce qui peut les amener à gérer de multiples abstractions au sein de systèmes de grande taille. Pour relever ce défi, tant industriel que théorique, nous proposons un nouveau modèle hiérarchique raffinable et modulaire, qui permet à la fois de simuler et d'analyser un système complexe. Nous adaptons ensuite deux techniques d'analyse statique à ce modèle: l'interprétation abstraite et l'exécution symbolique. Enfin, leur utilisation conjointe nous a permis d'extraire le comportement abstrait d'un système ou de ses composants, afin d'effectuer une validation de spécification à l'aide d'outils adaptés