Automated testing and specification mining for certification of avionics software systems
用于航空电子软件系统认证的自动化测试和规范挖掘
基本信息
- 批准号:515254-2017
- 负责人:
- 金额:$ 3.53万
- 依托单位:
- 依托单位国家:加拿大
- 项目类别:Collaborative Research and Development Grants
- 财政年份:2019
- 资助国家:加拿大
- 起止时间:2019-01-01 至 2020-12-31
- 项目状态:已结题
- 来源:
- 关键词:
项目摘要
Avionics software systems are safety-critical software embedded in an aircraft hardware that control and monitor the aircraft. The Unmanned Aerial Vehicle (UAV) is an avionics system with no pilot on board. A UAV can fly autonomously using a software called Autopilot. Aviation software industry observes one of the highest standards of safety control, where their embedded software systems, such as an Autopilot, go through a set of rigorous standard checks, before entering to the commercial market. In this project, we collaborate with MicroPilot, a world-leader in building autopilot systems for commercial UAVs, to improve their current practice of testing and debugging by providing "automation", "traceability", and "risk-awareness", which are among the most significant requirements of the standards. To realize the above objectives, a set of techniques from "mining software repositories", "model-driven engineering", and "automated test data generation" will be used in the context of this research project. The proposed tools and processes of this project are planned to be integrated in the existing frameworks and processes of the company to help them to get certified and deliver higher quality systems. While the current project will focus on improving MicroPilot's current practice of software development and verification, other companies that are building safety-critical embedded systems in Canada could also benefit from this project's report.
航空电子软件系统是嵌入在飞机硬件中的安全关键软件,用于控制和监视飞机。无人驾驶飞行器(UAV)是一种机载无飞行员的航空电子系统。无人机可以使用一种名为Autopilot的软件自主飞行。航空软件业遵守安全控制的最高标准之一,他们的嵌入式软件系统,如自动驾驶仪,在进入商业市场之前要经过一系列严格的标准检查。在这个项目中,我们与MicroPilot合作,MicroPilot是全球商用无人机自动驾驶系统的领导者,通过提供“自动化”、“可追溯性”和“风险意识”来改进他们目前的测试和调试实践,这些都是标准中最重要的要求。为了实现上述目标,一组来自“挖掘软件存储库”、“模型驱动工程”和“自动测试数据生成”的技术将在本研究项目的上下文中使用。计划将该项目提出的工具和流程整合到公司现有的框架和流程中,以帮助他们获得认证并提供更高质量的系统。虽然目前的项目将专注于改进MicroPilot目前的软件开发和验证实践,但加拿大其他正在构建安全关键嵌入式系统的公司也可以从该项目的报告中受益。
项目成果
期刊论文数量(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 }}
Hemmati, Hadi其他文献
A domain adaptation benchmark for T1-weighted brain magnetic resonance image segmentation.
- DOI:
10.3389/fninf.2022.919779 - 发表时间:
2022 - 期刊:
- 影响因子:3.5
- 作者:
Saat, Parisa;Nogovitsyn, Nikita;Hassan, Muhammad Yusuf;Ganaie, Muhammad Athar;Souza, Roberto;Hemmati, Hadi - 通讯作者:
Hemmati, Hadi
Modeling robustness behavior using aspect-oriented modeling to support robustness testing of industrial systems
- DOI:
10.1007/s10270-011-0206-z - 发表时间:
2012-10-01 - 期刊:
- 影响因子:2
- 作者:
Ali, Shaukat;Briand, Lionel C.;Hemmati, Hadi - 通讯作者:
Hemmati, Hadi
Hemmati, Hadi的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI:
{{ item.doi }} - 发表时间:
{{ item.publish_year }} - 期刊:
- 影响因子:{{ item.factor }}
- 作者:
{{ item.authors }} - 通讯作者:
{{ item.author }}
{{ truncateString('Hemmati, Hadi', 18)}}的其他基金
Program Behavior Representation Learning for Software Testing
软件测试的程序行为表示学习
- 批准号:
RGPIN-2020-04552 - 财政年份:2022
- 资助金额:
$ 3.53万 - 项目类别:
Discovery Grants Program - Individual
Program Behavior Representation Learning for Software Testing
软件测试的程序行为表示学习
- 批准号:
RGPIN-2020-04552 - 财政年份:2021
- 资助金额:
$ 3.53万 - 项目类别:
Discovery Grants Program - Individual
TrustBuilder.AI: fast, robust, and explainable deep learning
TrustBuilder.AI:快速、稳健且可解释的深度学习
- 批准号:
568643-2021 - 财政年份:2021
- 资助金额:
$ 3.53万 - 项目类别:
Alliance Grants
A robust AI-based automated trading system
强大的基于人工智能的自动交易系统
- 批准号:
556396-2020 - 财政年份:2021
- 资助金额:
$ 3.53万 - 项目类别:
Alliance Grants
A robust AI-based automated trading system
强大的基于人工智能的自动交易系统
- 批准号:
556396-2020 - 财政年份:2020
- 资助金额:
$ 3.53万 - 项目类别:
Alliance Grants
Program Behavior Representation Learning for Software Testing
软件测试的程序行为表示学习
- 批准号:
RGPIN-2020-04552 - 财政年份:2020
- 资助金额:
$ 3.53万 - 项目类别:
Discovery Grants Program - Individual
Enhancing Model-based Testing using Software Analytics
使用软件分析增强基于模型的测试
- 批准号:
RGPIN-2014-05108 - 财政年份:2019
- 资助金额:
$ 3.53万 - 项目类别:
Discovery Grants Program - Individual
Testing Deep Neural Network Programs
测试深度神经网络程序
- 批准号:
542649-2019 - 财政年份:2019
- 资助金额:
$ 3.53万 - 项目类别:
Engage Grants Program
Enhancing Model-based Testing using Software Analytics
使用软件分析增强基于模型的测试
- 批准号:
RGPIN-2014-05108 - 财政年份:2018
- 资助金额:
$ 3.53万 - 项目类别:
Discovery Grants Program - Individual
Automated testing and specification mining for certification of avionics software systems
用于航空电子软件系统认证的自动化测试和规范挖掘
- 批准号:
515254-2017 - 财政年份:2018
- 资助金额:
$ 3.53万 - 项目类别:
Collaborative Research and Development Grants
相似国自然基金
基于质谱贴片的病原菌标志物检测及伤口感染诊断应用
- 批准号:82372148
- 批准年份:2023
- 资助金额:60.00 万元
- 项目类别:面上项目
用多重假设检验方法来研究方差变点问题
- 批准号:10901010
- 批准年份:2009
- 资助金额:16.0 万元
- 项目类别:青年科学基金项目
资本外逃及其逆转:基于中国的理论与实证研究
- 批准号:70603008
- 批准年份:2006
- 资助金额:17.0 万元
- 项目类别:青年科学基金项目
相似海外基金
Integrating cell identities and morphodynamics through extracellular cues
通过细胞外线索整合细胞身份和形态动力学
- 批准号:
10644461 - 财政年份:2023
- 资助金额:
$ 3.53万 - 项目类别:
The Role of Notch Signaling in Shh-mediated Oligodendrocyte Fate Specification
Notch 信号在 Shh 介导的少突胶质细胞命运规范中的作用
- 批准号:
10751568 - 财政年份:2023
- 资助金额:
$ 3.53万 - 项目类别:
Interrogating a white matter degeneration-specific astrocyte reactivity state and its role in governing repair-associated microglia specification and function.
询问白质变性特异性星形胶质细胞反应状态及其在控制修复相关小胶质细胞规格和功能中的作用。
- 批准号:
10660874 - 财政年份:2023
- 资助金额:
$ 3.53万 - 项目类别:
Gene regulatory network control of olfactory cortex cell type specification
嗅觉皮层细胞类型规范的基因调控网络控制
- 批准号:
10656692 - 财政年份:2023
- 资助金额:
$ 3.53万 - 项目类别:
Genomic and functional investigations of the transcriptional regulatory network of tooth enamel development
牙釉质发育转录调控网络的基因组和功能研究
- 批准号:
10720303 - 财政年份:2023
- 资助金额:
$ 3.53万 - 项目类别:
Defining mechanisms of metabolic-epigenetic crosstalk that drive glioma initiation
定义驱动神经胶质瘤发生的代谢-表观遗传串扰机制
- 批准号:
10581192 - 财政年份:2023
- 资助金额:
$ 3.53万 - 项目类别:
High resolution lineage tracing of developmental hematopoiesis
发育造血的高分辨率谱系追踪
- 批准号:
10585400 - 财政年份:2023
- 资助金额:
$ 3.53万 - 项目类别:
Epigenetic regulation of lineage specification in colon epithelial cells
结肠上皮细胞谱系规范的表观遗传调控
- 批准号:
10676682 - 财政年份:2023
- 资助金额:
$ 3.53万 - 项目类别:
Mechanisms of repressive interactions between developmental gene regulatory networks
发育基因调控网络之间的抑制相互作用机制
- 批准号:
10752429 - 财政年份:2023
- 资助金额:
$ 3.53万 - 项目类别: