型的内在检查和恢复方法：
嵌入式软件架构的类型.常用的嵌入式软件架构有几种不同的基本类型。
控制回圈.在这种设计中，软体有一个简单的循环，这个循环调用各个子程序，每个子程序管理硬体或者软体的某一部分。中断通常用来设置标记或者更新软体其他部分能够读取的暂存器。系统使用简单的API来完成允许和禁止中断设置。如果处理得当的话，它能够在嵌套子程序中处理嵌套调用，在最外面的中断允许嵌套中恢复前面的中断状态。这种方法是实作Exokernel的一个最简单的方法。