CORC

在结果中检索

CORC

浏览/检索结果: 共27条，第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
End-to-End Delay Analysis Considering Partition Scheduling on a DIMA Platform 会议论文
IEEE Region 10 Annual International Conference, Proceedings/TENCON, 2018-10-28
作者:  Xiang, W.;  He, F.
收藏  |  浏览/下载：11/0  |  提交时间：2019/12/30
Scheduling Based on Interruption Analysis and PSO for Strictly Periodic and Preemptive Partitions in Integrated Modular Avionics 期刊论文
IEEE ACCESS, 2018, 卷号: 6, 页码: 13523-13540
作者:  Lu, Hui;  Zhou, Qianlin;  Fei, Zongming;  Zhou, Rongrong
收藏  |  浏览/下载：6/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
Safety analysis for integrated modular avionics based on blueprints 会议论文
SIXTH INTERNATIONAL MULTI-CONFERENCE ON ENGINEERING AND TECHNOLOGY INNOVATION 2017 (IMETI 2017), 2018-01-01
作者:  Chu, Jiayun;  Bao, Xiaohong;  Zhao, Tingdi;  Ren, Fuchun
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/30
Integrated Modular Avionics Fault Propagation Model Establishment and Reliability Allocation 会议论文
12TH INTERNATIONAL CONFERENCE ON RELIABILITY, MAINTAINABILITY, AND SAFETY (ICRMS 2018), 2018-01-01
作者:  Dong, Hao;  Bao, Xiaohong;  Zhao, Tingdi;  Xin, Yu
收藏  |  浏览/下载：7/0  |  提交时间：2019/12/30
A safety analysis method with correlation of states for integrated modular avionics systems based on an extended generalized stochastic Petri net 会议论文
26th Conference on European Safety and Reliability (ESREL), Glasgow, SCOTLAND, 2016-09-25
作者:  Han, Rongbin;  Wang, Shihai
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/30
Integrated Modular Avionics System Safety Analysis Based on Model Checking 会议论文
Annual Reliability and Maintainability Symposium (RAMS), Orlando, FL, 2017-01-23
作者:  Wang, Hongli;  Zhao, Tingdi;  Ren, Fuchun;  Jiang, Zeyong
收藏  |  浏览/下载：4/0  |  提交时间：2019/12/30
A safety analysis method with correlation of states for integrated modular avionics systems based on an extended generalized stochastic Petri net 会议论文
RISK, RELIABILITY AND SAFETY: INNOVATING THEORY AND PRACTICE, 2017-01-01
作者:  Han, Rongbin;  Wang, Shihai
收藏  |  浏览/下载：3/0  |  提交时间：2019/12/30

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