Fundamentals of Dependable Computing for Software Engineers

Charlottesville, USA) John Knight (University of Virginia

ISBN 10: 1138402222 / ISBN 13: 9781138402225

Published by CRC Press, 2017

About this Item

Fundamentals of Dependable Computing for Software Engineers | Charlottesville, USA) John Knight (University of Virginia | Buch | Chapman & Hall/CRC Innovations in Software Engineering and Software Development Series | Einband - fest (Hardcover) | Englisch | 2017 | CRC Press | EAN 9781138402225 | Verantwortliche Person für die EU: preigu GmbH & Co. KG, Lengericher Landstr. 19, 49078 Osnabrück, mail[at]preigu[dot]de | Anbieter: preigu Print on Demand.

Seller Inventory # 133269930

Bibliographic Details

• Title: Fundamentals of Dependable Computing for Software Engineers
• Publisher: CRC Press
• Publication Date: 2017
• Language: English
• ISBN 10: 1138402222
• ISBN 13: 9781138402225
• Binding: Buch
• Condition: Neu
• Dimensions: 26W x 161H x 242D millimeters 26 millimeters width by 161 millimeters height by 242 millimeters depth
• Weight: 700 grams
• Seller catalogs:
  • Bücher

About this title

Synopsis

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.

About the Author

John Knight is a professor of computer science at the University of Virginia. Prior to joining the University of Virginia, he was with NASA's Langley Research Center. Dr. Knight has been a recipient of the Harlan D. Mills award from the IEEE Computer Society and the Distinguished Service award from ACM's Special Interest Group on Software Engineering (SIGSOFT). He is an editorial board member of the Empirical Software Engineering Journal and was editor of the IEEE Transactions on Software Engineering from January 2002 to December 2005.