Deriving minimal models for resource utilization

Authors:
Steven te Brinke;Christoph Bockisch;Lodewijk Bergmans;Somayeh Malakuti;Mehmet Akşit;Shmuel Katz
Affiliations:
University of Twente, Enschede, Netherlands;University of Twente, Enschede, Netherlands;University of Twente, Enschede, Netherlands;University of Twente, Enschede, Netherlands;University of Twente, Enschede, Netherlands;Technion, Haifa, Israel
Venue:
Proceedings of the 2013 workshop on Green in/by software engineering
Year:
2013

Citing 10
Cited 0

Component software: beyond object-oriented programming

Component software: beyond object-oriented programming
Counterexample-Guided Abstraction Refinement

CAV '00 Proceedings of the 12th International Conference on Computer Aided Verification
Modular Verification of Software Components in C

IEEE Transactions on Software Engineering
Efficient Verification of Sequential and Concurrent C Programs

Formal Methods in System Design
The software model checker Blast: Applications to software engineering

International Journal on Software Tools for Technology Transfer (STTT)
A Domain Specific Modeling Language Supporting Specification, Simulation and Execution of Dynamic Adaptive Systems

MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
SATABS: SAT-Based predicate abstraction for ANSI-C

TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Towards modular resource-aware applications

Proceedings of the 3rd international workshop on Variability & Composition
Specification and verification of event detectors and responses

Proceedings of the 12th annual international conference on Aspect-oriented software development
A design method for modular energy-aware software

Proceedings of the 28th Annual ACM Symposium on Applied Computing

Quantified Score

Hi-index	0.00

Visualization

Abstract

We show how compact Resource Utilization Models (RUMs) can be extracted from concrete overly-detailed models of systems or sub-systems in order to model energy-aware software. Using the Counterexample-Guided Abstraction Refinement (CEGAR) approach, along with model-checking tools, abstract models can be generated that help establish key properties relating to energy consumption. This approach is illustrated by the concrete example of a network manager sub-system. This work is part of an overall design methodology for energy-aware software.