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

    Fingerprint

    Model checking
    Managers
    Energy utilization
    Concretes

    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

    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
    te Brinke, Steven ; Bockisch, Christoph ; Bergmans, Lodewijk ; Malakuti, Somayeh ; Akşit, Mehmet ; Katz, Shmuel. / Deriving minimal models for resource utilization. GIBSE '13: Proceedings of the 2013 Workshop on Green In/By Software Engineering. New York, NY : Association for Computing Machinery (ACM), 2013. pp. 15-18
    @inproceedings{df2b8157647b49c9987159f74ad00774,
    title = "Deriving minimal models for resource utilization",
    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.",
    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",
    author = "{te Brinke}, Steven and Christoph Bockisch and Lodewijk Bergmans and Somayeh Malakuti and Mehmet Akşit and Shmuel Katz",
    year = "2013",
    month = "3",
    day = "26",
    doi = "10.1145/2451605.2451612",
    language = "English",
    isbn = "978-1-4503-1866-2",
    pages = "15--18",
    booktitle = "GIBSE '13",
    publisher = "Association for Computing Machinery (ACM)",
    address = "United States",

    }

    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. Association for Computing Machinery (ACM), New York, NY, pp. 15-18, 1st International Workshop Green In/By Software Engineering, GIBSE 2013, Fukuoka, Japan, 26/03/13. https://doi.org/10.1145/2451605.2451612

    Deriving minimal models for resource utilization. / te Brinke, Steven; Bockisch, Christoph; Bergmans, Lodewijk; Malakuti, Somayeh; Akşit, Mehmet ; Katz, Shmuel.

    GIBSE '13: Proceedings of the 2013 Workshop on Green In/By Software Engineering. New York, NY : Association for Computing Machinery (ACM), 2013. p. 15-18.

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

    TY - GEN

    T1 - Deriving minimal models for resource utilization

    AU - te Brinke, Steven

    AU - Bockisch, Christoph

    AU - Bergmans, Lodewijk

    AU - Malakuti, Somayeh

    AU - Akşit, Mehmet

    AU - Katz, Shmuel

    PY - 2013/3/26

    Y1 - 2013/3/26

    N2 - 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.

    AB - 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.

    KW - CR-D.2.2

    KW - minimal abstraction

    KW - EWI-22581

    KW - Design method

    KW - Modularity

    KW - METIS-296148

    KW - Resource-utilization model

    KW - IR-85417

    KW - CEGAR

    KW - Model Checking

    KW - Energy-aware software

    U2 - 10.1145/2451605.2451612

    DO - 10.1145/2451605.2451612

    M3 - Conference contribution

    SN - 978-1-4503-1866-2

    SP - 15

    EP - 18

    BT - GIBSE '13

    PB - Association for Computing Machinery (ACM)

    CY - New York, NY

    ER -

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