Affiliation:
1. Åbo Akademi University, Finland
Abstract
Smart devices have pervaded our society and encouraged lifestyles that depend on them. One of the fundamental requirements for a successful dependency is that the general public be aware of the energy limitations of these devices and to stay in control of energy consumption. In this paper, the authors propose a formal specification method that takes energy into account. They propose two development approaches that can use these specifications to develop energy-aware systems in a sustainable manner.
Reference30 articles.
1. AbrialJ. R. (1996). The B-book: Assigning Programs to Meanings. Cambridge, UK: Cambridge University Press. 10.1017/CBO9780511624162
2. Abrial, J. R., Börger, E., & Langmaack, H. (1996). Formal Methods for Industrial Applications - Specifying and Programming the Steam Boiler Control (LNCS 1165). New York: Springer Verlag.
3. Back, R. J., & Kurki-Suonio, R. (1983). Decentralization of process nets with centralized control. In Proceedings of the 2nd ACM SIGACT-SIGOPS Symposium on Principles of Distributed Computing (pp 131-142).
4. Continuous action systems as a model for hybrid systems.;R. J.Back;Nordic Journal of Computing,2001
5. Superposition refinement of reactive systems