刷新
{{item.name}}会员
Automated Test Model Generation for Safety Assurance of Cyber-Physical Systems and their Design Tools
用于信息物理系统安全保证的自动测试模型生成及其设计工具
基本信息
- 批准号：546810-2020
- 负责人：
- 金额：$ 1.53万
- 依托单位：
- 依托单位国家：加拿大
- 项目类别：Postgraduate Scholarships - Doctoral
- 财政年份：2021
- 资助国家：加拿大
- 起止时间：2021-01-01 至 2022-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
Verification and Validation, Model-based Systems Engineering, Software Tool Qualification, Formal Methods, Graph Model Synthesis, Automated Test Generation, Autonomous Cyber-Physical Systems, System-level Testing
验证和确认、基于模型的系统工程、软件工具鉴定、形式化方法、图模型综合、自动测试生成、自主网络物理系统、系统级测试
项目成果
期刊论文数量（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 }}
Babikian, Aren其他文献
Babikian, Aren的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Babikian, Aren', 18)}}的其他基金
Automated Test Model Generation for Safety Assurance of Cyber-Physical Systems and their Design Tools
用于信息物理系统安全保证的自动测试模型生成及其设计工具
- 批准号：
546810-2020 - 财政年份：2020
- 资助金额：
$ 1.53万 - 项目类别：
Postgraduate Scholarships - Doctoral
Test context models for systematic validation of safe behavior of autonomous vehicles
测试上下文模型以系统验证自动驾驶车辆的安全行为
- 批准号：
526325-2018 - 财政年份：2018
- 资助金额：
$ 1.53万 - 项目类别：
University Undergraduate Student Research Awards
Generation of consistent graph models by using automated theorem provers
使用自动定理证明器生成一致的图模型
- 批准号：
511992-2017 - 财政年份：2017
- 资助金额：
$ 1.53万 - 项目类别：
University Undergraduate Student Research Awards
相似国自然基金
数字化生态赋能TEST融合型翻译人才培养模型构建与指标体系研究
- 批准号：2023JJ50396
- 批准年份：2023
- 资助金额：0.0 万元
- 项目类别：省市级项目
基于广义测量的多体量子态self-test的实验研究
- 批准号：
- 批准年份：2021
- 资助金额：30 万元
- 项目类别：青年科学基金项目
基于“Design-Build-Test”循环策略的新型紫色杆菌素组合生物合成研究
- 批准号：
- 批准年份：2021
- 资助金额：0.0 万元
- 项目类别：省市级项目
破解高质量低费用确定型test-per-clock测试难题的新方法
- 批准号：61804037
- 批准年份：2018
- 资助金额：24.0 万元
- 项目类别：青年科学基金项目
基于Martingale-test理论的无监督人体行为分类算法研究
- 批准号：61403232
- 批准年份：2014
- 资助金额：25.0 万元
- 项目类别：青年科学基金项目
相似海外基金
Collaborative Research: Using a weather model and geologic data to test tectonic mechanisms in an intercontinental setting: The Altai Mountains of Central Asia
合作研究：利用天气模型和地质数据测试洲际环境中的构造机制：中亚阿尔泰山脉
- 批准号：
2316735 - 财政年份：2023
- 资助金额：
$ 1.53万 - 项目类别：
Standard Grant
A rigorous test of dual process model predictions for problematic alcohol involvement
对有问题的酒精参与的双过程模型预测的严格测试
- 批准号：
10679252 - 财政年份：2023
- 资助金额：
$ 1.53万 - 项目类别：
Collaborative Research: Using a weather model and geologic data to test tectonic mechanisms in an intercontinental setting: The Altai Mountains of Central Asia
合作研究：利用天气模型和地质数据测试洲际环境中的构造机制：中亚阿尔泰山脉
- 批准号：
2316736 - 财政年份：2023
- 资助金额：
$ 1.53万 - 项目类别：
Standard Grant
A Mouse Model to Test the Effects of Gender-affirming Hormone Therapy on HIV Vaccine-induced Immune Responses
测试性别肯定激素疗法对 HIV 疫苗诱导的免疫反应影响的小鼠模型
- 批准号：
10748892 - 财政年份：2023
- 资助金额：
$ 1.53万 - 项目类别：
Collaborative Research: Using a weather model and geologic data to test tectonic mechanisms in an intercontinental setting: The Altai Mountains of Central Asia
合作研究：利用天气模型和地质数据测试洲际环境中的构造机制：中亚阿尔泰山脉
- 批准号：
2316733 - 财政年份：2023
- 资助金额：
$ 1.53万 - 项目类别：
Standard Grant
Collaborative Research: Using a weather model and geologic data to test tectonic mechanisms in an intercontinental setting: The Altai Mountains of Central Asia
合作研究：利用天气模型和地质数据测试洲际环境中的构造机制：中亚阿尔泰山脉
- 批准号：
2316734 - 财政年份：2023
- 资助金额：
$ 1.53万 - 项目类别：
Standard Grant
Development of Preclinical Inhalation Model to Test Vaporized Cannabis Distillates
开发临床前吸入模型来测试汽化大麻蒸馏物
- 批准号：
480992 - 财政年份：2023
- 资助金额：
$ 1.53万 - 项目类别：
Development of an animal model to test HDAC6 as a drug target to reduce and/or prevent fetal growth restriction
开发动物模型来测试 HDAC6 作为减少和/或预防胎儿生长受限的药物靶点
- 批准号：
10785825 - 财政年份：2023
- 资助金额：
$ 1.53万 - 项目类别：
A proposal for estimation of friction pile-unsaturated ground interactions using model test and numerical analysis
利用模型试验和数值分析估计摩擦桩-非饱和地面相互作用的建议
- 批准号：
22K14323 - 财政年份：2022
- 资助金额：
$ 1.53万 - 项目类别：
Grant-in-Aid for Early-Career Scientists
Mining Software Test Histories to Identify Flaky Tests and Model Commit Failure Risk
挖掘软件测试历史来识别不稳定的测试和模型提交失败风险
- 批准号：
RGPIN-2020-06807 - 财政年份：2022
- 资助金额：
$ 1.53万 - 项目类别：
Discovery Grants Program - Individual