Reliability Analysis of the Reconfigurable Integrated Modular Avionics Using the Continuous-Time Markov Chains
暂无分享,去创建一个
[1] Qingfan Gu,et al. Research on Integrated Avionics System Safety , 2014 .
[2] Guoqing Wang,et al. Research on Distributed Integrated Modular Avionics system architecture design and implementation , 2013, 2013 IEEE/AIAA 32nd Digital Avionics Systems Conference (DASC).
[3] John A. McDermid,et al. High Level Failure Analysis for Integrated Modular Avionics , 2001, SCS.
[4] Rushby John,et al. Partitioning in Avionics Architectures: Requirements, Mechanisms, and Assurance , 1999 .
[5] José Rufino,et al. Robust Partitioning and Composability in ARINC 653 Conformant Real-Time Operating Systems , .
[6] Ershuai Li,et al. Deterministic bound for avionics switched networks according to networking features using network calculus , 2017 .
[7] Zhen Zhang,et al. Hierarchical resource allocation for integrated modular avionics systems , 2011 .
[8] Dajiang Suo,et al. Filling the gap between IMA development and safety assessment through safety-driven model-based system engineering , 2012, 2012 IEEE/AIAA 31st Digital Avionics Systems Conference (DASC).
[9] A. Wilson,et al. Incremental certification and Integrated Modular Avionics , 2009, IEEE Aerospace and Electronic Systems Magazine.
[10] Huagang Xiong,et al. Design of Energy-efficient Hierarchical Scheduling for Integrated Modular Avionics Systems , 2012 .
[11] Jianxiong Wan,et al. Performability analysis of avionics system with multilayer HM/FM using stochastic Petri nets , 2013 .
[12] Rajeev Barua,et al. Segment protection for embedded systems using run-time checks , 2005, CASES '05.