Directly to content
  1. Publishing |
  2. Search |
  3. Browse |
  4. Recent items rss |
  5. Open Access |
  6. Jur. Issues |
  7. DeutschClear Cookie - decide language by browser settings

Fault Propagation Analysis on the Transaction-Level Model of an Acquisition System with Bus Fallback Modes

Schmidlin Fajardo Silva, Raul ; Hesser, Jürgen ; Männer, Reinhard

[thumbnail of Fault_Propagation_Analysis_on_the_Transaction_Level_Model_of_an_Acquisition_System_with_Bus_Fallback_Modes.pdf]
Preview
PDF, English
Download (986kB) | Terms of use

Citation of documents: Please do not cite the URL that is displayed in your browser location input, instead use the DOI, URN or the persistent URL below, as we can guarantee their long-time accessibility.

Abstract

The early fault analysis is mandatory for safety critical systems, which are required to operate safely even on the presence of faults. System design methodologies tackle the early design and verification of systems by allowing several abstraction for their models, but still offer only digital bit faults as fault models. Therefore we develop a signal fault model for the Transaction-Level Modeling. We extend the TLM generic payload by the signal characteristics: Voltage level, delay, slope time and glitches. In order to analyze and process these, a TLM bus model is created, with which signal faults can be detected and translated to data failures. Furthermore, inserting this bus in an acquisition system and implementing fallback modes for the bus operation, the propagation of the signal faults through the system can be assessed. Simulating this model using probability distributions for the different signal faults, 5516 faults have been generated. From these, 5143 have been recovered, 239 isolated and 134 turned into failures.

Document type: Conference Item
Series Name: International Workshop on the Design of Dependable Critical Systems
Volume: 5
Date Deposited: 25 Nov 2009 14:55
Date: 2009
Faculties / Institutes: Service facilities > Institut f. Technische Informatik (ZITI)
DDC-classification: 004 Data processing Computer science
Uncontrolled Keywords: Signal faults, mixed signal verification, system design, fault modeling, system model
About | FAQ | Contact | Imprint |
OA-LogoDINI certificate 2013Logo der Open-Archives-Initiative