, 169 Bibliography [AC13] Yasmina Abdeddaïm and Younès Chandarli. Optimal Real-Time Scheduling Algorithm for Fixed-Priority Energy-Harvesting Systems. technical report, p.249, 2013.
, The Optimality of P F P ASAP Algorithm for Fixed-Priority Energy-Harvesting Real-Time Systems, Proceedings of the Euromicro Conference on Real- Time Systems (ECRTS). 2013, pp.149-249
, Toward an Optimal Fixed-Priority Algorithm for Energy-Harvesting Real- Time Systems, Proceedings of the Work in progress session of the IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS). 2013, pp.45-48
, Schedulability Analysis for Fixed Priority Real-Time Systems with Energy-Harvesting, Proceedings of the 22nd International Conference on Real-Time Networks and Systems, RTNS '14, pp.67-76
DOI : 10.1145/2659787.2659821
, Selfpowered resonant frequency tuning for Piezoelectric Vibration Energy Harvesters, Journal of Physics: Conference Series, vol.4761, 2013.
, Minimizing peak temperature in embedded real-time systems via thermal-aware periodic resources, Sustainable Computing: Informatics and Systems, p.175, 2011.
DOI : 10.1016/j.suscom.2011.05.006
, Scheduling of Frame-based Embedded Systems with Rechargeable Batteries, Proceedings of the International Workshop on Real-Time and Embedded Systeme, 2001.
, Self-powered signal processing using vibration-based power generation, IEEE Journal of Solid-State Circuits, vol.33, issue.5, pp.687-695, 1998.
DOI : 10.1109/4.668982
, On Priority Asignment in Fixed Priority Scheduling, Information Processing Letters, vol.791, pp.39-44, 2001.
, Applying New Scheduling Theory to Static Priority Pre- Emptive Scheduling, In: Software Engineering Journal, vol.8, pp.284-292, 1993.
, Optimal Priority Assignment And Feasibility Of Static Priority Tasks With Arbitrary Start Times, 1991.
, Periodic charging scheme for fixed-priority real-time systems with renewable energy, Proceedings of the 9th IEEE International Symposium on Industrial Embedded Systems (SIES 2014)
DOI : 10.1109/SIES.2014.6871179
, Algorithms and Complexity Concerning the Preemptive Scheduling of Periodic, Real-Time Tasks on One Processor, Time Systems, vol.2, pp.301-324, 1990.
, Algorithms and Complexity Concerning the Preemptive Scheduling of Periodic, Real-Time Tasks on One Processor, Time Systems, vol.2, pp.301-324, 1990.
, A Generalized Parallel Task Model for Recurrent Real-time Processes, 2012 IEEE 33rd Real-Time Systems Symposium, pp.63-72, 2012.
DOI : 10.1109/RTSS.2012.59
, Cache-Related Preemption and Migration Delays: Empirical Approximation and Impact on Schedulability, Proceedings of the Annual Workshop on Operating Systems Platforms for Embedded Real-Time Applications, pp.2010-149
, Estimating the WCET of GPU-Accelerated Applications Using Hybrid Analysis, 2013 25th Euromicro Conference on Real-Time Systems
DOI : 10.1109/ECRTS.2013.29
, Measuring the Performance of Schedulability Tests, Real-Time Systems, vol.20, issue.1, pp.129-154, 2005.
DOI : 10.1007/s11241-005-0507-9
, Rate monotonic analysis: the hyperbolic bound, IEEE Transactions on Computers, vol.52, issue.7, pp.933-942, 2003.
DOI : 10.1109/TC.2003.1214341
, Batteries in a Portable World, pp.60-61, 2011.
, Hard Real-Time Computing Systems, pp.28-234, 2011.
DOI : 10.1007/0-387-27578-9
, LITMUS^RT : A Testbed for Empirically Comparing Real-Time Multiprocessor Schedulers, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06), pp.111-126, 2006.
DOI : 10.1109/RTSS.2006.27
, Histoire de l'électricité. Rencontre, 1963.
, Battery sensing for energy-aware system design, Computer, vol.38, issue.11, pp.48-54, 2005.
DOI : 10.1109/MC.2005.367
, The Fixed Priority Scheduling Problem for Energy Harvesting Real-Time Systems, 2012 IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, pp.1-92
DOI : 10.1109/RTCSA.2012.72
URL : https://hal.archives-ouvertes.fr/hal-00724622
, Response Time Analysis for Thermal-Aware Real-Time Systems under Fixed-Priority Scheduling, 2015 IEEE 18th International Symposium on Real-Time Distributed Computing
DOI : 10.1109/ISORC.2015.34
URL : https://hal.archives-ouvertes.fr/hal-01016114
, YARTISS: A Generic, Modular and Energy-Aware Scheduling Simulator for Real-Time Multiprocessor Systems. technical report
URL : https://hal.archives-ouvertes.fr/hal-01076022
, YARTISS: A Tool to Visualize, Test, Compare and Evaluate Real-Time Scheduling Algorithms, Proceedings of the International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS). 2012, pp.21-26
URL : https://hal.archives-ouvertes.fr/hal-00691985
, On the Minimization fo the Instantaneous Temperature for Periodic Real-Time Tasks, 13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'07), pp.236-248, 2007.
DOI : 10.1109/RTAS.2007.21
, Proactive Speed Scheduling for Real-Time Tasks under Thermal Constraints, 2009 15th IEEE Real-Time and Embedded Technology and Applications Symposium, pp.141-150, 2009.
DOI : 10.1109/RTAS.2009.30
, Optimal Scheduling for Real-Time Jobs in Energy Harvesting Computing Systems, IEEE Transactions on Emerging Topics in Computing, vol.2, issue.2, pp.83-240, 2014.
DOI : 10.1109/TETC.2013.2296537
URL : https://hal.archives-ouvertes.fr/hal-01332904
, Fixed Priority Scheduling Strategies for Ambient Energy-Harvesting Embedded Systems, 2011 IEEE/ACM International Conference on Green Computing and Communications, pp.50-55, 2011.
DOI : 10.1109/GreenCom.2011.17
URL : https://hal.archives-ouvertes.fr/hal-00598718
, PCB Integrated Micro Generator for Wireless Systems, Proceedings of the International Symposium on Smart Structures and Microsystems, 2000.
, FORTAS: Framework fOr Real-Time Analysis and Simulation, Proceedings of the International Workshop on Analysis Tools and Methodologies for Embedded and Realtime Systems (WATERS). 2011, pp.21-26
, Priority Assignment for Global Fixed Priority Pre-Emptive Scheduling in Multiprocessor Real-Time Systems
, Approximate Slack Stealing Algorithms for Fixed Priority Pre-emptive Systems, 1993.
, Scheduling slack-time in fixed priority pre-emptive systems, Proceedings of the International Real-Time Systems Symposium (RTSS), pp.92-127, 1993.
, A Survey of Hard Real-time Scheduling for Multiprocessor Systems, In: ACM Computing Surveys, vol.434, issue.35, pp.1-35, 2011.
, Schedulability analysis for Controller Area Network (CAN) with FIFO queues priority queues and gateways, Real-Time Systems, vol.103, issue.8, pp.73-116, 2013.
DOI : 10.1007/s11241-012-9167-8
, A batteryless wireless system uses ambient heat with a reversiblepower-source compatible CMOS/SOI DC-DC converter, Proceedings of the IEEE International Solid-State Circuits Conference, pp.388-501, 2003.
, A Real-time Scheduling Framework for Embedded Systems with Environmental Energy Harvesting, In: Computers & Electrical Engineering, vol.374, issue.86, pp.498-510, 2011.
, Review of photovoltaic technologies, Renewable and Sustainable Energy Reviews, vol.6, pp.242-247, 2011.
, Laxity-based restricted-migration scheduling, ETFA2011, pp.1-8, 2011.
DOI : 10.1109/ETFA.2011.6059012
URL : https://hal.archives-ouvertes.fr/hal-00620399
, Algorithms for Determining the Demand-Based Load of a Sporadic Task System, 12th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA'06), pp.135-146, 2006.
DOI : 10.1109/RTCSA.2006.12
, Sustainable ICT: Micro and Nanoscale Energy Management, Procedia Computer Science, vol.7, pp.103-105, 2011.
DOI : 10.1016/j.procs.2011.12.031
URL : http://doi.org/10.1016/j.procs.2011.12.031
, MAST: Modeling and analysis suite for real time applications, Proceedings 13th Euromicro Conference on Real-Time Systems, 2001.
DOI : 10.1109/EMRTS.2001.934015
, Static Probabilistic Worst Case Execution Time Estimation for Architectures with Faulty Instruction Caches, Proceedings of the International Conference on Real-Time Networks and Systems (RTNS). ACM, pp.35-44, 2013.
URL : https://hal.archives-ouvertes.fr/hal-01086884
, Impact of CMOS technology scaling on the atmospheric neutron soft error rate, IEEE Transactions on Nuclear Science, vol.47, issue.6, pp.2586-2594, 2000.
DOI : 10.1109/23.903813
, The Design and Analysis of Thermal-Resilient Hard-Real-Time Systems, Proceedings of the International Real-Time and Embedded Technology and Applications Symposium (RTAS). 2012, pp.67-76
, Grasp: Tracing, visualizing and measuring the behavior of real-time systems, Proceedings of the International Workshop on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS), 2010.
, Estimating the Worst-Case Energy Consumption of Embedded Software, Proceedings of the IEEE Real- Time and Embedded Technology and Applications Symposium (RTAS), p.68, 2006.
, The rate monotonic scheduling algorithm: exact characterization and average case behavior, Proceedings of the IEEE Conference Real-Time Systems Symposium (RTSS), 1989.
, Calculation of the soft error rate of submicron CMOS logic circuits, IEEE Journal of Solid-State Circuits, vol.30, issue.7, pp.830-834, 1995.
DOI : 10.1109/4.391126
, A Loadable Real-Time Scheduler Suite for Multicore Platforms, 2009.
, Thermal Impact of an Active 3-D Microelectrode Array Implanted in the Brain, IEEE Transactions on Neural Systems and Rehabilitation Engineering. IEEE Computer Society, pp.493-501, 2007.
, $\text{D}^{\textit{over}}$: An Optimal On-Line Scheduling Algorithm for Overloaded Uniprocessor Real-Time Systems, SIAM Journal on Computing, vol.24, issue.2, pp.318-339, 1995.
DOI : 10.1137/S0097539792236882
, An Electromagnetic Micro Power Generator for Low-Frequency Environmental Vibrations, Proceedings of the IEEE International Conference on Micro Electro Mechanical Systems (MEMS), 2004.
, Stimulus-activated changes in brain tissue temperature in the anesthetized rat, Metabolic Brain Disease, pp.225-237, 1989.
, Thermal effects of bioimplants, IEEE Engineering in Medicine and Biology Magazine. IEEE Computer Society, pp.75-81, 2005.
, On the complexity of fixed-priority scheduling of periodic, real-time tasks, Performance Evaluation, vol.2, issue.4, pp.237-250, 1982.
DOI : 10.1016/0166-5316(82)90024-4
, Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment, In: J. ACM, vol.201, issue.34, pp.46-61, 1973.
, Real-Time Systems, 2000.
URL : https://hal.archives-ouvertes.fr/hal-00544464
, Limitation of the hyper-period in realtime periodic task set generation, Proceedings of the International Conference on Real-Time Systems, pp.100-148, 2001.
, RTSS v1 and v2 " . https://svnigm.univ-mlv, pp.204-207
, Userland Approximate Slack Stealer with Low Time Complexity, Proceedings of the International Conference on Real-Time and Network Systems (RTNS), pp.29-38, 2008.
URL : https://hal.archives-ouvertes.fr/hal-00620349
, Physics-Based Time-Domain Model of a Magnetic Induction Microgenerator, IEEE Transactions on Magnetics, vol.43, issue.3, pp.992-1001, 2007.
DOI : 10.1109/TMAG.2006.888194
, Finding Response Times in a Real-Time System, The Computer Journal, pp.390-395, 1986.
, Dye-sensitized solar cells with 13% efficiency achieved through the molecular engineering of porphyrin sensitizers, Nature Chemistry, vol.110, issue.3, pp.242-247, 2014.
DOI : 10.1038/nchem.1861
, Building Parallel, Embedded, and Real-Time Applications with Ada, 2011.
DOI : 10.1017/CBO9780511973345
URL : https://hal.archives-ouvertes.fr/hal-00800816
, Vibration-to-electric Energy Conversion, IEEE Transsactions on Very Large Scale Integration Systems, vol.91, pp.64-77, 2001.
, Architectures for vibration-driven micropower generators, In: Microelectromechanical Systems, vol.133, issue.52, pp.429-440, 2004.
, Lazy Scheduling for Energy Harvesting Sensor Nodes, Proceedings of the IFIP Working Conference on Distributed and Parallel Embedded Systems, pp.86-240, 2006.
, Real-Time Scheduling with Regenerative Energy, Proceedings of the Euromicro Conference on Real-Time Systems (ECRTS). ECRTS '06, pp.261-270, 2006.
, Real-time scheduling for energy harvesting sensor nodes, Time Systems, vol.87, pp.86-89, 2007.
, A comparison of static analysis and evolutionary testing for the verification of timing constraints, Proceedings. Fourth IEEE Real-Time Technology and Applications Symposium (Cat. No.98TB100245), pp.144-154, 1998.
DOI : 10.1109/RTTAS.1998.683198
, Multi-core Interference-Sensitive WCET Analysis Leveraging Runtime Resource Capacity Enforcement, 2014 26th Euromicro Conference on Real-Time Systems
DOI : 10.1109/ECRTS.2014.20
URL : http://opus.bibliothek.uni-augsburg.de/opus4/files/2474/TR_2013_10.pdf
, Energy Scavenging for Mobile and Wireless Electronics, IEEE Pervasive Computing, vol.41, pp.18-27, 2005.
, The simulation and evaluation of dynamic voltage scaling algorithms, Proceedings of the 1998 international symposium on Low power electronics and design , ISLPED '98, pp.76-81, 1998.
DOI : 10.1145/280756.280790
, Generation of electrical energy for portable devices, Sensors and Actuators A: Physical, vol.116, issue.3, pp.461-471, 2004.
DOI : 10.1016/j.sna.2004.05.013
, Global EDF scheduling of directed acyclic graphs on multiprocessor systems, Proceedings of the 21st International conference on Real-Time Networks and Systems, RTNS '13
DOI : 10.1145/2516821.2516836
URL : https://hal.archives-ouvertes.fr/hal-00878667
, Leakage Aware Feasibility Analysis for Temperature-Constrained Hard Real-Time Periodic Tasks, 2009 21st Euromicro Conference on Real-Time Systems, pp.207-216, 2009.
DOI : 10.1109/ECRTS.2009.28
, Guaranteed scheduling for repetitive hard real-time tasks under the maximal temperature constraint, Proceedings of the 6th IEEE/ACM/IFIP international conference on Hardware/Software codesign and system synthesis, CODES/ISSS '08
DOI : 10.1145/1450135.1450196
, On Thermal Utilization of Periodic Task Sets in Uni-Processor Systems, Proceedings of the work in progress session of the the IEEE International Conference on Embedded and Real-Time Computing Systems and Applications (RTCSA), p.2013
, On Thermal Utilization of Periodic Task Sets in Uni-Processor Systems, Proceedings of the Euromicro Conference on Real-Time Systems (ECRTS), p.2014
, A piezoelectric vibration based generator for wireless electronics, Smart Materials and Structures, vol.13, issue.5, 2004.
DOI : 10.1088/0964-1726/13/5/018
, A study of low level vibrations as a power source for wireless sensor nodes, Computer Communications, vol.26, issue.11, pp.1131-1144, 2003.
DOI : 10.1016/S0140-3664(02)00248-7
, A 1.9GHz RF Transmit Beacon using Environmentally Scavenged Energy, Proceedings of the International symposium on Low Power Electronics and Devices, 2003.
, In vitro Assessment of Tissue Heating Near Metallic Medical Implants by Exposure to Pulsed Radio Frequency Diathermy, In: Physics in Medicine and Biology, pp.2919-2928, 2003.
, Maximizing rewards for real-time applications with energy constraints, ACM Transactions on Embedded Computing Systems, vol.2, issue.4, pp.537-559, 2003.
DOI : 10.1145/950162.950166
, Multiversion scheduling in rechargeable energy-aware real-time systems, 15th Euromicro Conference on Real-Time Systems, 2003. Proceedings., pp.95-104, 2003.
DOI : 10.1109/EMRTS.2003.1212732
, Energy Scavenging for Wireless Sensor Nodes with a Focus on Vibration to Electricity Conversion, 2003.
, The EDL Server for Scheduling Periodic and Soft AperiodicTasks with Resource Constraints, Time Systems, vol.171, issue.81, pp.87-111, 1999.
, Cheddar: a Flexible Real Time Scheduling Framework, The Special Interest Group on Ada, 2004.
, Investigating the usability of real-time scheduling theory with the Cheddar project, Real-Time Systems, vol.40, issue.2???3, pp.259-295, 2009.
DOI : 10.1007/s11241-009-9072-y
URL : https://hal.archives-ouvertes.fr/hal-00502357
, Temperature-aware microarchitecture, ACM Transactions on Architecture and Code Optimization, vol.1, issue.1, pp.94-125, 2004.
DOI : 10.1145/980152.980157
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.135.9559
, Invited Talk: Thermal Energy Harvesting with Thermo Life, International Workshop on Wearable and Implantable Body Sensor Networks (BSN'06), pp.19-22, 2006.
DOI : 10.1109/BSN.2006.37
, Thermoelectric micro power generator utilizing self-standing polysilicon-metal thermopile, Technical Digest. MEMS 2001. 14th IEEE International Conference on Micro Electro Mechanical Systems (Cat. No.01CH37090), pp.562-565, 2001.
DOI : 10.1109/MEMSYS.2001.906603
, Energy-harvesting chips and the quest for everlasting life, 2010.
, Lithium Ion Rechargeable Batteries specifications. technical report, 2001.
, STORM a simulation tool for real-time multiprocessor scheduling evaluation, 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010), p.1, 2009.
DOI : 10.1109/ETFA.2010.5641179
URL : https://hal.archives-ouvertes.fr/hal-00495747
, Optimization of inertial micropower Generators for human walking motion, IEEE Sensors Journal, vol.6, issue.1, pp.28-38, 2006.
DOI : 10.1109/JSEN.2005.853595
, Schedulability analysis in hard real-time systems under??thermal??constraints, Real-Time Systems, vol.39, issue.1???3, pp.160-188, 2010.
DOI : 10.1007/s11241-010-9104-7
, Delay Analysis in Temperature-Constrained Hard Real-Time Systems with General Task Arrivals, 2006 27th IEEE International Real-Time Systems Symposium (RTSS'06)
DOI : 10.1109/RTSS.2006.16
, Reactive speed control in temperature-constrained real-time systems, Real-Time Systems, vol.23, issue.6, pp.1-3, 2008.
DOI : 10.1007/s11241-007-9046-x
, Scheduling for Reduced CPU Energy, Proceedings of the USENIX Conference on Operating Systems Design and Implementation. USENIX Association, pp.73-239, 1994.
DOI : 10.1007/978-0-585-29603-6_17
, Advances in Power Sources for Wireless Sensor Nodes, proceedings of the International conference on Body Sensor Networks (BSN), pp.6-7, 2004.
, Self-Powered System with Wireless Data Transmission, Nano letters, 2011.
, Energy Management for Real-time Embedded Systems with Reliability Requirements, Proceedings of the IEEE/ACM International Conference on Computer-aided Design, pp.528-534, 2006.
, Reliability-Aware Energy Management for Periodic Real-Time Tasks, 13th IEEE Real Time and Embedded Technology and Applications Symposium (RTAS'07), 2009.
DOI : 10.1109/RTAS.2007.31
, The Effects of Energy Management on Reliability in Real-time Embedded Systems, Proceedings of the IEEE/ACM International Conference on Computer-aided Design, pp.35-40, 2004.
, Priority-monotonic energy management for real-time systems with reliability requirements, 2007 25th International Conference on Computer Design, pp.629-635, 2007.
DOI : 10.1109/ICCD.2007.4601963
, Trends in Electronic Reliability: Effects of Terrestrial Cosmic Rays