Fast and accurate estimation of soft error rate in VLSI circuits is an essential step in a soft error tolerant ASIC design. In order to have a cost e®ective protection against radiation e®ects in combinational logics, an accurate and fast method for identi ̄cation of most susceptive gates and paths is needed. In this paper, an e±cient, fast and accurate method for soft error propagation probabil...

Due to advance technologies transistor size shrinks which makes the devices more vulnerable to noise and radiation effect. This affects the reliability of memories. Built-in current sensors (BICS) have been success in the case of single event upset (SEC). The process is taken one step further by proposing specific error correction codes to protect memories against multiple-bit upsets and to imp...

Growing use of computers in safety-critical systems increases the need for Human Computer Interfaces (HCIs) to be both smarter — to detect human errors — and better designed — to reduce likelihood of errors. We are developing methods for determining the likelihood of operator errors which combine current theory on the psychological causes of human errors with formal methods for modelling human-...

The reliability and security of memories are crucial considerations in the modern digital system design. Traditional codes usually concentrate on detecting and correcting errors of certain types, e.g. errors with small multiplicities or byte errors, and cannot detect or correct unanticipated errors. Thereby, they may not be sufficient to protect memories against malicious attackers with strong ...

enhancement after contrast injection, with 4 lesions present, 10 min after contrast injection.(b) Image obtained by subtracting non-enhanced image initial image from the final image at 10 min improves visualization of simulated lesions. Arrow indicates lesion for which subsequent error calculation has been performed (see below) (c) signal intensity vs. time (SIT) curve curves associated with le...

The complexity of safety-related embedded computer systems is steadily increasing. Besides verifying that such systems implement the correct functionality, it is essential to verify that they also present an acceptable level of robustness. Robustness is in this thesis defined as the resilience of hardware, software or systems against errors that occur during runtime. One way of performing robus...

Without a reliable design method for the leaching and seepage step of in situ (ISL), problems such as low comprehensive resource recovery rate frequent geological disasters landslides are prominent. This study established simplified “liquid injection-collection” plane model ISL with linear barefoot type rare earth mine research object. The steady line equation was derived based on groundwater d...

Arbitrary faults of a single node in a time-triggered architecture (TTA) bus topology system may cause error propagation to correct nodes and may lead to inconsistent system states. This has been observed in validation work using software implemented fault injection (SWIFI) and heavy-ion fault injection techniques in a TTA cluster. In a TTA system, the membership and the clique avoidance algori...

The increasing dimensions and beam intensities of the new circular accelerators and colliders impose special demands on the performance of injection and transverse feedback systems. Injection errors blow up the emittance of a beam. The emittance increment with active feedback depends on the combination of injection error amplitude, tune spread and extra damping (above the needs for stability) b...