多重独立安全级别论文

论文摘要传统架构的机载操作系统采用的“亡羊补牢”方法，已不能满足日益复杂的航空电子系统对机载软件安全性的要求。基于巨内核的系统，由于内核功能复杂、结构庞大，无法进行形式化验证保...