摘要
构件组装技术无法充分考虑安全苛求软件的安全性需求,可能引发软件的失效。该文在保证安全苛求软件的基本构件满足功能性需求的同时,提出采用加入时间字约束的方法来确保构件组装后的结果达到安全性需求,使系统按照严格的时序进行状态的变迁,有效避免了故障的发生。
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.
出处
《计算机工程》
CAS
CSCD
北大核心
2008年第22期153-155,共3页
Computer Engineering
基金
国家自然科学基金资助项目(60674004)
关键词
构件组装
安全性需求
时间约束
component composition
safety requirement
time constraint
