必操作系统 >一个大型软件：内核+系统软件+应用程序 >验证困难 1958 冬解决思路： ↓↓↓ >提供安全保证的部分： Application 尽可能小 System Software 便于验证（测试） OS kernel 硬 件 嵌入式系统实验室 EMBEDDED SYSTEM LABORATORY 5uE料DUN0 ITUTE FOR AOVANCED5 FUOY OF U百TD❖操作系统 ➢一个大型软件：内核＋系统软件＋应用程序 ➢验证困难 ❖解决思路： ➢提供安全保证的部分： 尽可能小 便于验证（测试） 硬 件 OS kernel System Software Application