ENSURE II - ENsurance of Software evolUtion by Run-time cErtification

质量属性在不同类型的软件系统中扮演着重要的角色，例如嵌入式系统的安全性和商业信息系统的性能。目前，质量要求通常在设计时进行检查。对于具有不断变化的环境条件的进化系统，这会导致系统在质量属性方面的行为可能与设计时分析的不同的问题。我们建议通过开发一种整体模型驱动的方法来解决这个问题，该方法将质量评估模型视为一流的实体。这种方法使用专门的模型转换来发展具有结构和行为模型的质量评估模型。此外，模型将不断更新统计监测技术，以估计模型参数，如使用概况和故障率。作为这种方法的结果，我们将能够用一致的模型证明软件进化步骤。

Quality attributes play an important role in different classes of software systems, e.g. safety in embedded systems and performance in business information systems. Currently, quality requirements are typically checked at design time. For evolving systems with changing environmental conditions this leads to the problem that the system may behave differently with respect to quality attributes than analyzed at design time. We propose to address this problem by developing a holistic model-driven approach, which treats quality evaluation models as first class entities. This approach uses dedicated model transformations to evolve quality evaluation models with structural and behavioral models. Furthermore, the models will be continuously updated with statistical monitoring techniques to estimate model parameters like usage profiles and failure rates. As a result of this approach, we will be able to certify software evolution steps with consistent models.