A tool-supported approach for modular design of energy-aware software

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

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

    3 Citations (Scopus)
    19 Downloads (Pure)

    Abstract

    The reduction of energy usage by software-controlled systems has many advantages, including prolonged battery life and reduction of greenhouse gas emissions. Thus, being able to implement energy optimization in software is essential. This requires a model of the energy utilization—or more general resource utilization—for each component in the system. Optimizer components, then, analyze resource utilization of other components in terms of such a model and adapt their behavior accordingly. We have devised a notation for Resource-Utilization Models (RUMs) that can be part of a component's application programming interface (API) to facilitate the modular implementation of optimizers. In this paper, we present tools for extracting such RUMs from components with an existing implementation.
    Original languageEnglish
    Title of host publicationSAC '14
    Subtitle of host publicationProceedings of the 29th Annual ACM Symposium on Applied Computing
    Place of PublicationNew York, NY
    PublisherAssociation for Computing Machinery (ACM)
    Pages1206-1212
    Number of pages7
    ISBN (Print)978-1-4503-2469-4
    DOIs
    Publication statusPublished - Mar 2014
    Event29th Annual ACM Symposium on Applied Computing, SAC 2014 - Gyeongju, Korea, Republic of
    Duration: 24 Mar 201428 Mar 2014
    Conference number: 29

    Conference

    Conference29th Annual ACM Symposium on Applied Computing, SAC 2014
    Abbreviated titleSAC
    CountryKorea, Republic of
    CityGyeongju
    Period24/03/1428/03/14

    Fingerprint

    Gas emissions
    Application programming interfaces (API)
    Greenhouse gases

    Keywords

    • EWI-23217
    • CR-D.2.2
    • minimal abstraction
    • Energy-aware software
    • METIS-303961
    • Model Checking
    • Modularity
    • IR-88452
    • CEGAR
    • Resource-utilization model

    Cite this

    te Brinke, S., Malakuti Khah Olun Abadi, S., Bockisch, C., Bergmans, L., Akşit, M., & Katz, S. (2014). A tool-supported approach for modular design of energy-aware software. In SAC '14: Proceedings of the 29th Annual ACM Symposium on Applied Computing (pp. 1206-1212). New York, NY: Association for Computing Machinery (ACM). https://doi.org/10.1145/2554850.2554964
    te Brinke, Steven ; Malakuti Khah Olun Abadi, Somayeh ; Bockisch, Christoph ; Bergmans, Lodewijk ; Akşit, Mehmet ; Katz, Shmuel. / A tool-supported approach for modular design of energy-aware software. SAC '14: Proceedings of the 29th Annual ACM Symposium on Applied Computing. New York, NY : Association for Computing Machinery (ACM), 2014. pp. 1206-1212
    @inproceedings{c5987ae65b114c6498e2c140177d6d09,
    title = "A tool-supported approach for modular design of energy-aware software",
    abstract = "The reduction of energy usage by software-controlled systems has many advantages, including prolonged battery life and reduction of greenhouse gas emissions. Thus, being able to implement energy optimization in software is essential. This requires a model of the energy utilization—or more general resource utilization—for each component in the system. Optimizer components, then, analyze resource utilization of other components in terms of such a model and adapt their behavior accordingly. We have devised a notation for Resource-Utilization Models (RUMs) that can be part of a component's application programming interface (API) to facilitate the modular implementation of optimizers. In this paper, we present tools for extracting such RUMs from components with an existing implementation.",
    keywords = "EWI-23217, CR-D.2.2, minimal abstraction, Energy-aware software, METIS-303961, Model Checking, Modularity, IR-88452, CEGAR, Resource-utilization model",
    author = "{te Brinke}, Steven and {Malakuti Khah Olun Abadi}, Somayeh and Christoph Bockisch and Lodewijk Bergmans and Mehmet Akşit and Shmuel Katz",
    note = "eemcs-eprint-23217",
    year = "2014",
    month = "3",
    doi = "10.1145/2554850.2554964",
    language = "English",
    isbn = "978-1-4503-2469-4",
    pages = "1206--1212",
    booktitle = "SAC '14",
    publisher = "Association for Computing Machinery (ACM)",
    address = "United States",

    }

    te Brinke, S, Malakuti Khah Olun Abadi, S, Bockisch, C, Bergmans, L, Akşit, M & Katz, S 2014, A tool-supported approach for modular design of energy-aware software. in SAC '14: Proceedings of the 29th Annual ACM Symposium on Applied Computing. Association for Computing Machinery (ACM), New York, NY, pp. 1206-1212, 29th Annual ACM Symposium on Applied Computing, SAC 2014, Gyeongju, Korea, Republic of, 24/03/14. https://doi.org/10.1145/2554850.2554964

    A tool-supported approach for modular design of energy-aware software. / te Brinke, Steven; Malakuti Khah Olun Abadi, Somayeh; Bockisch, Christoph; Bergmans, Lodewijk; Akşit, Mehmet ; Katz, Shmuel.

    SAC '14: Proceedings of the 29th Annual ACM Symposium on Applied Computing. New York, NY : Association for Computing Machinery (ACM), 2014. p. 1206-1212.

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

    TY - GEN

    T1 - A tool-supported approach for modular design of energy-aware software

    AU - te Brinke, Steven

    AU - Malakuti Khah Olun Abadi, Somayeh

    AU - Bockisch, Christoph

    AU - Bergmans, Lodewijk

    AU - Akşit, Mehmet

    AU - Katz, Shmuel

    N1 - eemcs-eprint-23217

    PY - 2014/3

    Y1 - 2014/3

    N2 - The reduction of energy usage by software-controlled systems has many advantages, including prolonged battery life and reduction of greenhouse gas emissions. Thus, being able to implement energy optimization in software is essential. This requires a model of the energy utilization—or more general resource utilization—for each component in the system. Optimizer components, then, analyze resource utilization of other components in terms of such a model and adapt their behavior accordingly. We have devised a notation for Resource-Utilization Models (RUMs) that can be part of a component's application programming interface (API) to facilitate the modular implementation of optimizers. In this paper, we present tools for extracting such RUMs from components with an existing implementation.

    AB - The reduction of energy usage by software-controlled systems has many advantages, including prolonged battery life and reduction of greenhouse gas emissions. Thus, being able to implement energy optimization in software is essential. This requires a model of the energy utilization—or more general resource utilization—for each component in the system. Optimizer components, then, analyze resource utilization of other components in terms of such a model and adapt their behavior accordingly. We have devised a notation for Resource-Utilization Models (RUMs) that can be part of a component's application programming interface (API) to facilitate the modular implementation of optimizers. In this paper, we present tools for extracting such RUMs from components with an existing implementation.

    KW - EWI-23217

    KW - CR-D.2.2

    KW - minimal abstraction

    KW - Energy-aware software

    KW - METIS-303961

    KW - Model Checking

    KW - Modularity

    KW - IR-88452

    KW - CEGAR

    KW - Resource-utilization model

    U2 - 10.1145/2554850.2554964

    DO - 10.1145/2554850.2554964

    M3 - Conference contribution

    SN - 978-1-4503-2469-4

    SP - 1206

    EP - 1212

    BT - SAC '14

    PB - Association for Computing Machinery (ACM)

    CY - New York, NY

    ER -

    te Brinke S, Malakuti Khah Olun Abadi S, Bockisch C, Bergmans L, Akşit M, Katz S. A tool-supported approach for modular design of energy-aware software. In SAC '14: Proceedings of the 29th Annual ACM Symposium on Applied Computing. New York, NY: Association for Computing Machinery (ACM). 2014. p. 1206-1212 https://doi.org/10.1145/2554850.2554964