| 书目名称 | Formal Techniques in Real-Time and Fault-Tolerant Systems |
| 编辑 | Jan Vytopil |
| 视频video | |
| 丛书名称 | The Springer International Series in Engineering and Computer Science |
| 图书封面 |  |
| 描述 | .Formal Techniques in Real-Time and Fault-Tolerant Systems.focuses on the state of the art in formal specification, developmentand verification of fault-tolerant computing systems. The term`fault-tolerance‘ refers to a system having properties which enable itto deliver its specified function despite (certain) faults of itssubsystem. Fault-tolerance is achieved by adding extra hardware and/orsoftware which corrects the effects of faults. In this sense, a systemcan be called fault-tolerant if it can be proved that the resulting(extended) system under some model of reliability meets thereliability requirements..The main theme of .Formal Techniques in Real-Time andFault-Tolerant. .Systems. can be formulated as follows: how dothe specification, development and verification of conventional andfault-tolerant systems differ? How do the notations, methodology andtools used in design and development of fault-tolerant andconventional systems differ?..Formal Techniques in Real-Time and Fault-Tolerant Systems. isdivided into two parts. The chapters in Part One set the stage forwhat follows by defining the basic notions and practices of the fieldof design and specification of fault-tolerant syst |
| 出版日期 | Book 1993 |
| 关键词 | Hardware; Text; development; formal method; formal specification; modeling; verification |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-1-4615-3220-0 |
| isbn_softcover | 978-1-4613-6414-6 |
| isbn_ebook | 978-1-4615-3220-0Series ISSN 0893-3405 |
| issn_series | 0893-3405 |
| copyright | Springer Science+Business Media New York 1993 |
发表于 2025-3-21 17:52:09
