Aerospace electronics; Computer architecture; Ports (Computers); Protocols; Standards; Synchronization; Testing;
机译:ARINC653的独立时间集成符合架构 - 基于搜索的解决方案
机译:基于定时模型的Qplus-AIR调度程序的形式化分析,这是ARINC-653兼容RTOS
机译:ARINC 653和RTOS
机译:ARINC的设计符合:架构独立验证安全关键词RTOS
机译:ARINC-653兼容系统中的缓存预测性和性能改进
机译:独立验证的列线图可用于个性化估计新诊断的胶质母细胞瘤患者的生存:NRG肿瘤学RTOG 0525和0825
机译:ARINC653上的行为建模支持符合应用设计的时间验证
机译:aRINC653 aaDL附件更新。