Formal Techniques in Real-Time and Fault-Tolerant Systems, Mathai Joseph

Автор: Stefan Poledna
Название: Fault-Tolerant Real-Time Systems
ISBN: 1475770286 ISBN-13(EAN): 9781475770285
Издательство: Springer
Рейтинг:
Цена: 20962.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Автор: Dongsheng Du; Bin Jiang; Peng Shi
Название: Fault Tolerant Control for Switched Linear Systems
ISBN: 3319366084 ISBN-13(EAN): 9783319366081
Издательство: Springer
Рейтинг:
Цена: 13059.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: This book presents up-to-date research and novel methodologies on fault diagnosis and fault tolerant control for switched linear systems.

Автор: 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.

Автор: 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-Tolerant Systems 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.

Автор: 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.

Автор: Jan Vytopil
Название: Formal Techniques in Real-Time and Fault-Tolerant Systems
ISBN: 0792393325 ISBN-13(EAN): 9780792393320
Издательство: Springer
Рейтинг:
Цена: 23751.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Focuses on the formal specification, development and verification of fault-tolerant computing systems. This book defines the basic notions and practices of the field of design and specification of fault-tolerant systems. It contains examples of the use of formal methods in specification and development of fault-tolerant systems.

Автор: 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.

Автор: 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.

Автор: Donald Fussell; Miroslaw Malek
Название: Responsive Computer Systems: Steps Toward Fault-Tolerant Real-Time Systems
ISBN: 0792395638 ISBN-13(EAN): 9780792395638
Издательство: Springer
Рейтинг:
Цена: 32004.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.