Automated design of self-adaptive software with control-theoretical formal guarantees
- Submitting institution
-
Imperial College of Science, Technology and Medicine
- Unit of assessment
- 11 - Computer Science and Informatics
- Output identifier
- 2391
- Type
- E - Conference contribution
- DOI
-
10.1145/2568225.2568272
- Title of conference / published proceedings
- Proceedings of the 36th International Conference on Software Engineering
- First page
- 299
- Volume
- -
- Issue
- 1
- ISSN
- 0270-5257
- Open access status
- Out of scope for open access requirements
- Month of publication
- May
- Year of publication
- 2014
- URL
-
-
- Supplementary information
-
10.1145/2568225.2568272
- Request cross-referral to
- -
- Output has been delayed by COVID-19
- No
- COVID-19 affected output statement
- -
- Forensic science
- No
- Criminology
- No
- Interdisciplinary
- No
- Number of additional authors
-
2
- Research group(s)
-
-
- Citation count
- 51
- Proposed double-weighted
- No
- Reserve for an output with double weighting
- No
- Additional information
- A method for automatic approximate modelling and formally guaranteed online tuning of adaptive software for the continuous satisfaction of quantitative goals. It contributed to fill the semantic gap between control engineering guarantees and adaptive software requirements, enabling more collaborations between the two areas. It started a new research trend in the Software Engineering community based on its principles and proofs, evidenced by Dagstuhl Seminar 14382 (https://www.dagstuhl.de/14382 and ACM TAAS paper, https://dl.acm.org/doi/10.1145/3024188). It enabled parts of MODAClouds (EU-FP7-ICT-2011-8-318484, €9M). Open-source implementation (goo.gl/TigXhA) downloaded over 340 times. Technical briefing at ICSE’16 (https://dl.acm.org/doi/10.1145/2889160.2891058), invited talk at the QAPL workshop at ETAPS’16 (goo.gl/b7F34k).
- Author contribution statement
- -
- Non-English
- No
- English abstract
- -
