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.