eprintid: 10042 rev_number: 6 eprint_status: archive userid: 1 dir: disk0/00/01/00/42 datestamp: 2009-11-25 14:55:41 lastmod: 2012-08-15 08:50:50 status_changed: 2012-08-15 08:50:50 type: conferenceObject metadata_visibility: show creators_name: Schmidlin Fajardo Silva, Raul creators_name: Hesser, Jürgen creators_name: Männer, Reinhard title: Fault Propagation Analysis on the Transaction-Level Model of an Acquisition System with Bus Fallback Modes ispublished: pub subjects: ddc-004 divisions: i-720000 keywords: Signal faults, mixed signal verification, system design, fault modeling, system model 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. abstract_translated_lang: eng date: 2009 date_type: published id_scheme: DOI id_number: 10.11588/heidok.00010042 portal_cluster_id: p-ddcs09 portal_order: 05 ppn_swb: 1384039988 own_urn: urn:nbn:de:bsz:16-opus-100429 language: eng bibsort: SCHMIDLINFFAULTPROPA2009 full_text_status: public series: International Workshop on the Design of Dependable Critical Systems volume: 5 citation: Schmidlin Fajardo Silva, Raul ; Hesser, Jürgen ; Männer, Reinhard (2009) Fault Propagation Analysis on the Transaction-Level Model of an Acquisition System with Bus Fallback Modes. [Conference Item] document_url: https://archiv.ub.uni-heidelberg.de/volltextserver/10042/1/Fault_Propagation_Analysis_on_the_Transaction_Level_Model_of_an_Acquisition_System_with_Bus_Fallback_Modes.pdf