2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications 2012
DOI: 10.1109/rtcsa.2012.21
|View full text |Cite
|
Sign up to set email alerts
|

Real-Time Scheduling of Energy Harvesting Embedded Systems with Timed Automata

Abstract: International audienceIn this paper, we propose feasibility and schedulability tests for a real-time scheduling problem under energy constraints. We first introduce the problem and show how to model it using timed automata. We propose then a feasibility test based on CTL model checking and schedulability tests for EDF and fixed priority algorithms. Our approach also permits to generate a feasible schedule if one exists and otherwise to find the good characteristics of a battery to make the problem feasible. It… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
4
1

Citation Types

0
12
0

Year Published

2013
2013
2024
2024

Publication Types

Select...
5
2
1

Relationship

0
8

Authors

Journals

citations
Cited by 14 publications
(12 citation statements)
references
References 18 publications
(18 reference statements)
0
12
0
Order By: Relevance
“…To overcome the problem of battery life, an energy harvesting approach has been designed by many researchers [1], [14], [15]. The lifetime of such real time system can be enhanced using energy harvesting and the problem of battery charging is also reduced.…”
Section: Related Workmentioning
confidence: 99%
See 1 more Smart Citation
“…To overcome the problem of battery life, an energy harvesting approach has been designed by many researchers [1], [14], [15]. The lifetime of such real time system can be enhanced using energy harvesting and the problem of battery charging is also reduced.…”
Section: Related Workmentioning
confidence: 99%
“…Many researchers also have been presented for energy harvesting in real time systems which work differently from DVFS/DPM [19]. The task scheduling in such systems is also based on EDF [15], [17].…”
Section: Related Workmentioning
confidence: 99%
“…Energy model can be expressed in three different ways such as energy production model, energy consumption model, and energy storage model (Yasmina and Masson, 2012).…”
Section: Energy Modelmentioning
confidence: 99%
“…Research on fixed priority scheduling for RTEH systems is recent [1], [2]. An optimal scheduler, namely PFPasap, is proposed.…”
Section: Related Workmentioning
confidence: 99%