参考文献:1. Isasa, J.A.E., Larsen, P.G.: Modelling Different CPU Power States in VDM-RT. In: Proceedings of the 11th Overture Workshop 2013, Aarhus University (June 2013) 2. Isasa, J.A.E., Larsen, P.G., Hansen, F.O.: Energy-Aware Design of Embedded Software through Modelling and Simulation. In: Proceedings of the SYRCoSE 2014 Symposium (May 2014) 3. Lausdahl, K., Larsen, P.G., Battle, N.: A Deterministic Interpreter Simulating a Distributed Real Time System Using VDM. In: Qin, S., Qiu, Z. (eds.) ICFEM 2011. LNCS, vol.?6991, pp. 179-94. Springer, Heidelberg (2011) CrossRef 4. Verhoef, M.: Modeling and Validating Distributed Embedded Real-Time Control Systems. PhD thesis, Radboud University Nijmegen (2009)
作者单位:José Antonio Esparza Isasa (17) Peter Würtz Vinther J?rgensen (17) Claus Balleg?rd Nielsen (17) Stefan Hallerstede (17)
17. Department of Engineering, Aarhus University, Finlandsgade 22, Aarhus N, 8200, Denmark
ISSN:1611-3349
文摘
Today’s embedded systems are typically battery powered devices with a limited energy budget, which makes optimal usage of energy a critical task faced by embedded system developers. One approach to making an embedded system energy-efficient is by putting its processing units (CPUs) into less energy consuming modes when their computational resources are not needed. Physical prototyping enables exploration of different strategies for energy usage by controlling the power modes of the system CPUs. This may lead to construction of many different hardware and software systems and thus impose high costs. In this paper we propose language extensions for VDM-RT that enable modelling and execution of different strategies for energy usage in embedded systems by controlling the hardware architecture and power modes of the system CPUs.