mdh.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
Non-Intrusive System-Level Fault Tolerance for an Electronic Throttle Controller
Massachusetts Institute of Technology, USA.
Massachusetts Institute of Technology, USA.
Massachusetts Institute of Technology, USA.
Massachusetts Institute of Technology, USA.ORCID iD: 0000-0003-0904-3712
2006 (English)In: Proceedings ICN 2006, ICONS 2006, MVL 2006, 2006Conference paper, Published paper (Refereed)
Abstract [en]

This paper describes the methodology used to add nonintrusive system-level fault tolerance to an electronic throttle controller. The original model of the throttle controller is a hybrid system created at a major automotive company. We use Gurkh as a framework within which we translate the hybrid model into a set of timed automata and perform analysis using formal methods. The first step of the translation process is to transform the hybrid model and its static schedule into Gurkh’s preemptive tasking paradigm. Using the UPPAAL tool, we then check the correctness of the resulting set of timed-automata by formally verifying reachability and timing properties. We also propose a method for quantifying the quality of the translation by estimating the amount of jitter thence introduced. The final step is the implementation of a Monitoring Chip based on the formal system model. The chip provides non-intrusive "out-of-path" and timing error detection which in turn allows for fault tolerance at a system level.

Place, publisher, year, edition, pages
2006.
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-7143DOI: 10.1109/ICNICONSMCL.2006.156ISBN: 0-7695-2552-0 (print)OAI: oai:DiVA.org:mdh-7143DiVA, id: diva2:237153
Conference
International Conference on Networking, International Conference on Systems and International Conference on Mobile Communications and Learning Technologies, 2006. ICN/ICONS/MCL 2006, Morne, Mauritius, 23-29 April 2006
Available from: 2009-09-25 Created: 2009-09-25 Last updated: 2015-09-15Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records BETA

Lundqvist, Kristina

Search in DiVA

By author/editor
Lundqvist, Kristina
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 46 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf