CORC

在结果中检索

CORC

浏览/检索结果: 共13条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
Integrating Model Checking With SysML in Complex System Safety Analysis 期刊论文
IEEE Access, 2019, 卷号: Vol.7, 页码: 16561-16571
作者:  Hongli Wang;  Deming Zhong;  Tingdi Zhao;  Fuchun Ren
收藏  |  浏览/下载：7/0  |  提交时间：2019/12/17
Integrating Model Checking With SysML in Complex System Safety Analysis 期刊论文
IEEE ACCESS, 2019, 卷号: 7, 页码: 16561-16571
作者:  Wang, Hongli;  Zhong, Deming;  Zhao, Tingdi;  Ren, Fuchun
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30
IMA system overall fault management method research based on ASAAC architecture 期刊论文
Lecture Notes in Electrical Engineering, 2018, 卷号: 460, 页码: 777-787
作者:  Wang, K.;  Bao, X.;  Zhao, T.
收藏  |  浏览/下载：15/0  |  提交时间：2019/12/30
A Component-based Software Reliability Assessment Method Considering Component Effective Behavior 会议论文
PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING (ICRSE 2017), 2017-01-01
作者:  Ling, Dongyi;  Liu, Bin;  Wang, Shihai
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30
An Original Approach to Constructing Test Model for IMA Blueprints 会议论文
PROCEEDINGS OF THE 2ND INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING (ICRSE 2017), 2017-01-01
作者:  Fu, Jiapan;  Wang, Shihai;  Liu, Bin
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30
A Reliability Model of integrated modular avionics (IMA) Software Considering with environment 会议论文
2017 International Conference on Management Engineering, Software Engineering and Service Sciences, ICMSS 2017, Wuhan, China, 2017-01-14
作者:  Chong, Wang;  Haiyan, Sun
收藏  |  浏览/下载：7/0  |  提交时间：2019/12/30
A Model Driven Multi-Constraint Safety Analysis Method For Integrated Modular Avionics Systems on Time Domain 会议论文
2015 PROGNOSTICS AND SYSTEM HEALTH MANAGEMENT CONFERENCE (PHM), 2015-01-01
作者:  Si, Chengcong;  Wang, Shihai;  Liu, Bin
收藏  |  浏览/下载：3/0  |  提交时间：2020/01/06
Formal Specification and Risk Assessment Approach of Integrated Complex System: A Case Study in IMA Domain 会议论文
PROCEEDINGS OF THE 2015 FIRST INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING 2015 ICRSE, 2015-01-01
作者:  Ren, Fuchun;  Zhao, Tingdi;  Wang, Hongli
收藏  |  浏览/下载：3/0  |  提交时间：2020/01/06
网络分区中混合消息集传输模式的精确配置 期刊论文
北京航空航天大学学报, 2014, 卷号: 40, 页码: 523-528
作者:  屠晓杰;  何锋;  吴庆;  熊华钢
收藏  |  浏览/下载：10/0  |  提交时间：2020/01/06
Test case generating for Integrated Modular Avionics software health monitoring 会议论文
International Symposium on Vehicle, Mechanical, and Electrical Engineering (ISVMEE 2013), Chung Hua Univ, Taiwan, PEOPLES R CHINA, 2014-01-01
作者:  Zhang, Huinan;  Wang, Shihai;  Diao, Xiaoxu;  Liu, Bin
收藏  |  浏览/下载：4/0  |  提交时间：2020/01/06

©版权所有 ©2017 CSpace - Powered by CSpace