Linked Forever Young Production Automation with Active Components (LinkedFYPA²C)

将 Forever Young 生产自动化与有源组件连接 (LinkedFYPA²C)

• 批准号: 221630013
• 负责人: Professor Dr.-Ing. Alexander Fay
• 金额: --
• 依托单位: Arbeitsbereich Verteilte Systeme und Informationssysteme (VSIS)
• 依托单位国家: 德国
• 项目类别: Priority Programmes
• 财政年份: 2012
• 资助国家: 德国
• 起止时间: 2011-12-31 至 2020-12-31
• 项目状态: 已结题
• 来源: https://gepris.dfg.de/gepris/projekt/221630013?language=en
• 关键词: Linked; Forever; Young; Production; Automation

Software in productive use suffers from degeneration, caused e.g. by changing usage conditions or ad-hoc modifications not reflected in the latest software specifications. The FYPA²C project aims at addressing such software degeneration by an “anti-aging cycle” that perpetually reinforces the consistency of software specifications, their corresponding implementations, and their actual usage. Main contributions are (1) a combined meta-model for production automation software and verifiable requirements, (2) automated improvement of requirements specifications by learning from actual system behaviour, and (3) an infrastructure for online monitoring and simulation-based validation of requirements. The meta-model is based on “Active Components” and allows to specify the application, the underlying technical production process, and the requirements in ways in which they can be validated by corresponding test cases. Based on the knowledge of the system components and the production process, an online monitoring and learning infrastructure will continuously analyze and store system behaviour. When applying modifications to the software, it can be tested against all specified and learned requirements using the simulation-based validation. As a result, software developers and system operators are provided with an approach and tool suite for managing knowledge about software usage and requirements in order to keep such software “forever young”.

在生产使用中的软件会受到退化的影响，例如，由于使用条件的变化或最新软件规范中没有反映的特别修改而造成的退化。FYPA²C项目旨在通过一个“抗老化周期”来解决这种软件退化问题，该周期永久地加强了软件规范、相应实现及其实际使用的一致性。主要贡献是（1）生产自动化软件和可验证需求的组合元模型，（2）通过学习实际系统行为自动改进需求规范，以及（3）在线监控和基于仿真的需求验证基础设施。元模型基于“活动组件”，并允许指定应用程序，底层技术生产过程和需求的方式，它们可以通过相应的测试用例进行验证。基于对系统组件和生产过程的了解，在线监控和学习基础设施将持续分析和存储系统行为。当对软件进行修改时，可以使用基于模拟的验证针对所有指定和学习的要求进行测试。因此，为软件开发人员和系统操作员提供了一种方法和工具套件，用于管理有关软件使用和要求的知识，以保持这种软件“永远年轻”。