摘要： 构件组装技术无法充分考虑安全苛求软件的安全性需求，可能引发软件的失效。该文在保证安全苛求软件的基本构件满足功能性需求的同时，提出采用加入时间字约束的方法来确保构件组装后的结果达到安全性需求，使系统按照严格的时序进行状态的变迁，有效避免了故障的发生。

关键词: 构件组装, 安全性需求, 时间约束

Abstract: The safety requirement of software is not considered completely in component composition, so it maybe bring on failure of the software. While ensuring the functionality requirement of its basic component, this paper uses the time constraints to satisfy its safety requirement after component composition. According to the strict temporal logic, the states transition of this system can avoid the fault effectively.

Key words: component composition, safety requirement, time constraint

中图分类号: 

• TP309