Model-Driven Evolution Management for Microscopic Changes in Automation Systems (MoDEMMiCAS)

自动化系统构成了多学科、软件密集型、寿命长的系统。为了满足一组不断变化的需求(在本提案中也称为演进步骤)，系统修改通常需要长时间的停机时间和启动时的关键测试阶段。因此，只要有可能，就必须避免改变自动化系统。由于当前和未来的市场要求客户特定产品的灵活性更高(高达批量一的概念)，进化步骤之间的时间需要大幅缩短。事实上，预计未来自动化系统的演变必须在日常工作中进行管理。该项目旨在通过模型驱动的工程方法实现这一例程，包括各自的工程过程模型和形式化(1)定义和构建系统需求，以及(2)描述和分析系统架构和组件结构/行为。因此，初步研究了典型的演化场景以及已建立的项目执行策略和工作实践。分析结果是开发相应的模型驱动工程方法的基础。因此，Focus-一种精心设计的基于模型的工程方法，特别适合于开发反应式软件系统-基本上是为了满足自动化系统领域在内容和可用性方面发展的特殊要求。具体地说，所提供的形式化被扩展以涵盖在自动化系统的生命周期中需要保留的跨学科的架构、结构和行为系统方面。基于严格的系统模型，研究了互补分析技术，该技术允许在演化过程的早期验证系统属性和验证系统设计及其相应的基于模型的实现。最后，得出了所产生的工程过程和各自的工程方法的模型，目的是促进在组织内建立拟议的框架。

Automation systems constitute multi-disciplinary, software-intensive and long-living systems. System modifications to meet a constantly changing set of requirements (also called evolution steps in this proposal) regularly require long downtimes and critical test phases upon start-up. Hence, changes in the automation system have to be avoided whenever possible. As current and future markets demand higher flexibility regarding customer specific products (up to lot-size one concepts), the time between evolution steps needs to be decreased drastically. In fact, it is expected that in the future evolution of automation systems has to be managed in day-to-day routine. This project aims at enabling this routine through a model-driven engineering methodology including respective engineering process models and formalisms (1) to define and structure system requirements and (2) to describe and analyze system architectures and component structures/behavior. Therefore, typical evolution scenarios and established project execution strategies and work practices are studied initially. The analysis results serve as the basis for developing a respective model-driven engineering method. Therefore, FOCUS – a well-elaborated model-based engineering methodology particularly suited for developing reactive software systems – is adapted substantially to meet the particular requirements of evolution in the automation system domain regarding both content and usability. In particular, the provided formalisms are extended to capture cross-discipline architectural, structural and behavioral system aspects that need to be preserved along the lifecycle of automation systems. Based on a rigorous system model complementary analysis techniques are studied, which allow verifying system properties and validating system designs and their respective model-based implementations early in the evolution process. Finally, a model of the resulting engineering process and respective engineering methods is derived with the goal to facilitate establishing the proposed framework within organizations.