Automated Test Model Generation for Safety Assurance of Cyber-Physical Systems and their Design Tools

用于信息物理系统安全保证的自动测试模型生成及其设计工具

基本信息

批准号：
546810-2020
负责人：
Babikian, ArenAA
金额：
$ 1.53万
依托单位：
McGill University
依托单位国家：
加拿大
项目类别：
Postgraduate Scholarships - Doctoral
财政年份：
2022
资助国家：
加拿大
起止时间：
2022-01-01 至 2023-12-31
项目状态：
已结题

来源：
https://www.nserc-crsng.gc.ca/ase-oro/Details-Detailles_eng.asp?id=751760
关键词：
Automated Test Model Generation Safety

项目摘要

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 }}

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

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

作者：
{{ item.author }}

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

Babikian, ArenAA其他文献

Babikian, ArenAA的其他文献

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

相似国自然基金

无人船自主航行系统软硬件耦合失效机理及可靠性测试模型研究

批准号：
52301401
批准年份：
2023
资助金额：
30 万元
项目类别：
青年科学基金项目

冻结缘渗透系数预报模型和测试方法研究

批准号：
42301143
批准年份：
2023
资助金额：
30 万元
项目类别：
青年科学基金项目

面向分布式云存储系统的模型检验驱动的探索测试技术研究

批准号：
62372222
批准年份：
2023
资助金额：
50 万元
项目类别：
面上项目

测试特异性细胞内抗体片段在亨廷顿病模型中的治疗作用

批准号：
批准年份：
2022
资助金额：
52 万元
项目类别：
面上项目

基于实际道路测试的柴油车气态亚硝酸(HONO)瞬态排放模型构建研究

批准号：
批准年份：
2022
资助金额：
30 万元
项目类别：
青年科学基金项目

相似海外基金

Machine Learning to Optimize Management of Acute Hydrocephalus

机器学习优化急性脑积水的治疗

批准号：
10639454
财政年份：
2023
资助金额：
$ 1.53万
项目类别：

Measuring and Predicting Appropriate Antibiotic Use to Combat Resistant Bacteria

测量和预测对抗耐药细菌的适当抗生素使用

批准号：
10720073
财政年份：
2023
资助金额：
$ 1.53万
项目类别：

Facilitation of Information Exchange for Shared Decision Making for Lung Cancer Screening

促进肺癌筛查共享决策的信息交换

批准号：
10723285
财政年份：
2023
资助金额：
$ 1.53万
项目类别：

Making the invisible visible: An automated clinical decision support tool for Intimate Partner Violence Risk and Severity Prediction (AIRS)

让不可见变得可见：用于亲密伴侣暴力风险和严重程度预测 (AIRS) 的自动化临床决策支持工具

批准号：
10522589
财政年份：
2022
资助金额：
$ 1.53万
项目类别：