Skip to main navigation Skip to search Skip to main content

A Fault Propagation Model for Embedded Software

  • Beihang University
  • Antares Testing International Ltd.

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

With the the ever increasing advancement of technology, embedded software has becomes more and more complex, making it difficult to perform fault propagation analysis, understanding fault propagation in embedded software is important toward improving the reliability of the whole system. There is a significant amount of published works regarding fault propagation analysis, however much of this researches neglects to correctly model fault propagation as it applies to embedded software. In this paper, we will study the fault propagation from the perspective of signals and construct a fault propagation model based on the cellular automate(CA). On the basis of our analysis to the fault propagation in signal level, we will consider the difference between the software failure's effect and the hardware failure's effect. To conclude, we simulate a digital anti-skid braking system in software using the CA fault propagation model and analyze the result of simulation.

Original languageEnglish
Title of host publicationProceedings - 2015 IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2015
PublisherInstitute of Electrical and Electronics Engineers Inc.
Pages72-79
Number of pages8
ISBN (Electronic)9781467395984
DOIs
StatePublished - 6 Nov 2015
EventIEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2015 - Vancouver, Canada
Duration: 3 Aug 20155 Aug 2015

Publication series

NameProceedings - 2015 IEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2015

Conference

ConferenceIEEE International Conference on Software Quality, Reliability and Security-Companion, QRS-C 2015
Country/TerritoryCanada
CityVancouver
Period3/08/155/08/15

Keywords

  • Cellular automate
  • Fault propagation
  • Signal
  • Simulation

Fingerprint

Dive into the research topics of 'A Fault Propagation Model for Embedded Software'. Together they form a unique fingerprint.

Cite this