Control theory for software engineering : Technical briefing
(2016) 2016 IEEE/ACM 38th IEEE International Conference on Software Engineering, ICSE 2016 p.908-910- Abstract
Pervasiveness and complexity of modern software are challenging engineers to design applications able to guarantee the desired quality of service despite unpredictable runtime variations in their execution environment. A variety of techniques have been proposed in the last year for the design of self-adaptive applications; however, most of them is tailored to specific applications or can provide limited guarantees of effectiveness and dependability. Control theory has, on the other hand, developed a wide set of mathematically grounded methods for many engineering domains that interact with the physical world. However, applying these methods to software systems is not straightforward. Software is rarely designed to be controllable and... (More)
Pervasiveness and complexity of modern software are challenging engineers to design applications able to guarantee the desired quality of service despite unpredictable runtime variations in their execution environment. A variety of techniques have been proposed in the last year for the design of self-adaptive applications; however, most of them is tailored to specific applications or can provide limited guarantees of effectiveness and dependability. Control theory has, on the other hand, developed a wide set of mathematically grounded methods for many engineering domains that interact with the physical world. However, applying these methods to software systems is not straightforward. Software is rarely designed to be controllable and its behavior is hard to model in formalisms amenable to control. In this technical briefing we will recall a set of foundational concepts of control theory, explain how they can be transposed in the software engineering domain, and discuss some insights into the design of controllable software.
(Less)
- author
- Filieri, Antonio and Maggio, Martina LU
- organization
- publishing date
- 2016-05-14
- type
- Chapter in Book/Report/Conference proceeding
- publication status
- published
- subject
- host publication
- ICSE '16 Proceedings of the 38th International Conference on Software Engineering Companion
- pages
- 3 pages
- publisher
- IEEE Computer Society
- conference name
- 2016 IEEE/ACM 38th IEEE International Conference on Software Engineering, ICSE 2016
- conference location
- Austin, United States
- conference dates
- 2016-05-14 - 2016-05-22
- external identifiers
-
- scopus:85026633852
- wos:000402155300160
- ISBN
- 9781450341615
- 9781450342056
- DOI
- 10.1145/2889160.2891058
- language
- English
- LU publication?
- yes
- id
- 009b4a16-58c6-4864-a764-8be0b7f14f96
- date added to LUP
- 2017-08-31 12:25:05
- date last changed
- 2024-01-14 03:56:33
@inproceedings{009b4a16-58c6-4864-a764-8be0b7f14f96, abstract = {{<p>Pervasiveness and complexity of modern software are challenging engineers to design applications able to guarantee the desired quality of service despite unpredictable runtime variations in their execution environment. A variety of techniques have been proposed in the last year for the design of self-adaptive applications; however, most of them is tailored to specific applications or can provide limited guarantees of effectiveness and dependability. Control theory has, on the other hand, developed a wide set of mathematically grounded methods for many engineering domains that interact with the physical world. However, applying these methods to software systems is not straightforward. Software is rarely designed to be controllable and its behavior is hard to model in formalisms amenable to control. In this technical briefing we will recall a set of foundational concepts of control theory, explain how they can be transposed in the software engineering domain, and discuss some insights into the design of controllable software.</p>}}, author = {{Filieri, Antonio and Maggio, Martina}}, booktitle = {{ICSE '16 Proceedings of the 38th International Conference on Software Engineering Companion}}, isbn = {{9781450341615}}, language = {{eng}}, month = {{05}}, pages = {{908--910}}, publisher = {{IEEE Computer Society}}, title = {{Control theory for software engineering : Technical briefing}}, url = {{http://dx.doi.org/10.1145/2889160.2891058}}, doi = {{10.1145/2889160.2891058}}, year = {{2016}}, }