Survey on Estimation and Optimization of Worst-case Execution Time with Energy Consumption Constraint

Meng, Fanqi; Sun, Haochen; Wang, Jingdong

doi:10.1109/cicn49253.2020.9242624

Cited by 1 publication

(1 citation statement)

References 28 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…31,32 The feedback-directed optimization process 33 uses compiler technology called to derive a WCET profile for a program that can be implemented in mainstream compilers, instead of using specialized compilers. A survey discussing recent contributions on estimation and optimization of WCET is presented in Meng et al 34 Zhang and Burns 15 showed that dynamic schemes using WCET are effective for sufficient schedulability analysis under EDF scheduling with arbitrary relative deadlines. Kuo et al 23 presented new schedulability tests for single processor systems with heavy loads.…”

Section: Introductionmentioning

confidence: 99%

Integrating I-DEVS and schedulability methods for analyzing real-time systems constraints

Mello

Wainer

2022

SIMULATION

View full text Add to dashboard Cite

The design of embedded real-time systems (RTS) is challenging due to the criticality of the timing constraints of these systems. Various informal and formal methods for RTS design have been proposed, both in the design space and the real-time execution at the hardware level, but many of these methods are not effective when the complexity of the system scales up. Here, we discuss a new method to integrate a modeling (and simulation) formalism that allows designing complex systems specifications for real-time constraints called Imprecise-DEVS (I-DEVS), and the mapping of such high-level models into a real-time task model. This method allows analyzing real-time constraints both at the high level of modeling as well as the low level of the tasks executed by the processing units and the Operating System. A new method to study the schedulability of the task models is proposed. The method provides a design analysis space from the model level, up to the individual tasks, with a focus on the schedulability of real-time constraints under transient overloading conditions.

show abstract

Section: Introductionmentioning

confidence: 99%