Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997. ,
DOI : 10.1007/s100090050010
Estimating the Worst-Case Energy Consumption of Embedded Software, 12th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS'06), pp.81-90, 2006. ,
DOI : 10.1109/RTAS.2006.17
Predictive system shutdown and other architectural techniques for energy efficient programmable computation, IEEE Transactions on Very Large Scale Integration (VLSI) Systems, vol.4, issue.1, pp.42-55, 1996. ,
DOI : 10.1109/92.486080
A scheduling model for reduced CPU energy, Proceedings of IEEE 36th Annual Foundations of Computer Science, pp.374-382, 1995. ,
DOI : 10.1109/SFCS.1995.492493
Synthesis techniques for low-power hard real-time systems on variable voltage processors, Proceedings of the IEEE Real-Time Systems Symposium, ser. RTSS '98, p.178, 1998. ,
Power conscious fixed priority scheduling for hard real-time systems, Proceedings of the 36th ACM/IEEE conference on Design automation conference , DAC '99, pp.134-139, 1999. ,
DOI : 10.1145/309847.309901
Voltage clock scaling adaptive scheduling techniques for low power in hard real-time systems, Proceedings of the 6th IEEE Real-Time Technology and Applications Symposium, ser. RTASâ??00, 2000. ,
Scheduling of frame-based embedded systems with rechargeable, Proceeding of Workshop on Power Management for Real-Time and Embedded Systems (in conjunction with RTAS), 2001. ,
Real-time scheduling for energy harvesting sensor nodes, Real-Time Systems, vol.9, issue.2, pp.233-260, 2007. ,
DOI : 10.1007/s11241-007-9027-0
Real-time Scheduling of periodic tasks in a monoprocessor system with a rechargeable battery, WIP Session Proceedings of The 30th IEEE Real-Time Systems Symposium, IEEE, p.45, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00542182
A real-time scheduling framework for embedded systems with environmental energy harvesting, Computers & Electrical Engineering, vol.37, issue.4, pp.498-510, 2011. ,
DOI : 10.1016/j.compeleceng.2011.05.003
URL : https://hal.archives-ouvertes.fr/hal-00691217
Fixed Priority Scheduling Strategies for Ambient Energy-Harvesting Embedded Systems, 2011 IEEE/ACM International Conference on Green Computing and Communications, pp.50-55 ,
DOI : 10.1109/GreenCom.2011.17
URL : https://hal.archives-ouvertes.fr/hal-00598718
Scheduling with timed automata, Theoretical Computer Sciences, vol.354, issue.2, 2006. ,
Scheduling a steel plant with timed automata, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306), pp.280-286, 1999. ,
DOI : 10.1109/RTCSA.1999.811256
Task automata: Schedulability, decidability and undecidability, Information and Computation, vol.205, issue.8, pp.1149-1172, 2007. ,
DOI : 10.1016/j.ic.2007.01.009
URL : http://doi.org/10.1016/j.ic.2007.01.009
Self-suspending periodic real-time tasks using model checking, Work-in-Progress Session of 32nd IEEE Real- Time Systems Symposium, ser. WIP-RTSS'11, 2011. ,
Automata for modeling real-time systems, International Colloquium on Automata, Languages and Programming (ICALP), 1990. ,
DOI : 10.1007/BFb0032042
Algorithmic problems in analysis of real time system specifications, 1992. ,
Decidable Integration Graphs, Information and Computation, vol.150, issue.2, pp.209-243, 1999. ,
DOI : 10.1006/inco.1998.2774
URL : http://doi.org/10.1006/inco.1998.2774
Logics of Programs, Workshop, ser, Lecture Notes in Computer Science, vol.131, 1982. ,
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
Uppaal implementations ,