Formal Techniques in Real-Time and Fault-Tolerant Systems, Jan Vytopil
Автор: Jan Vytopil Название: Formal Techniques in Real-Time and Fault-Tolerant Systems ISBN: 1461364140 ISBN-13(EAN): 9781461364146 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Formal Techniques in Real-Time and Fault-Tolerant Systems focuses on the state of the art in formal specification, development and verification of fault-tolerant computing systems. The term fault-tolerance' refers to a system having properties which enable it to deliver its specified function despite (certain) faults of its subsystem. Fault-tolerance is achieved by adding extra hardware and/or software which corrects the effects of faults. In this sense, a system can be called fault-tolerant if it can be proved that the resulting (extended) system under some model of reliability meets the reliability requirements. The main theme of Formal Techniques in Real-Time and Fault-TolerantSystems can be formulated as follows: how do the specification, development and verification of conventional and fault-tolerant systems differ? How do the notations, methodology and tools used in design and development of fault-tolerant and conventional systems differ? Formal Techniques in Real-Time and Fault-Tolerant Systems is divided into two parts. The chapters in Part One set the stage for what follows by defining the basic notions and practices of the field of design and specification of fault-tolerant systems. The chapters in Part Two represent the how-to' section, containing examples of the use of formal methods in specification and development of fault-tolerant systems. The book serves as an excellent reference for researchers in both academia and industry, and may be used as a text for advanced courses on the subject.
Автор: Ducard, Guillaume J.j. Название: Fault-tolerant flight control and guidance systems ISBN: 1848825609 ISBN-13(EAN): 9781848825604 Издательство: Springer Рейтинг: Цена: 22359.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book offers a complete overview of fault-tolerant flight control techniques. Discussion covers the necessary equations for the modeling of small UAVs, a complete system based on extended Kalman filters, and a nonlinear flight control and guidance system.
Описание: This thesis reports on novel methods for gain-scheduling and fault tolerant control (FTC). Furthermore, it presents two approaches to fault-tolerant control: the first is based on a robust polytopic controller design, while the second involves a reconfiguration of the reference model and the addition of virtual actuators into the loop.
Автор: Bengt Jonsson; Joachim Parrow Название: Formal Techniques in Real-Time and Fault-Tolerant Systems ISBN: 3540616489 ISBN-13(EAN): 9783540616481 Издательство: Springer Рейтинг: Цена: 12577.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: These conference proceedings contain 22 revised full papers, three invited contributions and five tools demonstrations. The papers are organized into sections on state charts, timed automata, duration calculus, case studies, scheduling, fault tolerance, specification, and verification.
Автор: Mathai Joseph Название: Formal Techniques in Real-Time and Fault-Tolerant Systems ISBN: 3540410554 ISBN-13(EAN): 9783540410553 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: The papers are organized in topical sections on model checking, fault tolerance, scheduling, validation, verification, logic and automata.
Автор: Jan Vytopil Название: Formal Techniques in Real-Time and Fault-Tolerant Systems ISBN: 3540550925 ISBN-13(EAN): 9783540550921 Издательство: Springer Рейтинг: Цена: 16070.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Presents research results on problems and solutions in safety-critical system design. This work applies logic, process algebra, and action/event models to specification, modeling, analysis and verification of real-time and fault-tolerant systems.
Автор: 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.
Автор: 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.
Автор: Mathai Joseph Название: Formal Techniques in Real-Time and Fault-Tolerant Systems ISBN: 3540503021 ISBN-13(EAN): 9783540503026 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Автор: Stefan Poledna Название: Fault-Tolerant Real-Time Systems ISBN: 1475770286 ISBN-13(EAN): 9781475770285 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Provides a treatment of the issues in the design of modern responsive computer systems. This book lays the groundwork for a comprehensive model that allows critical design issues to be treated in ways that more traditional disciplines of computer research have inhibited.
Автор: Stefan Poledna Название: Fault-Tolerant Real-Time Systems ISBN: 079239657X ISBN-13(EAN): 9780792396574 Издательство: Springer Рейтинг: Цена: 23751.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Fly-by-wire airplane control systems, control of power plants, and others are required to continue their function despite faults. Fault-tolerance and real-time requirements thus constitute a kind of natural combination in process control applications. This book looks at the problem of replica non-determinism and its possible solutions.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
