A Method of Analysis and Verification for Safety-Critical Software Based on Modelling and Testing

Currently how to ensure the reliability of safety-critical software is an urgent research. The center of our work is to study the analysis and verification method of spacecraft safety-critical software base on dynamical system to attain the objectives of result predication, status control and requirement verification, which can provide a theory and technical framework for safety-critical software.