摘要： 提出了一种嵌入式操作系统的规范化内核设计方法，并基于规范设计方法建立了一个嵌入式系统模型ＲＥＰＭＭ，讨论了其结构、特征和实现过程．

关键词: 嵌入式系统, 微内核, 机制

Abstract: This article tries to bring forth a standard method of designing embedded OS kernels. and according to this method, establish a system model REPMM and discuss its structure, characteristics and implementation.

中图分类号: 

• TP316.2