Symbolic Voter Placement for Dependability-Aware System Synthesis

Provided by: Association for Computing Machinery
Topic: Hardware
Format: PDF
In this paper, the authors present a system synthesis approach for dependable embedded systems. The proposed approach significantly extends previous work by automatically inserting fault detection and fault toleration mechanisms into an implementation. This paper is a dependability-aware system synthesis approach that automatically performs a redundant task binding and placement of voting structures to increase both, reliability and safety, respectively, an efficient dependability analysis approach to evaluate lifetime reliability and safety and results from synthesizing a Motion-JPEG decoder for an FPGA platform using the proposed system synthesis approach.

Find By Topic