Описание: Here is comprehensive coverage of reliability issues and their countermeasures in large-scale digital control systems, from the hardware and software in digital systems to the human operators who supervise the overall process of large-scale systems.
Автор: Cyrille Artho; Peter Csaba ?lveczky Название: Formal Techniques for Safety-Critical Systems ISBN: 3319539450 ISBN-13(EAN): 9783319539454 Издательство: Springer Рейтинг: Цена: 8384.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions.
Автор: Hobbs Название: Embedded Software Development for Safety-Critical Systems ISBN: 1498726704 ISBN-13(EAN): 9781498726702 Издательство: Taylor&Francis Рейтинг: Цена: 19906.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Safety-critical devices, whether medical, automotive, or industrial, are increasingly dependent on the correct operation of sophisticated software. Many standards have appeared in the last decade on how such systems should be designed and built. Developers, who previously only had to know how to program devices for their industry, must now understand remarkably esoteric development practices and be prepared to justify their work to external auditors. Embedded Software Development for Safety-Critical Systems discusses the development of safety-critical systems under the following standards: IEC 61508; ISO 26262; EN 50128; and IEC 62304. It details the advantages and disadvantages of many architectural and design practices recommended in the standards, ranging from replication and diversification, through anomaly detection to the so-called "safety bag" systems.Reviewing the use of open-source components in safety-critical systems, this book has evolved from a course text used by QNX Software Systems for a training module on building embedded software for safety-critical devices, including medical devices, railway systems, industrial systems, and driver assistance devices in cars. Although the book describes open-source tools for the most part, it also provides enough information for you to seek out commercial vendors if that’s the route you decide to pursue. All of the techniques described in this book may be further explored through hundreds of learned articles. In order to provide you with a way in, the author supplies references he has found helpful as a working software developer. Most of these references are available to download for free.
Автор: David J. Smith Название: The Safety Critical Systems Handbook ISBN: 0128051213 ISBN-13(EAN): 9780128051214 Издательство: Elsevier Science Рейтинг: Цена: 19159.00 р. Наличие на складе: Поставка под заказ.
Описание: The Safety Critical Systems Handbook: A Straightforward Guide to Functional Safety: IEC 61508 (2010 Edition), IEC 61511 (2016 Edition) & Related Guidance, Fourth Edition, presents the latest on the electrical, electronic, and programmable electronic systems that provide safety functions that guard workers and the public against injury or death, and the environment against pollution. . The international functional safety standard IEC 61508 was revised in 2010, and authors David Smith and Kenneth Simpson provide a comprehensive guide to the revised standard, as well as the revised IEC 61511 (2016). The book enables engineers to determine if a proposed or existing piece of equipment meets the safety integrity levels (SIL) required by the various standards and guidance, and also describes the requirements for the new alternative route (route 2H), introduced in 2010. . A number of other areas have been updated by Smith and Simpson in this new edition, including the estimation of common cause failure, calculation of PFDs and failure rates for redundant configurations, societal risk, and additional second tier guidance documents. . As functional safety is applicable to many industries, this book will have a wide readership beyond the chemical and process sector, including oil and gas, machinery, power generation, nuclear, aircraft, and automotive industries, plus project, instrumentation, design, and control engineers.
Автор: Cyrille Artho; Peter Csaba ?lveczky Название: Formal Techniques for Safety-Critical Systems ISBN: 3319054155 ISBN-13(EAN): 9783319054155 Издательство: Springer Рейтинг: Цена: 8106.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.
Автор: Cyrille Artho; Peter Csaba ?lveczky Название: Formal Techniques for Safety-Critical Systems ISBN: 3319175807 ISBN-13(EAN): 9783319175805 Издательство: Springer Рейтинг: Цена: 8106.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembourg, in November 2014. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.
Автор: Cyrille Artho; Peter Csaba ?lveczky Название: Formal Techniques for Safety-Critical Systems ISBN: 3319295098 ISBN-13(EAN): 9783319295091 Издательство: Springer Рейтинг: Цена: 8106.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book constitutes the refereed proceedings of the 4th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2015, held in Paris, France, in November 2015.The 15 revised full papers presented together with one invited talk and two tool papers were carefully reviewed and selected from 41 submissions.
Автор: F. Redmill; T. Anderson Название: Safety-critical Systems ISBN: 0412548208 ISBN-13(EAN): 9780412548208 Издательство: Springer Рейтинг: Цена: 23058.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Felix Redmill and Tom Anderson have edited one of the first books to appear on this vital subject. This important volume covers the development of computer systems for use in safety-critical applications, the technologies used and the experience of those using them. There are contributions from many leading experts in the field.
Автор: Tareq Ahram; Waldemar Karwowski Название: Advances in Human Factors, Software, and Systems Engineering ISBN: 3319600109 ISBN-13(EAN): 9783319600109 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book provides a platform for addressing human factors in software and systems engineering, both pushing the boundaries of current research and responding to new challenges, fostering new research ideas in the process.
Автор: H. Ledgard; A. Singer; J. Whiteside Название: Directions in Human Factors for Interactive Systems ISBN: 3540105743 ISBN-13(EAN): 9783540105749 Издательство: Springer Рейтинг: Цена: 4890.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: John A. Wise; V.David Hopkin; Paul Stager Название: Verification and Validation of Complex Systems: Human Factors Issues ISBN: 3540565744 ISBN-13(EAN): 9783540565741 Издательство: Springer Рейтинг: Цена: 51570.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Offers guidance for the verification and validation of the various highly complex and coupled systems. This work emphasizes on domains where significant advances have been made in the methods of identifying potential problems and in testing methods and tools. It also emphasizes techniques to identify the assumptions on which a system is built.
Автор: John A. Wise; V.David Hopkin; Paul Stager Название: Verification and Validation of Complex Systems: Human Factors Issues ISBN: 364208155X ISBN-13(EAN): 9783642081552 Издательство: Springer Рейтинг: Цена: 51570.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
