Title :
A credible autocoding application within a rocket and its payload
Author :
Raphael Cohen;Romain Jobredeaux;Eric Feron
Author_Institution :
Georgia Institute of Technology, United States
Abstract :
Process in two independent phases after stability analysis Certified Library + Annotated C code with inserted invariant provide a clear mathematical evidence of the closed loop stability Producing a overall verifiable C code
Conference_Titel :
Digital Avionics Systems Conference (DASC), 2015 IEEE/AIAA 34th
Electronic_ISBN :
2155-7209
DOI :
10.1109/DASC.2015.7311640
