By John Knight
ISBN-10: 1439862559
ISBN-13: 9781439862551
ISBN-10: 1439862567
ISBN-13: 9781439862568
Fundamentals of liable Computing for software program Engineers offers the fundamental components of computing device approach dependability. The e-book describes a complete dependability-engineering approach and explains the jobs of software program and software program engineers in desktop process dependability.
Readers will learn:
- Why dependability matters
- What it capability for a procedure to be dependable
- How to construct a accountable software program system
- How to evaluate even if a software program process is sufficiently dependable
The writer makes a speciality of the activities had to decrease the speed of failure to an appropriate point, protecting fabric crucial for engineers constructing platforms with severe results of failure, equivalent to safety-critical structures, security-critical platforms, and important infrastructure platforms. The textual content explores the platforms engineering facets of dependability and gives a framework for engineers to cause and make judgements approximately software program and its dependability. It additionally bargains a entire method of in attaining software program dependability and encompasses a bibliography of the main appropriate literature.
Emphasizing the software program engineering components of dependability, this ebook is helping software program and computing device engineers in fields requiring ultra-high degrees of dependability, reminiscent of avionics, scientific units, automobile electronics, weapon platforms, and complicated details structures, build software program structures which are responsible and inside funds and time constraints.
Read or Download Fundamentals of Dependable Computing for Software Engineers PDF
Similar design & architecture books
Chip Multiprocessor Architecture: Techniques to Improve - download pdf or read online
Chip multiprocessors - also referred to as multi-core microprocessors or CMPs for brief - at the moment are the single method to construct high-performance microprocessors, for various purposes. huge uniprocessors aren't any longer scaling in functionality, since it is just attainable to extract a restricted quantity of parallelism from a regular guide move utilizing traditional superscalar guideline factor ideas.
Download PDF by Behzad Razavi: Principles of Data Conversion System Design
This complex textual content and reference covers the layout and implementation of built-in circuits for analog-to-digital and digital-to-analog conversion. It starts with simple innovations and systematically leads the reader to complicated themes, describing layout matters and methods at either circuit and method point.
Get A VLSI Architecture for Concurrent Data Structures PDF
Concurrent facts constructions simplify the advance of concurrent courses through encapsulating universal mechanisms for synchronization and commu nication into facts constructions. This thesis develops a notation for describing concurrent info constructions, offers examples of concurrent facts constructions, and describes an structure to help concurrent facts buildings.
- Collaboration with Cloud Computing. Security, Social Media, and Unified Communications
- Digital Video: An Introduction to MPEG-2
- Structured Analog CMOS Design
- Design for High Performance, Low Power, and Reliable 3D Integrated Circuits
- Mastering JXTA: Building Java Peer-to-Peer Applications
Additional resources for Fundamentals of Dependable Computing for Software Engineers
Sample text
3 The Role of Terminology A complete and accurate terminology is essential if we are to be able to communicate about dependability. Precise notions of the terms that we use help communication between customers, domain experts, systems engineers, software engineers, engineers in other disciplines, and managers. Terminology is generally useful, but terminology becomes crucial when defining the dependability requirements for a system. We must be able to set those requirements so that those building the system know what their goals are.
We want to be sure, for example, that medical devices upon which we depend operate safely and do not cause us injury. Injury, however, can occur because of action or because of lack of action, and so making such devices safe is far from simple. Many systems cannot cause harm and so safety is not a requirement for them. A computer game console, for example, has little need for safety except for the most basic things such as protecting the user from high voltages, sharp edges, and toxic materials.
If the game is defective, and the defect affects a large fraction of the users, the cost to patch or replace the game could be huge. The loss of reputation for the manufacturer of the game might be important too. If the game is an on-line, multi-user game, then the potential cost of failure is higher. Many such games operate world wide, and so large numbers of servers provide the shared service to large numbers of users and an extensive communications network connects everybody together. Access to the game requires a monthly subscription, and the revenue generated thereby is substantial.
Fundamentals of Dependable Computing for Software Engineers by John Knight
by Christopher
4.1