Deriving minimal models for resource utilization

Steven te Brinke, Christoph Bockisch, Lodewijk Bergmans, Somayeh Malakuti, Mehmet Akşit, Shmuel Katz

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
    17 Downloads (Pure)


    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.
    Original languageEnglish
    Title of host publicationGIBSE '13
    Subtitle of host publicationProceedings of the 2013 Workshop on Green In/By Software Engineering
    Place of PublicationNew York, NY
    PublisherAssociation for Computing Machinery (ACM)
    Number of pages4
    ISBN (Print)978-1-4503-1866-2
    Publication statusPublished - 26 Mar 2013
    Event1st International Workshop Green In/By Software Engineering, GIBSE 2013 - Fukuoka, Japan
    Duration: 26 Mar 201326 Mar 2013
    Conference number: 1


    Workshop1st International Workshop Green In/By Software Engineering, GIBSE 2013
    Abbreviated titleGIBSE


    • CR-D.2.2
    • minimal abstraction
    • EWI-22581
    • Design method
    • Modularity
    • METIS-296148
    • Resource-utilization model
    • IR-85417
    • CEGAR
    • Model Checking
    • Energy-aware software


    Dive into the research topics of 'Deriving minimal models for resource utilization'. Together they form a unique fingerprint.

    Cite this