随着嵌入式产品的功能和复杂度的不断提高，如何高效地进行开发已成为一个严峻的挑战。嵌入式软件开发已呈现出一些显著的特点：其一是行业内技术人员流动频繁，缺少复用经验的技术手段；其二是市场竞争激烈，要求产品的研发周期加快。传统的软件开发方法虽然能可靠的设计和开发嵌入式软件系统，但是不能够有效地解决所呈现出来的新问题。因此，构件化开发方法开始被引入嵌入式系统开发之中。 本论文通过对嵌入式软件开发的可重用性技术研究，提出了一种基于嵌入式Linux操作系统和构件化开发技术的嵌入式系统开发方法。基于此方法，研究了嵌入式软件的构件化技术与其形式化技术的结合，提出了一种嵌入式操作系统通用化配置模型，同时设计并实现了完全基于构件技术的嵌入式应用程序。 研究成果已应用于16个省的福利彩票投注机上，通过实践证明在嵌入式系统的开发过程中采用构件化开发技术是高效的、安全的，为构件化开发技术在嵌入式系统开发领域的应用和推广提供理论和技术支持。