Formal Techniques in Real-Time and Fault-Tolerant Systems, Bengt Jonsson; Joachim Parrow

Автор: Mogens Blanke; Michel Kinnaert; Jan Lunze; Marcel
Название: Diagnosis and Fault-Tolerant Control
ISBN: 3662479427 ISBN-13(EAN): 9783662479421
Издательство: Springer
Рейтинг:
Цена: 14365.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Fault-tolerant control aims at a gradual shutdown response in automated systems when faults occur. It satisfies the industrial demand for enhanced availability and safety, in contrast to traditional reactions to faults, which bring about sudden shutdowns and loss of availability.

The book presents effective model-based analysis and design methods for fault diagnosis and fault-tolerant control. Architectural and structural models are used to analyse the propagation of the fault through the process, to test the fault detectability and to find the redundancies in the process that can be used to ensure fault tolerance. It also introduces design methods suitable for diagnostic systems and fault-tolerant controllers for continuous processes that are described by analytical models of discrete-event systems represented by automata.

The book is suitable for engineering students, engineers in industry and researchers who wish to get an overview of the variety of approaches to process diagnosis and fault-tolerant control.

The authors have extensive teaching experience with graduate and PhD students, as well as with industrial experts. Parts of this book have been used in courses for this audience. The authors give a comprehensive introduction to the main ideas of diagnosis and fault-tolerant control and present some of their most recent research achievements obtained together with their research groups in a close cooperation with European research projects.

The third edition resulted from a major re-structuring and re-writing of the former edition, which has been used for a decade by numerous research groups. New material includes distributed diagnosis of continuous and discrete-event systems, methods for reconfigurability analysis, and extensions of the structural methods towards fault-tolerant control. The bibliographical notes at the end of all chapters have been up-dated. The chapters end with exercises to be used in lectures.

Автор: Mogens Blanke; Michel Kinnaert; Jan Lunze; Marcel
Название: Diagnosis and Fault-Tolerant Control
ISBN: 366249986X ISBN-13(EAN): 9783662499863
Издательство: Springer
Рейтинг:
Цена: 13059.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание:

Fault-tolerant control aims at a gradual shutdown response in automated systems when faults occur. It satisfies the industrial demand for enhanced availability and safety, in contrast to traditional reactions to faults, which bring about sudden shutdowns and loss of availability.

The book presents effective model-based analysis and design methods for fault diagnosis and fault-tolerant control. Architectural and structural models are used to analyse the propagation of the fault through the process, to test the fault detectability and to find the redundancies in the process that can be used to ensure fault tolerance. It also introduces design methods suitable for diagnostic systems and fault-tolerant controllers for continuous processes that are described by analytical models of discrete-event systems represented by automata.

The book is suitable for engineering students, engineers in industry and researchers who wish to get an overview of the variety of approaches to process diagnosis and fault-tolerant control.

The authors have extensive teaching experience with graduate and PhD students, as well as with industrial experts. Parts of this book have been used in courses for this audience. The authors give a comprehensive introduction to the main ideas of diagnosis and fault-tolerant control and present some of their most recent research achievements obtained together with their research groups in a close cooperatio

Автор: Qing Li
Название: Real-Time Concepts for Embedded Systems
ISBN: 1578201241 ISBN-13(EAN): 9781578201242
Издательство: Taylor&Francis
Рейтинг:
Цена: 9033.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: `... a very good balance between the theory and practice of real-time embedded system designs.` -Jun-ichiro itojun Hagino, Ph.D., Research Laboratory, Internet Initiative Japan Inc

Автор: Hans Langmaack; Willem-Paul de Roever; Jan Vytopil
Название: Formal Techniques in Real-Time and Fault-Tolerant Systems
ISBN: 3540584684 ISBN-13(EAN): 9783540584681
Издательство: Springer
Рейтинг:
Цена: 18167.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This volume describes how formal techniques constitute the foundation for the design of real-time, fault-tolerant and hybrid systems. It explores their use throughout the entire engineering process, from specification and design through coding and computation to the hardware itself.

Автор: Anders P. Ravn; Hans Rischel
Название: Formal Techniques in Real-Time and Fault-Tolerant Systems
ISBN: 3540650032 ISBN-13(EAN): 9783540650034
Издательство: Springer
Рейтинг:
Цена: 9781.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book constitutes the refereed proceedings of the 5th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFT`98, held in Lyngby, Denmark, in September 1998.The 22 revised full papers presented were carefully selected and reviewed for inclusion in the book.

Автор: Michael Butler; Cliff Jones; Alexander Romanovsky;
Название: Rigorous Development of Complex Fault-Tolerant Systems
ISBN: 3540482652 ISBN-13(EAN): 9783540482659
Издательство: Springer
Рейтинг:
Цена: 10480.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Brings together papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems. This book is based on the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005.

Автор: Winfried G?rke; Holger S?rensen
Название: Fehlertolerierende Rechensysteme / Fault-tolerant Computing Systems
ISBN: 3540515658 ISBN-13(EAN): 9783540515654
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Mario Dal Cin; Wolfgang Hohl
Название: Fault-Tolerant Computing Systems
ISBN: 354054545X ISBN-13(EAN): 9783540545453
Издательство: Springer
Рейтинг:
Цена: 14673.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 5th International GI/ITG/GMA Conference, Nurnberg, September 25-27, 1991. Proceedings

Автор: Bertolotti
Название: Real-Time Embedded Systems
ISBN: 1439841543 ISBN-13(EAN): 9781439841549
Издательство: Taylor&Francis
Рейтинг:
Цена: 33686.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: From the Foreword: "…the presentation of real-time scheduling is probably the best in terms of clarity I have ever read in the professional literature. Easy to understand, which is important for busy professionals keen to acquire (or refresh) new knowledge without being bogged down in a convoluted narrative and an excessive detail overload. The authors managed to largely avoid theoretical-only presentation of the subject, which frequently affects books on operating systems. … an indispensable [resource] to gain a thorough understanding of the real-time systems from the operating systems perspective, and to stay up to date with the recent trends and actual developments of the open-source real-time operating systems." —Richard Zurawski, ISA Group, San Francisco, California, USA Real-time embedded systems are integral to the global technological and social space, but references still rarely offer professionals the sufficient mix of theory and practical examples required to meet intensive economic, safety, and other demands on system development. Similarly, instructors have lacked a resource to help students fully understand the field. The information was out there, though often at the abstract level, fragmented and scattered throughout literature from different engineering disciplines and computing sciences. Accounting for readers’ varying practical needs and experience levels, Real Time Embedded Systems: Open-Source Operating Systems Perspective offers a holistic overview from the operating-systems perspective. It provides a long-awaited reference on real-time operating systems and their almost boundless application potential in the embedded system domain. Balancing the already abundant coverage of operating systems with the largely ignored real-time aspects, or "physicality," the authors analyze several realistic case studies to introduce vital theoretical material. They also discuss popular open-source operating systems—Linux and FreRTOS, in particular—to help embedded-system designers identify the benefits and weaknesses in deciding whether or not to adopt more traditional, less powerful, techniques for a project.

Автор: Calin Belta; Boyan Yordanov; Ebru Aydin Gol
Название: Formal Methods for Discrete-Time Dynamical Systems
ISBN: 3319507621 ISBN-13(EAN): 9783319507620
Издательство: Springer
Рейтинг:
Цена: 22359.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Transition Systems.- Temporal Logics and Automata.- Model Checking.- Largest Finite Satisfying Region.- Finite Temporal Logic Control.- Discrete-Time Dynamical Systems.- Largest Satisfying Region.- Parameter Synthesis.- Temporal Logic Control.- Finite Bisimulations.- Language Guided Controller Synthesis.- Optimal Temporal Logic Control.- Background.

Автор: Thomas Herault; Yves Robert
Название: Fault-Tolerance Techniques for High-Performance Computing
ISBN: 3319209426 ISBN-13(EAN): 9783319209425
Издательство: Springer
Рейтинг:
Цена: 16769.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This timely text presents a comprehensive overview of fault tolerance techniques for high-performance computing (HPC).

Автор: Elena Dubrova
Название: Fault-Tolerant Design
ISBN: 1493902407 ISBN-13(EAN): 9781493902408
Издательство: Springer
Рейтинг:
Цена: 9141.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book introduces fault-tolerance techniques through hardware, software, information and time redundancy. The content is designed to be highly accessible, including numerous examples and exercises. Benefits both advanced students and working engineers.