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)

    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.
    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)
    Pages15-18
    Number of pages4
    ISBN (Print)978-1-4503-1866-2
    DOIs
    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

    Workshop

    Workshop1st International Workshop Green In/By Software Engineering, GIBSE 2013
    Abbreviated titleGIBSE
    CountryJapan
    CityFukuoka
    Period26/03/1326/03/13

    Keywords

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

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

  • Cite this

    te Brinke, S., Bockisch, C., Bergmans, L., Malakuti, S., Akşit, M., & Katz, S. (2013). Deriving minimal models for resource utilization. In GIBSE '13: Proceedings of the 2013 Workshop on Green In/By Software Engineering (pp. 15-18). New York, NY: Association for Computing Machinery (ACM). https://doi.org/10.1145/2451605.2451612