Conforming the runtime inputs for hard real-time embedded systems

Kai Huang, Gang Chen, Christian Buckl, Alois Knoll

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

23 Scopus citations

Abstract

Timing is an important concern when designing an embedded system. While lots of researches on hard real-time systems focus on design-time analysis, monitoring the corresponding runtime behaviors are seldom investigated. In this paper, we investigate the conformity problem for runtime inputs of a hard real-time system. We adopt the widely used arrival curve model which captures the worst/best-cases event arrivals in the time interval domain and propose an algorithm to on-the-fly evaluate the conformity of the system input w.r.t. given arrival curves. The developed algorithm is lightweight in terms of both computation and memory overheads, which is particularly suitable for resource-constrained embedded systems. We also provide proofs and an Fpga implementation to demonstrate the effectiveness of our approach.

Original languageEnglish
Title of host publicationProceedings of the 49th Annual Design Automation Conference, DAC '12
Pages430-436
Number of pages7
DOIs
StatePublished - 2012
Event49th Annual Design Automation Conference, DAC '12 - San Francisco, CA, United States
Duration: 3 Jun 20127 Jun 2012

Publication series

NameProceedings - Design Automation Conference
ISSN (Print)0738-100X

Conference

Conference49th Annual Design Automation Conference, DAC '12
Country/TerritoryUnited States
CitySan Francisco, CA
Period3/06/127/06/12

Keywords

  • greedy shaper
  • leaky bucket
  • real-time calculus

Fingerprint

Dive into the research topics of 'Conforming the runtime inputs for hard real-time embedded systems'. Together they form a unique fingerprint.

Cite this