Mainstay Basic Computing: Models and Frameworks for Dependable Systems presents two comprehensive framework for reasoning about the dependency system, thus forming the context for understanding the role played by the specific approach of this book is presented in two companion volumes. A companion to this book (published by Kluwer), Paradigm subtitle for reliable applications, presents a variety of specific approaches to achieve reliability at the application level. Driven by higher-level model error model and framework for dependable system, and built on the lower level of abstraction is implemented in a third companion book subtitle System implementation, this approach shows how dependency may be suitable for application requirements, environmental mistakes, and characteristics from the target platform. Another companion book (published by Kluwer) subtitle System Implementation, explores the systems infrastructure necessary to support the various paradigms paradigm for reliable applications.