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.

本文介绍了一种系统工程可信自适应软件的方法，并利用工具支持的 ENTRUST 工具来开发了嵌入式和基于服务的系统的概念证明自适应软件，同时生成动态保障案例来证明其适用性。