嵌入式系统已具有相当长的历史，最初在军事、航空航天、工业过程控制等领域。从20世纪90年代中后期开始，计算机产业从PC时代来到了以普及计算(Pervasive Computing)和嵌入式系统为重要代表的后PC时代。 基于构件的嵌入式软件开发方法是一种把嵌入式软构件组装成新系统的开发方法。嵌入式软构件的组装技术是基于构件的嵌入式软件开发的核心技术，也是本文的主要研究内容。 因为嵌入式系统经常是一些高安全关键性系统，例如，军事控制、航天航空、医疗设备等等，所以在基于构件的嵌入式软件开发过程的系统分析和设计阶段，我们经常使用形式化方法来对嵌入式系统进行建模和验证，但在底层构件组装实现时，却丢弃了这种形式化模型，这就存在着形式化语言的高层抽象描述与嵌入软构件底层组装实现之间的脱节问题。 为了解决这个问题，本文提出了一种嵌入软构件的组装算法，并按照组装算法初步开发了一个嵌入软构件组装工具的原型。首先本文提出了一种形式化体系结构语言ET-LOTOS描述的嵌入式软件的构件和构架模型；基于这种模型，提出了7种嵌入软构件的组装关系(顺序组装、选择组装、并行组装、中断组装、挂起／恢复组装、重复组装、连接件组装)；然后对应于7种组装关系提出了7种组装连接模板；接着提出了嵌入软构件组装时构件的非功能属性度量公式；最后提出了一种嵌入软构件的组装算法。 本文提出的嵌入软构件组装算法，能解决形式化语言的高层抽象描述与嵌入软构件底层组装实现之间的脱节问题；初步开发的嵌入软构件组装工具的原型，使嵌入软构件组装自动化的实现成为可能。