刷新
{{item.name}}会员
Automating change impact analysis in integration and testing of avionics COTS-based system (ACACIA)
基于航空电子 COTS 的系统 (ACACIA) 集成和测试中的自动化变更影响分析
基本信息
- 批准号：447998-2013
- 负责人：
- 金额：$ 5.42万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Collaborative Research and Development Grants
- 财政年份：2014
- 资助国家：加拿大
- 起止时间：2014-01-01 至 2015-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
The main objective of the project, Automating Change Impact Analysis in Integration and Testing of Avionics COTS-based System (ACACIA), is to automate the process of avionics COTS-based system integration and testing, by developing advanced methods and prototype tools for the dynamic analysis of such a system, as well as for impact analysis for regression testing of an evolving system (based on a case study of a flight simulator).
该项目的主要目标是自动化基于COTS的航空电子系统集成和测试中的更改影响分析(Acacia)，通过开发先进的方法和原型工具来实现基于COTS的航空电子系统集成和测试过程的自动化，以及对不断发展的系统进行回归测试的影响分析(基于飞行模拟器的案例研究)。
项目成果
期刊论文数量（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 }}
Petrenko, Alexandre其他文献
Can a Model Checker Generate Tests for Non-Deterministic Systems?
- DOI：
10.1016/j.entcs.2007.08.002 - 发表时间：
2007-08-31 - 期刊：
- 影响因子：0
- 作者：
Boroday, Sergiy;Petrenko, Alexandre;Groz, Roland - 通讯作者：
Groz, Roland
Petrenko, Alexandre的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Petrenko, Alexandre', 18)}}的其他基金
Fault Model-Based Testing
基于故障模型的测试
- 批准号：
RGPIN-2017-03900 - 财政年份：2022
- 资助金额：
$ 5.42万 - 项目类别：
Discovery Grants Program - Individual
Fault Model-Based Testing
基于故障模型的测试
- 批准号：
RGPIN-2017-03900 - 财政年份：2021
- 资助金额：
$ 5.42万 - 项目类别：
Discovery Grants Program - Individual
Industrial-grade Verification & Validation of Evolving Systems - Canadian cluster
工业级验证
- 批准号：
549118-2019 - 财政年份：2021
- 资助金额：
$ 5.42万 - 项目类别：
Alliance Grants
Industrial-grade Verification & Validation of Evolving Systems - Canadian cluster
工业级验证
- 批准号：
549118-2019 - 财政年份：2020
- 资助金额：
$ 5.42万 - 项目类别：
Alliance Grants
Fault Model-Based Testing
基于故障模型的测试
- 批准号：
RGPIN-2017-03900 - 财政年份：2020
- 资助金额：
$ 5.42万 - 项目类别：
Discovery Grants Program - Individual
Fault Model-Based Testing
基于故障模型的测试
- 批准号：
RGPIN-2017-03900 - 财政年份：2019
- 资助金额：
$ 5.42万 - 项目类别：
Discovery Grants Program - Individual
Fault Model-Based Testing
基于故障模型的测试
- 批准号：
RGPIN-2017-03900 - 财政年份：2018
- 资助金额：
$ 5.42万 - 项目类别：
Discovery Grants Program - Individual
Fault Model-Based Testing
基于故障模型的测试
- 批准号：
RGPIN-2017-03900 - 财政年份：2017
- 资助金额：
$ 5.42万 - 项目类别：
Discovery Grants Program - Individual
Distributed Systems Testing
分布式系统测试
- 批准号：
194381-2012 - 财政年份：2016
- 资助金额：
$ 5.42万 - 项目类别：
Discovery Grants Program - Individual
Distributed Systems Testing
分布式系统测试
- 批准号：
194381-2012 - 财政年份：2015
- 资助金额：
$ 5.42万 - 项目类别：
Discovery Grants Program - Individual
相似国自然基金
发展/减排路径（SSPs/RCPs）下中国未来人口迁移与集聚时空演变及其影响
- 批准号：19ZR1415200
- 批准年份：2019
- 资助金额：0.0 万元
- 项目类别：省市级项目
美洲大蠊药材养殖及加工过程中化学成分动态变化与生物活性的相关性研究
- 批准号：81060329
- 批准年份：2010
- 资助金额：26.0 万元
- 项目类别：地区科学基金项目
用多重假设检验方法来研究方差变点问题
- 批准号：10901010
- 批准年份：2009
- 资助金额：16.0 万元
- 项目类别：青年科学基金项目
相似海外基金
Assessing ocean-forced, marine-terminating glacier change in Greenland during climatic warm periods and its impact on marine productivity (Kang-Glac)
评估气候温暖时期格陵兰岛受海洋驱动、海洋终止的冰川变化及其对海洋生产力的影响 (Kang-Glac)
- 批准号：
NE/V006630/1 - 财政年份：2024
- 资助金额：
$ 5.42万 - 项目类别：
Research Grant
Assessing ocean-forced, marine-terminating glacier change in Greenland during climatic warm periods and its impact on marine productivity (Kang-Glac)
评估气候温暖时期格陵兰岛受海洋驱动、海洋终止的冰川变化及其对海洋生产力的影响 (Kang-Glac)
- 批准号：
NE/V007289/1 - 财政年份：2024
- 资助金额：
$ 5.42万 - 项目类别：
Research Grant
Climate Change Impact on Midlatitude Cyclone Intensity, Tracks, and Impacts (CLIM-CITI)
气候变化对中纬度气旋强度、路径和影响的影响 (CLIM-CITI)
- 批准号：
NE/Y001273/1 - 财政年份：2024
- 资助金额：
$ 5.42万 - 项目类别：
Research Grant
Climate Change Effects on Pregnancy via a Traditional Food
气候变化通过传统食物对怀孕的影响
- 批准号：
10822202 - 财政年份：2024
- 资助金额：
$ 5.42万 - 项目类别：
Assessing ocean-forced, marine-terminating glacier change in Greenland during climatic warm periods and its impact on marine productivity (Kang-Glac)
评估气候温暖时期格陵兰岛受海洋驱动、海洋终止的冰川变化及其对海洋生产力的影响 (Kang-Glac)
- 批准号：
NE/V006509/1 - 财政年份：2024
- 资助金额：
$ 5.42万 - 项目类别：
Research Grant
Digital Tools for Sustainable Water Resources Management: Integrating impact of change of climate, land use, and optimised solutions
可持续水资源管理的数字工具：整合气候变化、土地利用和优化解决方案的影响
- 批准号：
EP/Y037057/1 - 财政年份：2024
- 资助金额：
$ 5.42万 - 项目类别：
Research Grant
Impact of nurses' behavior change and implementing evidence-based practice to improve quality indicators in intensive care units in low-and middle-income countries
护士行为改变和实施循证实践对提高低收入和中等收入国家重症监护病房质量指标的影响
- 批准号：
24K02733 - 财政年份：2024
- 资助金额：
$ 5.42万 - 项目类别：
Grant-in-Aid for Scientific Research (B)
Infectious Diseases Training program in Bolivia: South-South Training with Peru
玻利维亚传染病培训项目：与秘鲁的南南培训
- 批准号：
10838920 - 财政年份：2024
- 资助金额：
$ 5.42万 - 项目类别：
Water IMPACT: Water emissions forecasting tool to Introduce the Modelling Potential of water quality Actions to reach Climate-change Targets
水影响：水排放预测工具，介绍水质建模潜力 实现气候变化目标的行动
- 批准号：
10103499 - 财政年份：2024
- 资助金额：
$ 5.42万 - 项目类别：
Collaborative R&D
Assessing ocean-forced, marine-terminating glacier change in Greenland during climatic warm periods and its impact on marine productivity (Kang-Glac)
评估气候温暖时期格陵兰岛受海洋驱动、海洋终止的冰川变化及其对海洋生产力的影响 (Kang-Glac)
- 批准号：
NE/V006517/1 - 财政年份：2024
- 资助金额：
$ 5.42万 - 项目类别：
Research Grant