By Semeen Rehman,Muhammad Shafique,Jörg Henkel

This publication describes novel software program suggestions to extend reliability below user-defined constraints.  The authors’ method bridges, for the 1st time, the reliability hole among and software program. Readers will how one can in achieving elevated gentle errors resilience on unreliable undefined, whereas exploiting the inherent mistakes covering features and mistake (stemming from delicate blunders, getting older, and technique diversifications) mitigations power at diversified software program layers.

Show description

Read or Download Reliable Software for Unreliable Hardware: A Cross Layer Perspective PDF

Best systems architecture books

Open Text Metastorm ProVision® 6.2 Strategy Implementation

This is often either a realistic and theoretical advisor detailing the right way to installation a profitable ProVision® method, utilizing a couple of actual company instances alongside the way in which. in contrast to different structure books, the process is holistic - it appears on the complete lifecycle of establishing a enterprise case, via to utilizing the product.

SystemC and SystemC-AMS in Practice: SystemC 2.3, 2.2 and SystemC-AMS 1.0

This booklet describes how engineers could make optimal use of the 2 ordinary analysis/design instruments, SystemC and SystemC-AMS.  The authors use a system-level layout method, emphasizing how SystemC and SystemC-AMS good points should be exploited so much successfully to analyze/understand a given digital procedure and discover the layout house.

HSPA Evolution: The Fundamentals for Mobile Broadband

This e-book is vital analyzing for these wishing to acquire a structures point of view and a wide view at the heritage, functionality and alertness of the newest advancements in HSPA within the context of the calls for on today’s cellular broadband units and networks. It takes the reader behind the curtain of 3GPP and gives an simply obtainable realizing of the elemental ideas, the most recent steps within the standard’s evolution, and the motivations in the back of the advance of standardized good points.

Formal Specification Level: Concepts, Methods, and Algorithms

This publication introduces a brand new point of abstraction that closes the distance among the textual specification of embedded platforms and the executable version on the digital method point (ESL). Readers should be enabled to function at this new, Formal Specification point (FSL), utilizing versions which not just permit major verification projects during this early level of the layout circulation, but in addition could be extracted semi-automatically from the textual specification in an interactive demeanour.

Extra info for Reliable Software for Unreliable Hardware: A Cross Layer Perspective

Sample text

Download PDF sample

Rated 4.86 of 5 – based on 19 votes