DocumentCode
3076767
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
fYear
2011
fDate
27-29 June 2011
Firstpage
3
Lastpage
4
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/SSIRI-C.2011.36
Filename
6004492
Link To Document