Document Open Access Logo

Whole-System Worst-Case Energy-Consumption Analysis for Energy-Constrained Real-Time Systems

Authors Peter Wägemann, Christian Dietrich, Tobias Distler, Peter Ulbrich, Wolfgang Schröder-Preikschat



PDF
Thumbnail PDF

File

LIPIcs.ECRTS.2018.24.pdf
  • Filesize: 0.81 MB
  • 25 pages

Document Identifiers

Author Details

Peter Wägemann
  • Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Germany
Christian Dietrich
  • Leibniz Universität Hannover (LUH), Germany
Tobias Distler
  • Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Germany
Peter Ulbrich
  • Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Germany
Wolfgang Schröder-Preikschat
  • Friedrich-Alexander-Universität Erlangen-Nürnberg (FAU), Germany

Cite AsGet BibTex

Peter Wägemann, Christian Dietrich, Tobias Distler, Peter Ulbrich, and Wolfgang Schröder-Preikschat. Whole-System Worst-Case Energy-Consumption Analysis for Energy-Constrained Real-Time Systems. In 30th Euromicro Conference on Real-Time Systems (ECRTS 2018). Leibniz International Proceedings in Informatics (LIPIcs), Volume 106, pp. 24:1-24:25, Schloss Dagstuhl - Leibniz-Zentrum für Informatik (2018)
https://doi.org/10.4230/LIPIcs.ECRTS.2018.24

Abstract

Although internal devices (e.g., memory, timers) and external devices (e.g., transceivers, sensors) significantly contribute to the energy consumption of an embedded real-time system, their impact on the worst-case response energy consumption (WCRE) of tasks is usually not adequately taken into account. Most WCRE analysis techniques, for example, only focus on the processor and therefore do not consider the energy consumption of other hardware units. Apart from that, the typical approach for dealing with devices is to assume that all of them are always activated, which leads to high WCRE overestimations in the general case where a system switches off the devices that are currently not needed in order to minimize energy consumption. In this paper, we present SysWCEC, an approach that addresses these problems by enabling static WCRE analysis for entire real-time systems, including internal as well as external devices. For this purpose, SysWCEC introduces a novel abstraction, the power-state-transition graph, which contains information about the worst-case energy consumption of all possible execution paths. To construct the graph, SysWCEC decomposes the analyzed real-time system into blocks during which the set of active devices in the system does not change and is consequently able to precisely handle devices being dynamically activated or deactivated.

Subject Classification

ACM Subject Classification
  • Computer systems organization → Real-time systems
Keywords
  • energy-constrained real-time systems
  • worst-case energy consumption (WCEC)
  • worst-case response energy consumption (WCRE)
  • static whole-system analysis

Metrics

  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    0
    PDF Downloads

References

  1. AEEC. Avionics application software standard interface (ARINC specification 653-1), 2003. Google Scholar
  2. aiT worst-case execution time analyzers. URL: http://www.absint.com/ait/.
  3. ARM Limited. Cortex-M4 technical reference manual, 2010. Google Scholar
  4. ARM Limited. Cortex-M0+ technical reference manual, 2012. Google Scholar
  5. N. Audsley, A. Burns, M. Richardson, K. Tindell, and A. Wellings. Applying new scheduling theory to static priority pre-emptive scheduling. Software Engineering Journal, 8(5):284-292, 1993. Google Scholar
  6. T. P. Baker. A stack-based resource allocation policy for realtime processes. In Proc. of the 11th Real-Time Systems Symp. (RTSS '90), pages 191-200, 1990. Google Scholar
  7. T. P. Baker. Stack-based scheduling of realtime processes. Real-Time Systems, 3(1):67-99, 1991. Google Scholar
  8. M. Bambagini, M. Marinoni, H. Aydin, and G. Buttazzo. Energy-aware scheduling for real-time systems: A survey. ACM Trans. on Embedded Computing Systems (ACM TECS), 15(1):7, 2016. Google Scholar
  9. L. Benini, A. Bogliolo, and G. De Micheli. A survey of design techniques for system-level dynamic power management. IEEE Trans. on Very Large Scale Integration (VLSI) Systems, 8(3):299-316, 2000. Google Scholar
  10. A. Biere, J. Knoop, L. Kovács, and J. Zwirchmayr. The auspicious couple: Symbolic execution and WCET analysis. In Proc. of the 13th Int'l Work. on Worst-Case Execution Time Analysis (WCET '13), pages 53-63, 2013. Google Scholar
  11. S. Bucur, V. Ureche, C. Zamfir, and G. Candea. Parallel symbolic execution for automated real-world software testing. In Proc. of the ACM SIGOPS European Conf. on Computer Systems (EuroSys '11), pages 183-197, 2011. Google Scholar
  12. A. Carroll and G. Heiser. An analysis of power consumption in a smartphone. In Proc. of the USENIX Annual Technical Conf. (ATC '10), pages 1-14, 2010. Google Scholar
  13. N. Chang, K. Kim, and H. G. Lee. Cycle-accurate energy consumption measurement and analysis: Case study of ARM7TDMI. In Proc. of the 2000 Int'l Symp. on Low Power Electronics and Design (ISLPED '00), pages 185-190, 2000. Google Scholar
  14. J.-J. Chen and C.-F. Kuo. Energy-efficient scheduling for real-time systems on dynamic voltage scaling (DVS) platforms. In Proc. of the 13th Int'l Conf. on Embedded and Real-Time Computing Systems and Applications (RTCSA '07), pages 28-38, 2007. Google Scholar
  15. R. I. Davis. On the evaluation of schedulability tests for real-time scheduling algorithms. In Proc. of the Work. on Analysis Tools and Methodologies for Embedded and Real-time Systems (WATERS '16), 2016. Google Scholar
  16. H.-P. Deifel, C. Dietrich, M. Göttlinger, D. Lohmann, S. Milius, and L. Schröder. Automatic verification of application-tailored OSEK kernels. In Proc. of the 17th Conf. on Formal Methods in Computer-Aided Design (FMCAD '17), pages 1-8, 2017. Google Scholar
  17. C. Dietrich, M. Hoffmann, and D. Lohmann. Cross-kernel control-flow-graph analysis for event-driven real-time systems. In Proc. of the Conf. on Languages, Compilers and Tools for Embedded Systems (LCTES '15), pages 6:1-6:10, 2015. Google Scholar
  18. C. Dietrich, M. Hoffmann, and D. Lohmann. Global optimization of fixed-priority real-time systems by RTOS-aware control-flow analysis. ACM Trans. on Embedded Computing Systems (ACM TECS), 16:35:1-35:25, 2017. Google Scholar
  19. C. Dietrich, P. Wägemann, P. Ulbrich, and D. Lohmann. SysWCET: Whole-system response-time analysis for fixed-priority real-time systems. In Proc. of the 23nd Real-Time and Embedded Technology and Applications Symp. (RTAS '17), pages 37-48, 2017. Google Scholar
  20. W. Dron, S. Duquennoy, T. Voigt, K. Hachicha, and P. Garda. An emulation-based method for lifetime estimation of wireless sensor networks. In Proc. of the Int'l Conf. on Distributed Computing in Sensor Systems (DCOSS '14), pages 241-248, 2014. Google Scholar
  21. EEMBC ULPMark FAQs. URL: http://www.eembc.org/ulpbench/faq.php.
  22. F. Franzmann, T. Klaus, P. Ulbrich, P. Deinhardt, B. Steffes, F. Scheler, and W. Schröder-Preikschat. From intent to effect: Tool-based generation of time-triggered real-time systems on multi-core processors. In Proc. of the 19th Int'l Symp. on Real-Time Distributed Computing (ISORC '16), pages 134-141, 2016. Google Scholar
  23. Freescale Semiconductor, Inc. KL46 Sub-Family Reference Manual, 2013. Google Scholar
  24. Freescale Semiconductor, Inc. Kinetis KL46 Sub-Family, 2014. Google Scholar
  25. Fujitsu Semiconductor. FRAM MB85RC256V, 2013. Google Scholar
  26. R. Gran, J. Segarra, C. Rodríguez, L. C. Aparicio, and V. Viñals. Optimizing a combined WCET-WCEC problem in instruction fetching for real-time systems. Journal of Systems Architecture, 59(9):667-678, 2013. Google Scholar
  27. N. Grech, K. Georgiou, J. Pallister, S. Kerrison, J. Morse, and K. Eder. Static analysis of energy consumption for LLVM IR programs. In Proc. of the 18th Int'l Work. on Software and Compilers for Embedded Systems (SCOPES 2015), pages 12-21. ACM, 2015. Google Scholar
  28. Gurobi Optimization, Inc. Gurobi optimizer reference manual. www.gurobi.com, 2017.
  29. S. Hepp, B. Huber, D. Prokesch, and P. Puschner. The platin tool kit - the T-CREST approach for compiler and WCET integration. In Proc. of the 18th Kolloquium Programmiersprachen und Grundlagen der Programmierung (KPS '15), pages 277-292, 2015. Google Scholar
  30. M. Hoffmann, F. Lukas, C. Dietrich, and D. Lohmann. dOSEK: The design and implementation of a dependability-oriented static embedded kernel. In Proc. of the 21st Real-Time and Embedded Technology and Applications Symp. (RTAS '15), pages 259-270, 2015. Google Scholar
  31. N. Holsti, T. Langbacka, and S. Saarinen. Using a worst-case execution time tool for real-time verification of the DEBIE software. In Proc. of the Data Systems in Aerospace Conf. (DASIA '00), pages 1-6, 2000. Google Scholar
  32. O. Hruška. Esp8266 killing itself? ondrovo.com/a/20170205-esp-self-destruct/, 2017.
  33. P. Huang, Pratyush Kumar, G. Giannopoulou, and L. Thiele. Energy efficient DVFS scheduling for mixed-criticality systems. In Proc. of the Int'l Conf. on Embedded Software (EMSOFT '14), pages 1-10, 2014. Google Scholar
  34. C. Imes, DHK Kim, M. Maggio, and H. Hoffmann. POET: A portable approach to minimizing energy under soft real-time constraints. In Proc. of the 21th Real-Time and Embedded Technology and Applications Symp. (RTAS '15), pages 75-86, 2015. Google Scholar
  35. R. Jayaseelan, T. Mitra, and X. Li. Estimating the worst-case energy consumption of embedded software. In Proc. of the 12th Real-Time and Embedded Technology and Applications Symp. (RTAS '06), pages 81-90, 2006. Google Scholar
  36. Keithley Instruments Inc. Models 2611B, 2612B and 2614B, System SourceMeter, 2013. Google Scholar
  37. S. Kerrison and K. Eder. Energy modeling of software for a hardware multithreaded embedded microprocessor. ACM Trans. on Embedded Computing Systems (ACM TECS), 14(3):56, 2015. Google Scholar
  38. J. Knoop, L. Kovács, and J. Zwirchmayr. WCET squeezing: On-demand feasibility refinement for proven precise WCET-bounds. In Proc. of the 21st Int'l Conf. on Real-Time Networks and Systems (RTNS '13), pages 161-170, 2013. Google Scholar
  39. A. Köpke, M. Swigulski, K. Wessel, D. Willkomm, P. T. Haneveld, T. Parker, O. Visser, H. Lichte, and S. Valentin. Simulating wireless and mobile networks in OMNeT++ the MiXiM vision. In Proc. of the 1st Int'l Conf. on Simulation Tools and Techniques for Communications, Networks and Systems & Workshops (SimuTools '08), pages 1-10, 2008. Google Scholar
  40. C. Lattner and V. Adve. LLVM: A compilation framework for lifelong program analysis &transformation. In Proc. of the Int'l Symp. on Code Generation and Optimization (CGO '04), pages 75-86, 2004. Google Scholar
  41. S. Lee, A. Ermedahl, S. L. Min, and N. Chang. An accurate instruction-level energy consumption model for embedded RISC processors. SIGPLAN Notices, 36(8):1-10, 2001. Google Scholar
  42. Y.-T. S. Li and S. Malik. Performance analysis of embedded software using implicit path enumeration. In Proc. of the 32nd Annual Design Automation Conf. (DAC '95), pages 456-461, 1995. Google Scholar
  43. Y. Liu, W. Zhang, and K. Akkaya. Static worst-case energy and lifetime estimation of wireless sensor networks. In Proc. of the 28th Int'l Performance Computing and Communications Conf. (IPCCC '09), pages 17-24, 2009. Google Scholar
  44. A. Miné, L. Mauborgne, X. Rival, J. Feret, P. Cousot, D. Kästner, S. Wilhelm, and C. Ferdinand. Taking static analysis to the next level: Proving the absence of run-time errors and data races with Astrée. In Proc. of the 8th European Congress on Embedded Real Time Software and Systems (ERTS 2016), pages 570-579, 2016. Google Scholar
  45. S. Nikolaidis, N. Kavvadias, P. Neofotistos, K. Kosmatopoulos, T. Laopoulos, and L. Bisdounis. Instrumentation set-up for instruction level power modeling. In Integrated Circuit Design, pages 71-80, 2002. Google Scholar
  46. NXP Semiconductors. Manufacturer BOM Report, 2013. Google Scholar
  47. NXP Semiconductors. Xtrinsic MAG3110 Three-Axis, Digital Magnetometer, 2013. Google Scholar
  48. NXP Semiconductors. MMA8451Q, 3-axis, 14-bit/8-bit digital accelerometer, 2017. Google Scholar
  49. OSEK/VDX Group. Operating system specification 2.2.3. Technical report, OSEK/VDX Group, February 2005. Google Scholar
  50. J. Pallister, S. Kerrison, J. Morse, and K. Eder. Data dependent energy modelling: A worst case perspective. Computing Research Repository, arXiv, 2015. Google Scholar
  51. P. Puschner, D. Prokesch, B. Huber, J. Knoop, S. Hepp, and G. Gebhard. The T-CREST approach of compiler and WCET-analysis integration. In Proc. of the 9th Work. on Software Technologies for Future Embedded and Ubiquitious Systems (SEUS '13), pages 33-40, 2013. Google Scholar
  52. P. Puschner and A. Schedl. Computing maximum task execution times: A graph-based approach. Real-Time Systems, 13:67-91, 1997. Google Scholar
  53. RapiTime - worst-case execution time (WCET) analysis for critical systems. URL: http://www.rapitasystems.com/products/RapiTime.
  54. C. Rusu, R. Xu, R. Melhem, and D. Mossé. Energy-efficient policies for request-driven soft real-time systems. In Proc. of the 16th Euromicro Conf. on Real-Time Systems (ECRTS '04), pages 175-183, 2004. Google Scholar
  55. F. Scheler and W. Schröder-Preikschat. The real-time systems compiler: Migrating event-triggered systems to time-triggered systems. Software: Practice and Experience, 41(12):1491-1515, 2011. Google Scholar
  56. J. Schneider. Why you can't analyze RTOSs without considering applications and vice versa. In Proc. of the 2nd Int'l Work. on Worst-Case Execution Time Analysis (WCET '02), pages 79-84, 2002. Google Scholar
  57. J. Schneider. Combined schedulability and WCET analysis for real-time operating systems. Shaker, 2003. Google Scholar
  58. M. Schoeberl, F. Brandner, S. Hepp, W. Puffitsch, and D. Prokesch. Patmos reference handbook. Technical report, Technical University of Denmark, 2014. Google Scholar
  59. M. Schoeberl et al. T-CREST: Time-predictable multi-core architecture for embedded systems. Journal of Systems Architecture, 61:449-471, 2015. Google Scholar
  60. Y. S. Shao and D. Brooks. Energy characterization and instruction-level energy model of Intel’s Xeon Phi processor. In Proc. of the Int'l Symp. on Low Power Electronics and Design (ISLPED '13), pages 389-394, 2013. Google Scholar
  61. V. Sieh, R. Burlacu, T. Hönig, H. Janker, P. Raffeck, P. Wägemann, and W. Schröder-Preikschat. An end-to-end toolchain: From automated cost modeling to static WCET and WCEC analysis. In Proc. of the 20th Int'l Symp. on Real-Time Distributed Computing (ISORC '17), pages 1-10, 2017. Google Scholar
  62. Silicon Laboratories, Inc. Energy Debugging Tools for Embedded Applications. Google Scholar
  63. Silicon Laboratories, Inc. User Manual Starter Kit EFM32GG-STK3700, 2013. Google Scholar
  64. Silicon Laboratories, Inc. AN0822: Simplicity Studiotrademark User’s Guide, 2016. Google Scholar
  65. Silicon Laboratories, Inc. EFM32GG Reference Manual, 2016. Google Scholar
  66. Symtavision tools: SymTA/S. URL: http://www.symtavision.com/symtas.html.
  67. Espressif Systems. ESP8266 Technical Reference, 2017. Google Scholar
  68. L. Thiele, S. Chakraborty, and M. Naedele. Real-time calculus for scheduling hard real-time systems. In Proc. of the Int'l Symp. on Circuits and Systems (ISCAS '00), volume 4, pages 101-104, 2000. Google Scholar
  69. V. Tiwari and M. T.-C. Lee. Power analysis of a 32-bit embedded microcontroller. VLSI Design, 7(3):225-242, 1998. Google Scholar
  70. M. Völp, M. Hähnel, and A. Lackorzynski. Has energy surpassed timeliness? - scheduling energy-constrained mixed-criticality systems. In Proc. of the 20th Real-Time and Embedded Technology and Applications Symp. (RTAS '14), pages 275-284, 2014. Google Scholar
  71. P. Wägemann, T. Distler, T. Hönig, H. Janker, R. Kapitza, and W. Schröder-Preikschat. Worst-case energy consumption analysis for energy-constrained embedded systems. In Proc. of the 27th Euromicro Conf. on Real-Time Systems (ECRTS '15), pages 105-114, 2015. Google Scholar
  72. P. Wägemann, T. Distler, H. Janker, P. Raffeck, and V. Sieh. A kernel for energy-neutral real-time systems with mixed criticalities. In Proc. of the 22nd Real-Time and Embedded Technology and Applications Symp. (RTAS '16), pages 25-36, 2016. Google Scholar
  73. P. Wägemann, T. Distler, H. Janker, P. Raffeck, V. Sieh, and W. Schröder-Preikschat. Operating energy-neutral real-time systems. ACM Trans. on Embedded Computing Systems (ACM TECS), pages 11:1-11:25, 2017. Google Scholar
  74. R. Wilhelm et al. The worst-case execution-time problem - overview of methods and survey of tools. ACM Trans. on Embedded Computing Systems (ACM TECS), 7(3):1-53, 2008. Google Scholar
  75. C. Yoon, D. Kim, W. Jung, C. Kang, and H. Cha. AppScope: Application energy metering framework for android smartphone using kernel activity monitoring. In Proc. of the USENIX Annual Technical Conf. (ATC '12), pages 1-14, 2012. Google Scholar
  76. G. Zeng, T. Yokoyama, H. Tomiyama, and H. Takada. Practical energy-aware scheduling for real-time multiprocessor systems. In Proc. of the 15th Int'l Conf. on Embedded and Real-Time Computing Systems and Applications (RTCSA '09), pages 383-392, 2009. Google Scholar
  77. D. Zhu, R. Melhem, and D. Mossé. The effects of energy management on reliability in real-time embedded systems. In Proc. of the Int'l Conf. on Computer Aided Design (ICCAD '04), pages 35-40, 2004. Google Scholar
  78. Y. Zhu and F. Mueller. Feedback EDF scheduling exploiting dynamic voltage scaling. In Proc. of the 10th Real-Time and Embedded Technology and Applications Symp. (RTAS '04), pages 84-93, 2004. Google Scholar
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail