Download or read book Conception et validation de syst mes informatiques haute s ret de fonctionnement written by Eric Pilaud and published by . This book was released on 1982 with total page 199 pages. Available in PDF, EPUB and Kindle. Book excerpt: Un système de description des calculateurs à haute sûreté de fonctionnement est proposé et appliqué à des calculateurs existants. Cette description nous conduit à proposer une démarche de conception devant faciliter la validation. Une methode d'évaluation de la sûreté de fonctionnement, destinée à fournir des évaluations pour la certification, est ensuite étudiée. Elle s'appuie sur une démarche non optimiste et permet de prendre en compte certains paramètres difficilement quantifiables (latence d'erreur par exemple). Les deux aspects de cette étude, conception et évaluation, sont appliqués à un calculateur tolérant les pannes développées dans le cadre de ce travail. (CARL)

Download or read book Safety and Reliability 92 written by K.E. Peterson and published by CRC Press. This book was released on 1992-05-01 with total page 1226 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Net Theory and Applications written by Wilfried Brauer and published by Springer. This book was released on 1980 with total page 564 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 CENELEC 50128 and IEC 62279 Standards written by Jean-Louis Boulanger and published by John Wiley & Sons. This book was released on 2015-03-24 with total page 376 pages. Available in PDF, EPUB and Kindle. Book excerpt: CENELEC EN 50128 and IEC 62279 standards are applicable to the performance of software in the railway sector. The 2011 version of the 50128 standard firms up the techniques and methods to be implemented. This is a guide to its implementation, in order to understand the foundations of the standard and how it impacts on the activities to be undertaken, helping towards better a preparation for the independent evaluation phase, which is mandatory.

Download or read book Applied Modelling and Simulation written by International Association of Science and Technology for Development and published by Anaheim, Calif. ; Calgary : Acta Press. This book was released on 1984 with total page 176 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Canadian Journal of Civil Engineering written by and published by . This book was released on 1992 with total page 588 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Technique Et Science Informatiques written by and published by . This book was released on 1987 with total page 632 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Recherche en Mati re D conomie Des Transports written by and published by . This book was released on 1993 with total page 878 pages. Available in PDF, EPUB and Kindle. Book excerpt:

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

Download or read book International Workshop Expert Systems Their Applications written by and published by . This book was released on with total page 846 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book The Disappearing Computer written by Norbert Streitz and published by Springer. This book was released on 2007-07-20 with total page 314 pages. Available in PDF, EPUB and Kindle. Book excerpt: This book examines how the computer, as we currently know it, will be replaced by a new generation of technologies, moving computing off the desktop and ultimately integrating it with real world objects and everyday environments. It provides a unique combination of concepts, methods and prototypes of ubiquitous and pervasive computing reflecting the current interest in smart environments and ambient intelligence.

Download or read book 7th International Workshop Expert systems their applications written by and published by . This book was released on 1987 with total page 844 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Quality and documentation written by Gudrun Libnow and published by Germanisches National Museum. This book was released on 1997 with total page 212 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Design Theory written by Pascal Le Masson and published by Springer. This book was released on 2017-04-06 with total page 390 pages. Available in PDF, EPUB and Kindle. Book excerpt: This textbook presents the core of recent advances in design theory and its implications for design methods and design organization. Providing a unified perspective on different design methods and approaches, from the most classic (systematic design) to the most advanced (C-K theory), it offers a unique and integrated presentation of traditional and contemporary theories in the field. Examining the principles of each theory, this guide utilizes numerous real life industrial applications, with clear links to engineering design, industrial design, management, economics, psychology and creativity. Containing a section of exams with detailed answers, it is useful for courses in design theory, engineering design and advanced innovation management. "Students and professors, practitioners and researchers in diverse disciplines, interested in design, will find in this book a rich and vital source for studying fundamental design methods and tools as well as the most advanced design theories that work in practice". Professor Yoram Reich, Tel Aviv University, Editor-in-Chief, Research In Engineering Design. "Twenty years of research in design theory and engineering have shown that training in creative design is indeed possible and offers remarkably operational methods - this book is indispensable for all leaders and practitioners who wish to strengthen theinnovation capacity of their company." Pascal Daloz, Executive Vice President, Dassault Systèmes

Download or read book Eudised R D Bulletin written by Documentation Centre for Education in Europe and published by . This book was released on 1993 with total page 644 pages. Available in PDF, EPUB and Kindle. Book excerpt: Contains research project reports arranged by subject with descriptors from the EUDISED Multilingual Thesaurus.

Download or read book Revue roumaine des sciences techniques written by and published by . This book was released on 1995 with total page 562 pages. Available in PDF, EPUB and Kindle. Book excerpt: