Download or read book Mise en oeuvre de la m thode B Trait RTA s rie Informatique et Syst mes d Information written by BOULANGER Jean-Louis and published by Lavoisier. This book was released on 2013-04-01 with total page 434 pages. Available in PDF, EPUB and Kindle. Book excerpt: La mise en place d’un logiciel sans défaut reste primordiale pour plusieurs domaines qui requièrent des applications dites de sécurité comme les transports. La réalisation d’un modèle formel est l’approche la plus efficace pour atteindre l'objectif du zéro défaut, que ce soit en termes de temps ou de maîtrise de la complexité. Ce modèle permet d’analyser et de vérifier le comportement d’un logiciel. Cet ouvrage présente la méthode B, une méthode formelle s’appuyant sur la preuve de propriétés qui, sur la base d’une spécification et de la notion de raffinement, permet d’aller jusqu’à la production automatique de code. Différents outils découlant de cette méthode ainsi que des exemples concrets d’utilisations industrielles de différentes tailles sont aussi exposés dans des domaines tels que l’avionique ou les systèmes manufacturiers.
Download or read book Architecture des ordinateurs Principes fondamentaux written by BLANCHET Gérard and published by Lavoisier. This book was released on 2013-02-01 with total page 370 pages. Available in PDF, EPUB and Kindle. Book excerpt: Cet ouvrage présente les principes généraux intervenant dans la conception des ordinateurs. Il permet de mieux comprendre leur fonctionnement, étape nécessaire à une meilleure utilisation des ressources. L’accent est mis sur les briques composant une machine, leurs fonctions et leurs interactions. Les liens entre ressources logicielles et matérielles sont présentés chaque fois que nécessaire. La constitution d’un processeur, son fonctionnement et les mécanismes qui lui permettent de communiquer avec l’« extérieur » sont exposés. La notion de hiérarchie de mémoire est abordée pour ensuite présenter les architectures des mémoires caches et la gestion en mémoire virtuelle. Enfin, les problèmes liés à l’introduction du parallélisme dans les architectures sont envisagés : solutions matérielles et logicielles dans les architectures pipelines, problèmes de cohérence de mémoire et mise en œuvre des architectures superscalaires. Les auteurs Gérard Blanchet et Bertrand Dupouy sont tous deux enseignants-chercheurs au sein de Telecom Paristech. Membres, respectivement, des départements « Traitement du signal et des images » et « Informatique et réseaux », ils sont tous deux auteurs de plusieurs ouvrages et articles de synthèse traitant de l’architecture des ordinateurs ou des architectures spécialisées.
Download or read book Outils de mise en uvre industrielle des techniques formelles written by BOULANGER Jean-Louis and published by Lavoisier. This book was released on 2012-04-16 with total page 402 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les techniques formelles réalisent des modèles de spécifications et/ou de conception et servent principalement à l'analyse statique de code, à la démonstration du respect de propriété et à la bonne gestion des calculs sur les flottants. Différents domaines tels les systèmes de transport, la production d'énergie ou la santé prennent en compte l'implémentation de ces méthodes pour satisfaire les exigences de sécurité élevées des systèmes critiques. Leur mise en œuvre dans le cadre d'une application industrielle (application de grande taille, contrainte de coût et de délais, etc.) ne peut se faire que par l'emploi d'outils suffisamment matures et performants. Cet ouvrage collectif présente des exemples concrets d'utilisation des techniques formelles comme la méthode B, SCADE, MaTeLo, ControlBuild, SparkAda et POLYSPACE et des techniques de vérification associées. Il en identifie aussi les avantages et les difficultés.
Download or read book Mod lisation et analyse de syst mes embarqu s written by KORDON Fabrice and published by Lavoisier. This book was released on 2013-04-01 with total page 322 pages. Available in PDF, EPUB and Kindle. Book excerpt: Les systèmes embarqués rendent un nombre de services grandissant et font partie de notre vie quotidienne : ascenseurs, transports, téléphonie, médecine, énergie, industrie, etc. Ainsi, si l’on parle de plus en plus de systèmes embarqués, il s’agit avant tout d’un ensemble complet et intégré (matériel + logiciel). Le point central de leur développement est leur interaction avec leur environnement et les conséquences associées en termes de sécurité et de fiabilité. Cet ouvrage dresse un état de l’art du développement des systèmes embarqués. Il se concentre particulièrement sur leur modélisation et leur analyse. Il s’agit d’opérations cruciales qui détermineront la fiabilité du futur système. L’apparition récente des techniques basées sur l’ingénierie des modèles pourrait révolutionner le développement de ces systèmes en assurant une continuité entre le niveau conceptuel et l’implémentation de la partie logicielle. L’ouvrage expose trois approches parmi les plus utilisées : SysML (aspects ingénierie système), UML/MARTE et AADL (conception/analyse).
Download or read book Human and Machine Perception written by V. Cantoni and published by . This book was released on 1997 with total page 352 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Conception syst mique pour la conversion d nergie lectrique 2 approche int gr e par optimisation written by ROBOAM Xavier and published by Lavoisier. This book was released on 2012-11-06 with total page 306 pages. Available in PDF, EPUB and Kindle. Book excerpt: Le contexte économique impose des systèmes toujours plus performants, minimisant coûts d’investissement et de possession. Si les méthodes d’analyse, de synthèse et de gestion présentées dans le premier volume Conception systémique pour la conversion d’énergie électrique 1 participent à l’optimisation des systèmes énergétiques, les techniques traitées dans cet ouvrage proposent d’aller encore plus loin dans la performance. La complexité de systèmes multidisciplinaires à fort degré de couplage augmentant, le processus de conception par optimisation consistant à coupler un modèle à un algorithme d’optimisation au sein d’un environnement logiciel devient dès lors indispensable. Ce volume rassemble les points-clés permettant de représenter efficacement et de façon compacte l’environnement système et les profils de mission, mais également les méthodes, modèles et outils dédiés à l’optimisation. Les approches multiniveaux de conception et l’optimisation technico-économique des réseaux électriques sont particulièrement détaillées.
Download or read book D veloppements logiciels en g omatique innovations et mutualisation written by BUCHER Bénédicte and published by Lavoisier. This book was released on 2012-06-07 with total page 306 pages. Available in PDF, EPUB and Kindle. Book excerpt: Un défi majeur pour l'homme est de se munir de représentations de l'espace dans lequel il vit qui dépassent la représentation que lui-même peut s'en construire afin d'agir en étant mieux informé. Ces représentations doivent être partageables afin que les décisions bénéficient d'une variété de points de vue. Alors que les cartes deviennent numériques et que leur analyse peut être partagée entre l'homme et l'ordinateur, demeurent des défis concernant la représentation des données numériques sur l'espace, l'acquisition et le traitement de ces données. Cet ouvrage présente des développements logiciels majeurs produits récemment en géomatique, discipline à la croisée de la géographie et de l'informatique et qui se concentre sur l'acquisition et le traitement des données sur l'espace. Il analyse les spécificités de ces logiciels en termes de motivations, de modélisation de l'information et de méthodes d'analyse. Les verrous associés à leur mutualisation sont également analysés et conduisent à des propositions pour une meilleure mutualisation des efforts de recherche et de développement en géomatique.
Download or read book Notions de syst me et d ing nierie de syst me written by Alain Faisandier and published by Lulu.com. This book was released on 2014 with total page 310 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Intelligent Tutoring Systems written by Claude Frasson and published by Springer Science & Business Media. This book was released on 1996-05-29 with total page 718 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book presents the refereed proceedings of the Third International Conference on Intelligent Tutoring Systems, ITS '96, held in Montreal, Canada, in June 1996. The book contains 69 revised papers selected from a total of 128 submissions; also included are six invited papers from well-known speakers. All in all, the book reflects the state-of-the-art in the area. In particular the following topics are covered: advising systems, ITS architectures, cognitive models, design issues, empirical studies, formal models, learning environments, real-world applications, software tools for tutoring, student modelling, teaching and learning strategies, and multimedia and WWW.
Download or read book Essais Dans la Conception Et la D veloppement Des Syst mes Spatiaux written by and published by . This book was released on 1995 with total page 334 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Real Time and Multi Agent Systems written by Ammar Attoui and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 474 pages. Available in PDF, EPUB and Kindle. Book excerpt: A detailed account of real-time systems, including program structures for real-time, phases development analysis, and formal specification and verification methods of reactive systems. The book brings together the 3 key fields of current and future data-processing: distributed systems and applications, parallel scientific computing, and real-time and manufacturing systems. It covers the basic concepts and theories, methods, techniques and tools currently used in the specification and implementation of applications and contains many examples plus complete case studies.
Download or read book Virtual Modelling and Rapid Manufacturing written by Paulo Jorge da Silva Bartolo and published by CRC Press. This book was released on 2005-09-15 with total page 656 pages. Available in PDF, EPUB and Kindle. Book excerpt: Virtual Modelling and Rapid Manufacturing presents essential research in the area of Virtual and Rapid Prototyping. It contains reviewed papers that were presented at the 2nd International Conference on Advanced Research in Virtual and Rapid Prototyping, held at the School of Technology and Management of the Polytechnic Institute of Leiria, Portugal, from September 28 to October 1, 2005. The volume covers a wide range of topical subjects, such as medical imaging, reverse engineering, virtual reality and prototyping, biomanufacturing and tissue engineering, advanced rapid prototyping technologies and micro-fabrication, biomimetics and materials, and concurrent engineering
Download or read book Conception syst mique pour la conversion d nergie lectrique 1 gestion analyse et synth se written by ROBOAM Xavier and published by Lavoisier. This book was released on 2012-11-06 with total page 434 pages. Available in PDF, EPUB and Kindle. Book excerpt: Le contexte actuel mène les concepteurs vers des systèmes toujours plus complexes et performants, intégrant un grand nombre d’éléments souvent fortement couplés et appartenant à divers champs de la physique énergétique. Après une présentation de l’approche systémique de conception, ce premier volume rassemble les points-clés permettant de modéliser et de caractériser efficacement des systèmes multiphysiques (formalismes graphiques, Bond Graphs, GIC/REM), d’analyser la qualité et la stabilité des réseaux et de contribuer à la robustesse en conception intégrée. La gestion de l’énergie des systèmes énergétiques hybrides incluant du stockage est également largement détaillée et différentes méthodes statistiques permettant de dimensionner les réseaux ou de caractériser leur sûreté de fonctionnement sont proposées (par exemple, la méthode de Monte-Carlo). Les techniques d’analyse, de synthèse et de gestion présentées dans cet ouvrage participent à l’optimisation des systèmes énergétiques. Elles sont complétées par des approches spécifiquement orientées vers la conception par optimisation, objets du second volume.
Download or read book Annales des t l communications written by and published by . This book was released on 2006-07 with total page 772 pages. Available in PDF, EPUB and Kindle. Book excerpt:
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 140 pages. Available in PDF, EPUB and Kindle. Book excerpt:
Download or read book Educational Gameplay and Simulation Environments Case Studies and Lessons Learned written by Kaufman, David and published by IGI Global. This book was released on 2010-01-31 with total page 528 pages. Available in PDF, EPUB and Kindle. Book excerpt: "This book covers theoretical, social, and practical issues related to educational games and simulations, contributing to a more effective design and implementation of these activities in learning environments"--Provided by publisher.
Download or read book Technique Et Science Informatiques written by and published by . This book was released on 1991 with total page 506 pages. Available in PDF, EPUB and Kindle. Book excerpt:
