Fundamentals of Dependable Computing for Software Engineers
Fundamentals of Dependable Computing for Software Engineers
复制标题
软件工程师可靠计算基础知识
DOI：
10.1201/b11667
复制
发表时间：
2012
影响因子：
3.4
通讯作者：
J. Knight
中科院分区：
文献类型：
--
作者：
J. Knight
软件工程师可靠计算基础介绍了计算机系统可靠性的基本要素。本书描述了全面的可靠性工程过程，并解释了软件和软件工程师在计算机系统可靠性中的作用。读者将了解到： 为什么可靠性很重要 系统可靠意味着什么 如何构建可靠的软件系统 如何评估软件系统是否足够可靠 作者重点关注将故障率降低到可接受水平所需的操作，涵盖了工程师开发具有极端故障后果的系统（例如安全关键系统、安全关键系统和关键基础设施系统）所需的材料。本书探讨了可靠性的系统工程方面，并为工程师提供了一个框架，用于对软件及其可靠性进行推理和决策。它还提供了实现软件可靠性的综合方法，并包括最相关文献的参考书目。本书强调可靠性的软件工程要素，帮助航空电子设备、医疗设备、汽车电子、武器系统和先进信息系统等需要超高可靠性领域的软件和计算机工程师构建可靠且在预算和时间限制内的软件系统。
Fundamentals of Dependable Computing for Software Engineers presents the essential elements of computer system dependability. The book describes a comprehensive dependability-engineering process and explains the roles of software and software engineers in computer system dependability. Readers will learn: Why dependability matters What it means for a system to be dependable How to build a dependable software system How to assess whether a software system is adequately dependable The author focuses on the actions needed to reduce the rate of failure to an acceptable level, covering material essential for engineers developing systems with extreme consequences of failure, such as safety-critical systems, security-critical systems, and critical infrastructure systems. The text explores the systems engineering aspects of dependability and provides a framework for engineers to reason and make decisions about software and its dependability. It also offers a comprehensive approach to achieve software dependability and includes a bibliography of the most relevant literature. Emphasizing the software engineering elements of dependability, this book helps software and computer engineers in fields requiring ultra-high levels of dependability, such as avionics, medical devices, automotive electronics, weapon systems, and advanced information systems, construct software systems that are dependable and within budget and time constraints.