Everlasting Challenges with the OBJ Language Family

Nakajima, Shinichi

doi:10.1007/978-3-642-54624-2_24

Cited by 5 publications

(3 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Studies have also shown how different programming languages have very different energy usages [24,30,74]. Other researchers have used a model-based power consumption analysis in Android mobile applications [75,76,77,78].…”

Section: Related Workmentioning

confidence: 99%

SPELLing out energy leaks: Aiding developers locate energy inefficient code

Pereira

Carção

Couto

et al. 2020

Journal of Systems and Software

View full text Add to dashboard Cite

Although hardware is generally seen as the main culprit for a computer's energy usage, software too has a tremendous impact on the energy spent. Unfortunately, there is still not enough support for software developers so they can make their code more energy-aware.This paper proposes a technique to detect energy inefficient fragments in the source code of a software system. Test cases are executed to obtain energy consumption measurements, and a statistical method, based on spectrumbased fault localization, is introduced to relate energy consumption to the source code. The result of our technique is an energy ranking of source code fragments pointing developers to possible energy leaks in their code. This technique was implemented in the SPELL toolkit.Finally, in order to evaluate our technique, we conducted an empirical study where we asked participants to optimize the energy efficiency of a software system using our tool, while also having two other groups using no tool assistance and a profiler, respectively. We showed statistical evidence that developers using our technique were able to improve the energy efficiency by 43% on average, and even out performing a profiler for energy optimization.

show abstract

Section: Related Workmentioning

confidence: 99%

SPELLing out energy leaks: Aiding developers locate energy inefficient code

Pereira

Carção

Couto

et al. 2020

Journal of Systems and Software

View full text Add to dashboard Cite

show abstract

“…In summary, PCA descriptions are to be translated into Real-time Maude. The translation may follow the method briefly outlined in [14]. This method, however, assumes the PCA to be n-RTS system.…”

Section: Model Checkingmentioning

confidence: 99%

Model Checking of Energy Consumption Behavior

Nakajima

2015

Complex Systems Design &Amp; Management Asia

Self Cite

View full text Add to dashboard Cite

Abstract.Energy consumption is one of the primary non-functional properties to be addressed early in software system development. Model-based analysis methods are introduced in order to supplement the current practice of runtime profiler techniques. In the present paper, the energy consumption analysis is classified as a durationbounded cost constraint problem. Specifically, behavioral contracts based on Power Consumption Automata and properties written in terms of weighted linear temporal logic with freeze quantifiers are proposed. In addition, the problem is solved by model-checking of such logic formulas with respect to the automaton.

show abstract

“…Our previous work [5] showed a translation to Real-Time Maude when we regarded a PCA as an nRTS [4]. As an alternative approach, we introduced linear temporal logic with freeze quantifiers (fWLTL) for expressing properties to check so that the problem was solved by model-checking methods [6].…”

Section: Related Workmentioning

confidence: 99%

Formal Analysis of Android Application Behavior with Real-Time Maude

Nakajima

2015

2015 IEEE 3rd International Conference on Cyber-Physical Systems, Networks, and Applications

Self Cite

View full text Add to dashboard Cite

Model-based analysis is a method to study energy consumption issues at early stages of development. While hardware components are direct consumers of a battery, application programs to request these components are responsible for the total consumption. Since the behavior of these multi-thread programs is concurrent and asynchronous, the analysis on the energy consumption behavior is complicated. This paper uses Real-Time Maude for analyzing energy consumption of a whole system behavior consisting of hardware components and application programs as well as the framework. Example scenarios on detecting energy bugs demonstrate that the timebounded analysis method using Real-Time Maude is effective.

show abstract

Everlasting Challenges with the OBJ Language Family

Cited by 5 publications

References 22 publications

SPELLing out energy leaks: Aiding developers locate energy inefficient code

SPELLing out energy leaks: Aiding developers locate energy inefficient code

Model Checking of Energy Consumption Behavior

Formal Analysis of Android Application Behavior with Real-Time Maude

Contact Info

Product

Resources

About