Making Things Easy and Predictable ,⑧ CASE Tool Model Checking Code Generation Requirements Manag. Common Repository Analyze Build Code Validate Requirem &Verify Design Integration of V&V Information Reliability Analysis Schedulability Analysis WCET Analysis Performance Simulation A Framework of Collaborative Environments,from SPEC to Implementation.Making Things Easy and Predictable  A Framework of Collaborative Environments，from SPEC to Implementation