Title :
A Method of Analysis and Verification for Safety-Critical Software Based on Modelling and Testing
Author :
Dan, Yu ; Shilong, Ma
Author_Institution :
State Key Lab. of Software Dev. Environ., Beihang Univ., Beijing, China
Abstract :
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.
Keywords :
formal verification; program testing; safety-critical software; software reliability; spacecraft computers; software analysis; software modelling; software reliability; software testing; software verification; spacecraft safety-critical software; Analytical models; Automatic testing; Mathematical model; Software reliability; Software systems; Space vehicles; automatic testing; dynamical system; safety-critical software; spacecraft system;
Conference_Titel :
Secure Software Integration & Reliability Improvement Companion (SSIRI-C), 2011 5th International Conference on
Conference_Location :
Jeju Island
Print_ISBN :
978-1-4577-0781-0
Electronic_ISBN :
978-0-7695-4454-0
DOI :
10.1109/SSIRI-C.2011.36
