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

针对自动化系统微观变化的模型驱动演化管理 (MoDEMMiCAS)

• 批准号: 222278915
• 负责人: Professor Dr. Manfred Broy
• 金额: --
• 依托单位: Lehrstuhl für Automatisierung und Informationssysteme
• 依托单位国家: 德国
• 项目类别: Priority Programmes
• 财政年份: 2012
• 资助国家: 德国
• 起止时间: 2011-12-31 至 2017-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/222278915?language=en
• 关键词: Model; Driven; Evolution; Management; Microscopic

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.

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