Control theory for model-based performance-driven software adaptation
Self-adaptive techniques have been introduced in the last few years to tackle the growing complexity of software systems, where a major complexity factor leans on their dynamic nature subject to sudden and unpredictable changes that can heavily impact on the software architecture quality. Nonfunctio...
Uložené v:
| Vydané v: | 2015 11th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA) s. 11 - 20 |
|---|---|
| Hlavní autori: | , , , |
| Médium: | Konferenčný príspevok.. |
| Jazyk: | English |
| Vydavateľské údaje: |
ACM
04.05.2015
|
| Predmet: | |
| On-line prístup: | Získať plný text |
| Tagy: |
Pridať tag
Žiadne tagy, Buďte prvý, kto otaguje tento záznam!
|
| Abstract | Self-adaptive techniques have been introduced in the last few years to tackle the growing complexity of software systems, where a major complexity factor leans on their dynamic nature subject to sudden and unpredictable changes that can heavily impact on the software architecture quality. Nonfunctional models, as generated from architectural descriptions of software, have been proven as effective instruments to support designers meeting non-functional requirements since the early architectural phases. However, such models still lack of intrinsic support for adaptable software. Goal of this paper is to extend the modeling capabilities to the case of software adaptation aimed at satisfying performance requirements. In particular, we illustrate how control theory can solve the problem of keeping within pre-defined ranges the indices of a Queueing Network model (such as queue length) through software adaptation actions (such as replacing software services with less resource-demanding ones), while the model is subject to disturbances (such as workload and/or operational profile variations). For this goal we first introduce a library of Modelica components that represent Queueing Network (QN) elements with adaptable parameters (that can be used as knobs for adaptation actions). Then we use such components to build "adaptable" QN models that are subject to disturbances. Finally, in the same framework, we introduce controllers that drive the QN adaptation. We demonstrate the soundness of our approach on a simple representative example in two ways: (i) on one end, we provide a formal proof of controller performance guarantees, and (ii) on the other end we show the sensitivity over time of software adaptation actions to different (types and intensities of) disturbances. |
|---|---|
| AbstractList | Self-adaptive techniques have been introduced in the last few years to tackle the growing complexity of software systems, where a major complexity factor leans on their dynamic nature subject to sudden and unpredictable changes that can heavily impact on the software architecture quality. Nonfunctional models, as generated from architectural descriptions of software, have been proven as effective instruments to support designers meeting non-functional requirements since the early architectural phases. However, such models still lack of intrinsic support for adaptable software. Goal of this paper is to extend the modeling capabilities to the case of software adaptation aimed at satisfying performance requirements. In particular, we illustrate how control theory can solve the problem of keeping within pre-defined ranges the indices of a Queueing Network model (such as queue length) through software adaptation actions (such as replacing software services with less resource-demanding ones), while the model is subject to disturbances (such as workload and/or operational profile variations). For this goal we first introduce a library of Modelica components that represent Queueing Network (QN) elements with adaptable parameters (that can be used as knobs for adaptation actions). Then we use such components to build "adaptable" QN models that are subject to disturbances. Finally, in the same framework, we introduce controllers that drive the QN adaptation. We demonstrate the soundness of our approach on a simple representative example in two ways: (i) on one end, we provide a formal proof of controller performance guarantees, and (ii) on the other end we show the sensitivity over time of software adaptation actions to different (types and intensities of) disturbances. |
| Author | Filieri, Antonio Cortellessa, Vittorio Arcelli, Davide Leva, Alberto |
| Author_xml | – sequence: 1 givenname: Davide surname: Arcelli fullname: Arcelli, Davide email: davide.arcelli@univaq.it organization: Univ. dell'Aquila, L'Aquila, Italy – sequence: 2 givenname: Vittorio surname: Cortellessa fullname: Cortellessa, Vittorio email: vittorio.cortellessa@univaq.it organization: Univ. dell'Aquila, L'Aquila, Italy – sequence: 3 givenname: Antonio surname: Filieri fullname: Filieri, Antonio email: antonio.filieri@informatik.unistuttgart.de organization: Univ. Stuttgart, Stuttgart, Germany – sequence: 4 givenname: Alberto surname: Leva fullname: Leva, Alberto email: leva@elet.polimi.it organization: Politec. di Milano, Milan, Italy |
| BookMark | eNotz01LxDAUheEIunBG1y7c5A90zE3auelSyvgBA250PdwmN1hok5IGZf69hXH1wrM4cDbiOqbIQjyA2gHUzZNGg2D17lK8EptVlTE1qvZWHLoUS06jLN-c8lmGlOWUPI9VTwt7OXNeaaLouPJ5-OEolxTKL2WW5GkuVIYU78RNoHHh-_9uxdfL4bN7q44fr-_d87EiY0ypELHZ67bfmyb04BwwGW0VW1u3CnrwjLi3EAjcitoj19A7p20N6IJyZiseL7sDM5_mPEyUzydc_2CL5g-ZT0ec |
| ContentType | Conference Proceeding |
| DBID | 6IE 6IL CBEJK RIE RIL |
| DOI | 10.1145/2737182.2737187 |
| DatabaseName | IEEE Electronic Library (IEL) Conference Proceedings IEEE Xplore POP ALL IEEE Xplore All Conference Proceedings IEEE Electronic Library (IEL) IEEE Proceedings Order Plans (POP All) 1998-Present |
| DatabaseTitleList | |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| EISBN | 1450334709 9781450334709 |
| EndPage | 20 |
| ExternalDocumentID | 7450797 |
| Genre | orig-research |
| GroupedDBID | 6IE 6IL CBEJK RIE RIL |
| ID | FETCH-LOGICAL-a333t-7775629b635fb1cc1ea3280e884901b1de77681fa1c0e82d7e41bcc28417cf0c3 |
| IEDL.DBID | RIE |
| ISICitedReferencesCount | 20 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000380424300002&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| IngestDate | Thu Jun 29 18:36:32 EDT 2023 |
| IsPeerReviewed | false |
| IsScholarly | false |
| Language | English |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-a333t-7775629b635fb1cc1ea3280e884901b1de77681fa1c0e82d7e41bcc28417cf0c3 |
| PageCount | 10 |
| ParticipantIDs | ieee_primary_7450797 |
| PublicationCentury | 2000 |
| PublicationDate | 2015-05-04 |
| PublicationDateYYYYMMDD | 2015-05-04 |
| PublicationDate_xml | – month: 05 year: 2015 text: 2015-05-04 day: 04 |
| PublicationDecade | 2010 |
| PublicationTitle | 2015 11th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA) |
| PublicationTitleAbbrev | QOSA |
| PublicationYear | 2015 |
| Publisher | ACM |
| Publisher_xml | – name: ACM |
| Score | 1.6927028 |
| Snippet | Self-adaptive techniques have been introduced in the last few years to tackle the growing complexity of software systems, where a major complexity factor leans... |
| SourceID | ieee |
| SourceType | Publisher |
| StartPage | 11 |
| SubjectTerms | Adaptation models Analytical models Control systems Control theory Mathematical model Object oriented modeling Performance Modeling Software Software Adaptation Software Performance |
| Title | Control theory for model-based performance-driven software adaptation |
| URI | https://ieeexplore.ieee.org/document/7450797 |
| WOSCitedRecordID | wos000380424300002&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV09a8MwED2S0KFTW5LSbzR0rBLJki17DgmdQoYWsgV9QpckOE5L_31PskkodOkkoUVIgntPd_fuAJ6diKBQBKqLrKIyMEY1y110CThVBMG8CanZhFosytWqWvbg5aiF8d6n5DM_jtMUy3dbe4iusomSyF4q1Ye-UqrVanXVerjMJwjEaGizcTv-bpeS0GJ-8b99LmF0kt2R5RFQrqDnN0OYTdtkcpIkh98ESSZJ7WtoBCBHdqfMf-rqaLvIHk3rl6490U7v2lD7CN7ns7fpK-16H1AthGiQ9CpkJpVBPhAMt5Z7LbKS-bKUiOCGO6_wo8CD5hYXM6e85MZaBBuubGBWXMNgs934GyAqMGcFs4YVRubOmhAct4ZHbpOZIr-FYbyC9a4tb7HuTn_39_I9nCNnyFPOn3yAQVMf_COc2c_mY18_pTf5Ae3BkJo |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LSwMxEB5qFfSk0opvc_Bo2mST3eyeS0vFWnqo0FvJE7y0ZfsQ_71JdmkRvHhKyCUkgfm-zMw3A_BsWACFzGGZJQXmjhAsSWqCS8CIzDFilYvNJsR4nM9mxaQBL3stjLU2Jp_ZTpjGWL5Z6m1wlXUF9-ylEEdwnHKe0EqtVdfroTzteij2pjbpVOPvhikRLwbn_9vpAtoH4R2a7CHlEhp20YJ-r0onR1F0-I08zUSxgQ0OEGTQ6pD7j00ZrBdae-P6JUuLpJGrKtjeho9Bf9ob4rr7AZaMsY2nvcJzk0J5RuAU1ZpayZKc2DznHsMVNVb4rwJ1kmq_mBhhOVVae7ihQjui2RU0F8uFvQYkHDGaEa1IpnhqtHLOUK1oYDeJytIbaIUrmK-qAhfz-vS3fy8_welw-j6aj17Hb3dw5hlEGjMA-T00N-XWPsCJ3m0-1-VjfJ8fodWT4Q |
| openUrl | ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=2015+11th+International+ACM+SIGSOFT+Conference+on+Quality+of+Software+Architectures+%28QoSA%29&rft.atitle=Control+theory+for+model-based+performance-driven+software+adaptation&rft.au=Arcelli%2C+Davide&rft.au=Cortellessa%2C+Vittorio&rft.au=Filieri%2C+Antonio&rft.au=Leva%2C+Alberto&rft.date=2015-05-04&rft.pub=ACM&rft.spage=11&rft.epage=20&rft_id=info:doi/10.1145%2F2737182.2737187&rft.externalDocID=7450797 |