Component Composition Towards Safety Requirement

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.