@inproceedings{ccc0cce464b641c8a55e0c057c183feb,
title = "Conforming the runtime inputs for hard real-time embedded systems",
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.",
keywords = "greedy shaper, leaky bucket, real-time calculus",
author = "Kai Huang and Gang Chen and Christian Buckl and Alois Knoll",
year = "2012",
doi = "10.1145/2228360.2228436",
language = "English",
isbn = "9781450311991",
series = "Proceedings - Design Automation Conference",
pages = "430--436",
booktitle = "Proceedings of the 49th Annual Design Automation Conference, DAC '12",
note = "49th Annual Design Automation Conference, DAC '12 ; Conference date: 03-06-2012 Through 07-06-2012",
}