Abstract | ||
---|---|---|
Building on concepts drawn from control theory, self-adaptive software handles environmental and internal uncertainties by dynamically adjusting its architecture and parameters in response to events such as workload changes and component failures. Self-adaptive software is increasingly expected to meet strict functional and non-functional requirements in applications from areas as diverse as manufacturing, healthcare and finance. To address this need, we introduce a methodology for the systematic ENgineering of TRUstworthy Self-adaptive sofTware (ENTRUST). ENTRUST uses a combination of (1) design-time and runtime modelling and verification, and (2) industry-adopted assurance processes to develop trustworthy self-adaptive software and assurance cases arguing the suitability of the software for its intended application. To evaluate the effectiveness of our methodology, we present a tool-supported instance of ENTRUST and its use to develop proof-of-concept self-adaptive software for embedded and service-based systems from the oceanic monitoring and e-finance domains, respectively. The experimental results show that ENTRUST can be used to engineer self-adaptive software systems in different application domains and to generate dynamic assurance cases for these systems. |
Year | Venue | DocType |
---|---|---|
2018 | IEEE Trans. Software Eng. | Journal |
Volume | Issue | Citations |
abs/1703.06350 | 11 | 13 |
PageRank | References | Authors |
0.64 | 0 | 6 |
Name | Order | Citations | PageRank |
---|---|---|---|
Radu Calinescu | 1 | 905 | 63.01 |
Simos Gerasimou | 2 | 110 | 14.31 |
Ibrahim Habli | 3 | 287 | 39.46 |
M. Usman Iftikhar | 4 | 227 | 10.27 |
Tim P. Kelly | 5 | 242 | 34.09 |
Danny Weyns | 6 | 2854 | 163.81 |