Home » Fundamentals of Dependable Computing for Software Engineers
Product Image

Fundamentals of Dependable Computing for Software Engineers

John Knight
€65.99
Quantity:
In stock with our UK publisher. 14-28 days
Delivery/Collection within 10-20 working days
14 days return policy Shipping & Delivery
A01=John Knight
Author_John Knight
Byzantine Faults
Byzantine Generals Problem
Category=UMB
Category=UMZ
Category=UY
computer system dependability
critical systems safety
Degradation Faults
Dependability Requirements
dependability-engineering process
Dependable Computing for Software Engineers
dependable software system
Design Faults
Disk Drive
eq_bestseller
eq_computing
eq_isMigrated=1
eq_isMigrated=2
eq_nobargain
eq_non-fiction
error detection methods
Exception Handlers
Failed Disk Drive
Fault Avoidance
Fault Elimination
Fault Tolerance
Fault Tree
Launch Vehicles
Loop Invariant
mission-critical applications
Peripheral Device
reliability engineering
risk assessment software
Safety Critical Systems
Software
software dependability
Software Development Process
software engineering
Software Fault
Software Fault Avoidance
Software Fault Elimination
Software Fault Tolerance
Software System
State Restoration
systems engineering
systems engineering principles
Test Coverage Metrics
Triple Modular Redundancy
ultra-reliable software systems
Watchdog Timer

Product details

  • ISBN 9781439862551
  • Weight: 612g
  • Dimensions: 156 x 234mm
  • Publication Date: 12 Jan 2012
  • Publisher: Taylor & Francis Inc
  • Publication City/Country: US
  • Product Form: Paperback
Secure checkout Fast Shipping Easy returns
Description

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 John Knight

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.

More from this author