关键词: 实时嵌入式, 软构件模型, 构件接口, 组装, 时间性

Abstract: This paper presents a better adaptive software component model and component assembly mechanism，and describes component interface specifications and assembly specifications by using the formal methods.Besides，the methods of time reasoning about components are given.The target is to build a more useful，simpler，and more open component model and to build a more reasonable component assembly and reasoning mechanism for real-time embedded system.

Key words: real-time embedded system, software component model, component interface, assembly, time