Paper information

Paper code

IAC-18,D5,1,12,x45817

Order

12

Room

Bremen 2

Title

Formal Verification Techniques on Spacecraft Embedded Operating Systems

abstract

View PDF

Session

1. Quality and safety, a challenge for traditional and new space

symposium

D5. 51st IAA SYMPOSIUM ON SAFETY, QUALITY AND KNOWLEDGE MANAGEMENT IN SPACE ACTIVITIES

congress

IAC-18

Type of presentation

oral

Main author

Dr. Lei Qiao, Beijing Institute of Control Engineering, China Academy of Space Technology (CAST), China

Co-authors

Mr. Jinkun Zhang, Beijing Institute of Control Engineering(BICE), China Academy of Space Technology(CAST), China;

Prof. Hua Yang, Beijing Institute of Control Engineering(BICE), China Academy of Space Technology(CAST), China;

Prof. Bo Liu, Beijing Institute of Control Engineering(BICE), China Academy of Space Technology(CAST), China;

Prof. Hongjin Liu, Beijing Institute of Control Engineering(BICE), China Academy of Space Technology(CAST), China;

Prof. Mengfei Yang, China Academy of Space Technology, China;