在此基础上介绍嵌入式网卡硬件平台的设计及软件开发方法。
Based on this, the design of embed network card hardware platform and the software method of exploitation are introduced.
实验结果表明，该方法可在软件工程中有效地提高高可信嵌入式软件开发和验证的效率。
The experimental result shows that the strategy could significantly improves the efficiency of development and verification of high-confidence embedded software.
最后，通过在某航天嵌入式实时操作系统(ERTOS)软件开发过程中的实际应用说明了本文所提方法的适用性和有效性。
Finally, a real-world case of astronautics of an embedded real time operating system (ERTOS) software development is provided to demonstrate the validity and applicability of the proposed method.
应用推荐