Static Analysis to Support Change Management in Variant-rich Legacy Control Software for Machine and Plant Engineering companies (CHANGE aPS)

静态分析支持机器和工厂工程公司丰富变体的传统控制软件中的变更管理 (CHANGE aPS)

基本信息

项目摘要

Automated Production Systems (aPS), i.e., machines and plants, are long-living systems, usually controlled by real-time capable Programmable Logic Controllers (PLCs) programmed in accordance with the IEC 61131-3 standard. Due to the growing functionality and complexity of control software, its planned reuse is increasingly important. At the same time, evolving requirements and requests for additional functionalities from customers and the different involved disciplines (e.g., mechanics or electrics/electronics) are typically addressed by changing the control software. Currently, however, software changes in the aPS domain are typically implemented using Copy-Paste-Modify, which generates a high number of undocumented variants and versions of the control software and results in lower software quality and higher maintenance costs. In this transfer project, we aim to develop better change processes and improve the quality of the resulting control software. We combine, apply, and extend results from our previous DFG-funded projects RED SPLAT (aPS control software restructuring and similarity analysis, executed by TUM) and IMPROVE APS (regression verification of aPS control software, jointly executed by TUM and KIT) to two application sectors of the company teamtechnik, a world leading company in machine and plant engineering (namely automotive and medical-certified software according to GAMP). Thereby, teamtechnik aims to maintain its world-leading market position as a machine and plant manufacturer. Combining the separately developed results of RED SPLAT and IMPROVE APS into a synergetic approach enables a control software analysis that includes both syntactic and semantic clone identification. First, a syntactic (structural) analysis is performed to identify changed software parts and, thus, narrow down the code on which, second, a semantic (behavioral) analysis of software changes is performed using regression verification. Real control software changes are gathered in guided interviews, including the change reason and metadata like comments and naming conventions. This information on changes performed in the industry is taken into account to enhance the identification of semantic code clones. The developed approach is to be embedded in the control software engineering process of teamtechnik. Further, the change analysis and management methods are implemented prototypically, including visual support for different stakeholders, e.g., application developer, commissioner, or manager, to evaluate the approach in teamtechnik’s development workflow concerning its applicability and effectiveness in practice. The insights gained in this project will provide hints for further research on identifying syntactic and especially semantic code clones within control software.
自动化生产系统(ap),即机器和工厂,是长寿命的系统,通常由能够根据IEC 61131-3标准编程的实时可编程逻辑控制器(plc)控制。由于控制软件的功能和复杂性不断增长,其有计划的重用变得越来越重要。与此同时,客户和不同学科(如机械或电气/电子)对附加功能的不断变化的需求和请求通常通过更改控制软件来解决。然而,目前,ap域中的软件更改通常使用复制-粘贴-修改来实现,这会生成大量未记录的控制软件的变体和版本,并导致较低的软件质量和较高的维护成本。在这个转移项目中,我们的目标是开发更好的变更过程,并提高最终控制软件的质量。我们将之前dfg资助的项目RED SPLAT (ap控制软件重组和相似性分析,由TUM执行)和IMPROVE aPS (ap控制软件的回归验证,由TUM和KIT联合执行)的结果结合、应用和扩展到teamtechnik公司的两个应用领域,teamtechnik是一家世界领先的机器和工厂工程公司(即汽车和医疗认证软件,根据GAMP)。因此,teamtechnik的目标是保持其作为机器和设备制造商的世界领先市场地位。将RED SPLAT和IMPROVE APS分别开发的结果结合成一种协同方法,可以实现包括语法和语义克隆识别的控制软件分析。首先,执行语法(结构)分析以识别更改的软件部分,从而缩小代码范围;其次,使用回归验证执行软件更改的语义(行为)分析。真正的控制软件更改是在引导访谈中收集的,包括更改原因和元数据,如注释和命名约定。考虑到有关行业中执行的更改的信息,以增强对语义代码克隆的识别。所开发的方法将嵌入到teamtechnik的控制软件工程过程中。此外,变更分析和管理方法被原型化地实现,包括对不同利益相关者(例如,应用程序开发人员、专员或经理)的可视化支持,以评估teamtechnik开发工作流中的方法在实践中的适用性和有效性。在这个项目中获得的见解将为进一步研究识别控制软件中的语法,特别是语义代码克隆提供提示。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Professor Dr. Bernhard Beckert其他文献

Professor Dr. Bernhard Beckert的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Professor Dr. Bernhard Beckert', 18)}}的其他基金

Regression Verification in a User-Centered Software Development Process for Evolving Automated Production Systems
用于不断发展的自动化生产系统的以用户为中心的软件开发过程中的回归验证
  • 批准号:
    221572075
  • 财政年份:
    2012
  • 资助金额:
    --
  • 项目类别:
    Priority Programmes
Formal Object-oriented Software Development: The Whole Picture
正式的面向对象软件开发:全貌
  • 批准号:
    22995750
  • 财政年份:
    2006
  • 资助金额:
    --
  • 项目类别:
    Research Grants
Integrierter Deduktiver Software-Entwurf
综合演绎软件设计
  • 批准号:
    5437787
  • 财政年份:
    2004
  • 资助金额:
    --
  • 项目类别:
    Research Grants
KeY - A Deductive Software Analysis Tool for the Research Community
KeY - 面向研究界的演绎软件分析工具
  • 批准号:
    443187992
  • 财政年份:
  • 资助金额:
    --
  • 项目类别:
    Research Grants

相似国自然基金

Scalable Learning and Optimization: High-dimensional Models and Online Decision-Making Strategies for Big Data Analysis
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    万元
  • 项目类别:
    合作创新研究团队
Intelligent Patent Analysis for Optimized Technology Stack Selection:Blockchain BusinessRegistry Case Demonstration
  • 批准号:
  • 批准年份:
    2024
  • 资助金额:
    万元
  • 项目类别:
    外国学者研究基金项目
基于Meta-analysis的新疆棉花灌水增产模型研究
  • 批准号:
    41601604
  • 批准年份:
    2016
  • 资助金额:
    22.0 万元
  • 项目类别:
    青年科学基金项目
大规模微阵列数据组的meta-analysis方法研究
  • 批准号:
    31100958
  • 批准年份:
    2011
  • 资助金额:
    20.0 万元
  • 项目类别:
    青年科学基金项目
用“后合成核磁共振分析”(retrobiosynthetic NMR analysis)技术阐明青蒿素生物合成途径
  • 批准号:
    30470153
  • 批准年份:
    2004
  • 资助金额:
    22.0 万元
  • 项目类别:
    面上项目

相似海外基金

Measurement and analysis of radiotherapy small field dosimetry data to support the development of a simulation training product for clinical Radiotherapy Physicists.
放射治疗小场剂量测定数据的测量和分析,以支持临床放射治疗物理学家模拟培训产品的开发。
  • 批准号:
    10089179
  • 财政年份:
    2024
  • 资助金额:
    --
  • 项目类别:
    Collaborative R&D
FTMA4 - Training and mobility to support multi-omic analysis.
FTMA4 - 支持多组学分析的培训和流动性。
  • 批准号:
    BB/X017877/1
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Training Grant
AI-Based Support System for Problem Creation and Sharing by Learners and Teachers using Educational Data Analysis
基于人工智能的支持系统,用于学习者和教师使用教育数据分析创建和共享问题
  • 批准号:
    23K17012
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
Analysis of International Technical Guidance on Sexuality Education Current Situation and Practical Research on Development of Educator Support Program
国际性教育技术指导现状分析及教育者支持计划发展实践研究
  • 批准号:
    23K02150
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Communication Support for Learners of Japanese Language Using AI Facial Expression Analysis System
利用人工智能面部表情分析系统为日语学习者提供交流支持
  • 批准号:
    23K12842
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Early-Career Scientists
Biomechanical Analysis for Mechanical Circulatory Support of the Fontan Circulation
Fontan 循环机械循环支持的生物力学分析
  • 批准号:
    23H02989
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Scientific Research (B)
NHLBI INNOVATION AND COMMERCIALIZATION ECOSYSTEM DATA SUPPORT, EVALUATION, AND ANALYSIS
NHLBI 创新和商业化生态系统数据支持、评估和分析
  • 批准号:
    10929284
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
Mental health preventive support for adolescent non-help-seekers: An empirical analysis for social implementation
对青少年非求助者的心理健康预防支持:社会实施的实证分析
  • 批准号:
    22KJ0712
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
Cooccurrence analysis of conjunctive and sentence-final expressions in academic writing and its application to learner composition support
学术写作中连词和句尾表达的共现分析及其在学习者作文支持中的应用
  • 批准号:
    23K00629
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for Scientific Research (C)
Support for Safe Driving Using Graph Theoretic Functional Brain Network Analysis and Non-invasive Brain Stimulation
使用图论功能脑网络分析和非侵入性脑刺激支持安全驾驶
  • 批准号:
    23KJ1643
  • 财政年份:
    2023
  • 资助金额:
    --
  • 项目类别:
    Grant-in-Aid for JSPS Fellows
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了