| 构件化嵌入式操作系统设计 |
| |
| 引用本文： | 阎世奇,杜永文.构件化嵌入式操作系统设计[J].太原科技,2010(2):96-97,100. |
| |
| 作者姓名： | 阎世奇 杜永文 |
| |
| 作者单位： | 兰州交通大学电子与信息工程学院,甘肃,兰州,730070 |
| |
| 摘 要： | 在讨论构件机制的基础上，利用分层的设计模式对嵌入式操作系统进行功能结构的划分，并使用构件机制完成各层中功能模块的设计。对于分层的设计模式与构件机制的使用可能带来的一些异构构件的组装问题加以解决．并使用形式化方法对构件进行描述，在一定程度上有利于提高嵌入式系统的可靠性、可重用性、可维护性，使得构件技术在嵌入式系统中充分发挥其优势。
|
| 关 键 词： | 构件化 嵌入式 操作系统 异构构件 形式化方法 |
Design of System of Componentization Embedded Operating System |
| |
| Yan Shi-qi,Du Yong-wen.Design of System of Componentization Embedded Operating System[J].Taiyuan Science and Technology,2010(2):96-97,100. |
| |
| Authors: | Yan Shi-qi Du Yong-wen |
| |
| Institution: | Yan Shi-qi,Du Yong-wen (Electronic , Electrical information & Engineering College,Lanzhou Jiaotong University,Lanzhou 730070,China) |
| |
| Abstract: | In this paper, basing on system of componentization mechanism, the author divided embedded operaing system by functional structure, using design layered pattern. As for problems of heterogeneous components in design layered pattern, the author described component by using formal method. At same time, the author pointed out that formal method is conductive to improve reliability, reusability and maintainability of embedded system. The formal method makes full use of component technology in embedded operating... |
| |
| Keywords: | componentization embed operating system heterogeneous components formal method |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
