机译:高安全性实时操作系统的高安全性时序分析
Data61, Sydney, NSW, Australia|UNSW, Sydney, NSW, Australia;
Data61, Sydney, NSW, Australia|UNSW, Sydney, NSW, Australia;
Data61, Sydney, NSW, Australia|UNSW, Operating Syst, Sydney, NSW, Australia;
Real time; Static analysis; Worst case; Timing; OS; seL4; High assurance; Verified; WCET;
机译:有效验证实时系统高保证属性的模型和算法
机译:获得的经验:构建Caernarvon高保证操作系统
机译:使用下行链路飞机参数的高保真飞机跟踪系统的实时运动检测
机译:基于自动反馈定向规范的测试生成的可行性 - 以高保证操作系统为例
机译:高保障系统的有限安全模型。
机译:定时事项在髋部骨折手术:患者在48小时内有较好的经营成果。荟萃分析和190000患者的荟萃回归
机译:selinux中高保证服务的系统策略分析
机译:DRDB:用于高保证时间关键应用程序的分布式实时数据库服务器。