Study on formal methods for next-generation automotive systems
Study on formal methods for next-generation automotive systems
下一代汽车系统的形式化方法研究
批准号：
18H03220
负责人：
Aoki Toshiaki
金额：
$10.9万
依托单位国家：
日本
项目类别：
Grant-in-Aid for Scientific Research (B)
财政年份：
2018
资助国家：
日本
项目状态：
已结题
起止时间：
2018-04-01 至 2023-03-31
中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
登录
查看更多内容
DOI：
10.1109/qrs57517.2022.00050
发表时间：
2022-12
期刊：
2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS)
影响因子：
--
作者：
[Daisuke Ishii;Takashi Tomita;Toshiaki Aoki;T. Ngo;Thi Bich Ngoc Do;Hideaki Takai]
通讯作者：
Daisuke Ishii;Takashi Tomita;Toshiaki Aoki;T. Ngo;Thi Bich Ngoc Do;Hideaki Takai
Analysis and Enhancement of Self-sovereign Identity System Properties Compiling Standards and Regulations
自主主权身份系统属性分析与强化标准法规编制
自主主权身份系统属性分析与强化标准法规编制
DOI：
--
发表时间：
2022
期刊：
影响因子：
--
作者：
[Charnon Pattiyanon, Toshiaki Aoki]
通讯作者：
Toshiaki Aoki
Comprehensive Robustness Evaluation of File Systems with Model Checking
通过模型检查对文件系统进行综合鲁棒性评估
通过模型检查对文件系统进行综合鲁棒性评估
DOI：
--
发表时间：
2020
期刊：
影响因子：
--
作者：
[Jingcheng Yuan, Toshiaki Aoki, Xiaoyun Guo]
通讯作者：
Xiaoyun Guo
車載システム開発における形式手法実践の現状と課題
车载系统开发形式化方法实践现状及问题
车载系统开发形式化方法实践现状及问题
DOI：
--
发表时间：
2018
期刊：
影响因子：
--
作者：
[Zhengguo Yang, Toshiaki Aoki, Yasuo Tan, 青木利晃，川上大介，千田伸男，冨田尭, 青木利晃, 青木利晃]
通讯作者：
青木利晃
Model checking of in-vehicle networking systems with CAN and FlexRay
使用 CAN 和 FlexRay 进行车载网络系统的模型检查
使用 CAN 和 FlexRay 进行车载网络系统的模型检查
DOI：
10.1016/j.jss.2019.110461
发表时间：
2020
期刊：
Journal of Systems and Software
影响因子：
3.5
作者：
[Guo Xiaoyun, Aoki Toshiaki, Lin Hsin-Hung]
通讯作者：
Lin Hsin-Hung
共 37 条
海外基金