Systematic and Automated Software Migration via Model-Driven Engineering
通过模型驱动工程实现系统化、自动化的软件迁移
基本信息
- 批准号:RGPIN-2020-05713
- 负责人:
- 金额:$ 2.55万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Discovery Grants Program - Individual
- 财政年份:2021
- 资助国家:加拿大
- 起止时间:2021-01-01 至 2022-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Background Software migration is the process of transforming software applications from one operating environment to another. It impacts on all software intensive industries, including enterprise systems, avionics, automotive - where operating systems, hardware, languages or frameworks may change. Migration is expensive. The Cooperative Bank UK lost GBP 1.5B on a failed migration project. Netscape spent 2 years on a migration which led to loss of market share and ultimately the collapse of the company. Many real-world migration problems are handled manually, with intensive developer effort and little automated support. Software migration thus involves time-consuming, repetitive and error-prone tasks. The work this proposal describes will produce novel tools and theories, based on Model-Driven Engineering (MDE), to support engineers engaged in software migration. It provides tools to support engineers in automating migration tasks and supporting engineers in predicting what problems may be encountered. Goal The goal of the research is to develop and evaluate techniques and tools for software migration across changes to application operating environments. This fits with my long-term research focusing on automating repetitive & error-prone tasks using MDE. My research will consider a broad set of migration scenarios triggered by hardware or software changes, as well as a new method for software migration that allows early analysis of potential violations of timing properties. Challenges (i) Migration scenarios are diverse and are generally tackled individually. (ii) Automated support exists for specific migration problems but not for an end-to-end process. (iii) There is little support for prediction of problems prior to migration. (iv) Guidance on when migration can be partially supported is largely non-existent. (v) The influence of programming language on migration problems related to timing is poorly understood. Research Outcomes and Directions I will build a novel catalogue of recurring problems in migration across a range of different operating environments, and develop innovative executable model transformations to address them. I will develop a new methodology identifying migration 'hotspots', as well as novel mechanisms for prediction of timing problems. I will develop new guidance on when partial migration may be possible/beneficial. Impact Maintenance is the most expensive part of software engineering; the proposed work will yield productivity improvements that will reduce overall costs when companies must undertake migration. The research will lead to an innovative catalogue of software migration problems and patterns, as well as new mechanisms for predicting the impact of migration on timing characteristics of software. It will strengthen Canada's position as a leader in software migration, both in academia and industry, and will build on strong synergies between Canadian universities and companies working in software maintenance.
软件迁移是将软件应用程序从一个操作环境转换到另一个操作环境的过程。它影响到所有软件密集型行业,包括企业系统、航空电子设备、汽车,这些行业的操作系统、硬件、语言或框架可能会发生变化。迁移是昂贵的。英国合作银行在一个失败的移民项目上损失了15亿英镑。网景花了两年时间进行迁移,导致市场份额的损失,最终导致公司倒闭。许多现实世界的迁移问题都是手动处理的,开发人员需要付出大量的努力,很少有自动化的支持。因此,软件迁移涉及耗时,重复和容易出错的任务。该提案所描述的工作将产生基于模型驱动工程(MDE)的新工具和理论,以支持从事软件迁移的工程师。它提供了一些工具来支持工程师自动执行迁移任务,并支持工程师预测可能遇到的问题。研究的目标是开发和评估跨应用程序操作环境变化的软件迁移技术和工具。这符合我长期的研究,专注于使用MDE自动化重复和容易出错的任务。我的研究将考虑由硬件或软件更改触发的一系列广泛的迁移场景,以及一种新的软件迁移方法,该方法允许早期分析潜在的时序属性违规。(i)移徙的情况多种多样,一般都是单独处理。(ii)自动化支持针对特定的迁移问题,但不针对端到端流程。(iii)很少有人支持在迁移之前预测问题。(iv)关于何时可以部分支持移徙的指导基本上不存在。(v)编程语言对与时间相关的迁移问题的影响知之甚少。研究成果和方向我将建立一个新的目录中反复出现的问题,在一系列不同的操作环境迁移,并开发创新的可执行模型转换,以解决这些问题。我将开发一种新的方法来识别迁移“热点”,以及预测时间问题的新机制。我将制定新的指南,说明何时部分迁移可能/有益。影响维护是软件工程中最昂贵的部分;拟议的工作将提高生产力,从而降低公司必须进行迁移时的总体成本。这项研究将导致一个创新的目录的软件迁移问题和模式,以及新的机制,预测迁移的影响,软件的时间特性。它将加强加拿大在学术界和工业界作为软件迁移领导者的地位,并将建立加拿大大学和软件维护公司之间的强大协同作用。
项目成果
期刊论文数量(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 }}
Paige, Richard其他文献
Paige, Richard的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Paige, Richard', 18)}}的其他基金
Systematic and Automated Software Migration via Model-Driven Engineering
通过模型驱动工程实现系统化、自动化的软件迁移
- 批准号:
RGPIN-2020-05713 - 财政年份:2022
- 资助金额:
$ 2.55万 - 项目类别:
Discovery Grants Program - Individual
Automated Safety Systems Engineering for Focused Ultrasound Medical Devices
聚焦超声医疗设备的自动化安全系统工程
- 批准号:
560285-2020 - 财政年份:2021
- 资助金额:
$ 2.55万 - 项目类别:
Alliance Grants
Systematic and Automated Software Migration via Model-Driven Engineering
通过模型驱动工程实现系统化、自动化的软件迁移
- 批准号:
RGPIN-2020-05713 - 财政年份:2020
- 资助金额:
$ 2.55万 - 项目类别:
Discovery Grants Program - Individual
Formal method integration and tool combination
形式化方法集成与工具组合
- 批准号:
203214-1998 - 财政年份:2001
- 资助金额:
$ 2.55万 - 项目类别:
Discovery Grants Program - Individual
Formal method integration and tool combination
形式化方法集成与工具组合
- 批准号:
203214-1998 - 财政年份:2000
- 资助金额:
$ 2.55万 - 项目类别:
Discovery Grants Program - Individual
Formal method integration and tool combination
形式化方法集成与工具组合
- 批准号:
203214-1998 - 财政年份:1999
- 资助金额:
$ 2.55万 - 项目类别:
Discovery Grants Program - Individual
Formal method integration and tool combination
形式化方法集成与工具组合
- 批准号:
203214-1998 - 财政年份:1998
- 资助金额:
$ 2.55万 - 项目类别:
Discovery Grants Program - Individual
相似海外基金
Automated Software Testing Platform
自动化软件测试平台
- 批准号:
10092457 - 财政年份:2024
- 资助金额:
$ 2.55万 - 项目类别:
Collaborative R&D
TELEMETRY - Trustworthy mEthodologies, open knowLedgE & autoMated tools for sEcurity Testing of IoT software, haRdware & ecosYstems
遥测 - 值得信赖的方法,开放的知识
- 批准号:
10087006 - 财政年份:2023
- 资助金额:
$ 2.55万 - 项目类别:
EU-Funded
Round 6 Cont. Development and Application of Certification Metrology for Automated Software-based Spatial Target Characterisation
第 6 轮(续)
- 批准号:
10061924 - 财政年份:2023
- 资助金额:
$ 2.55万 - 项目类别:
Collaborative R&D
23-016713 NHLBI, ITAC REQUIRES RENEWAL OF ITS INFRASTRUCTURE AS CODE (IAC) SOFTWARE SOLUTION, CHEF, IN ORDER TO SUPPORT NHLBI'S MISSION NEEDS FOR THE AUTOMATED CONFIGURATION AND MANAGEMENT OF NHLBI S
23-016713 NHLBI、ITAC 要求更新其基础设施作为代码 (IAC) 软件解决方案、CHEF,以支持 NHLBI 对 NHLBI S 的自动化配置和管理的任务需求
- 批准号:
10974181 - 财政年份:2023
- 资助金额:
$ 2.55万 - 项目类别:
Automated Testing of Software Systems
软件系统的自动化测试
- 批准号:
CRC-2018-00051 - 财政年份:2022
- 资助金额:
$ 2.55万 - 项目类别:
Canada Research Chairs
Systematic and Automated Software Migration via Model-Driven Engineering
通过模型驱动工程实现系统化、自动化的软件迁移
- 批准号:
RGPIN-2020-05713 - 财政年份:2022
- 资助金额:
$ 2.55万 - 项目类别:
Discovery Grants Program - Individual
Fully Automated Software Logging
全自动软件记录
- 批准号:
RGPIN-2018-04932 - 财政年份:2022
- 资助金额:
$ 2.55万 - 项目类别:
Discovery Grants Program - Individual
Enhancing Automated Software Evolution via Building and Utilizing Large-Scale Software Evolution Corpora
通过构建和利用大规模软件演进语料库增强自动化软件演进
- 批准号:
22H03567 - 财政年份:2022
- 资助金额:
$ 2.55万 - 项目类别:
Grant-in-Aid for Scientific Research (B)
SHF: Medium: Automated Software Engineering Techniques for Improving the Accessibility of Software
SHF:中:用于提高软件可访问性的自动化软件工程技术
- 批准号:
2211790 - 财政年份:2022
- 资助金额:
$ 2.55万 - 项目类别:
Continuing Grant
Software for automated diagnosis of upper gastro-intestinal examination with contrast media
使用造影剂进行上消化道检查自动诊断的软件
- 批准号:
22K07728 - 财政年份:2022
- 资助金额:
$ 2.55万 - 项目类别:
Grant-in-Aid for Scientific Research (C)