Certifying Auto-generated Flight Code - NASA.pptVIP

* * * * auto-generate comments and tracing information qualifying generator infeasible - and unnecessary support IVV: explicit proofs as certificates no FPs or FNs domain-specific properties * * * * * * * * * * * * * * * * * * * * * * Certifying Auto-generated Flight Code Ewen Denney Robust Software Engineering NASA Ames Research Center California, USA Auto-generated code at NASA Most NASA missions and projects use modeling tools like Simulink and Matlab Commercial code generators (e.g., Real-Time Workshop and MatrixX) are available and have been successfully used X-43 Hyper-X: On-board flight-software generated from Simulink models RASCAL: Helicopter control laws implemented using Real-Time Workshop We never found any errors in the automatically generated code, so we were confident in creating a quick prototype for NASA.” Orion Software process Autocode issues Dear Ewen, If you are using R14SP3 Simulink code generation products, please review the following information. If you are not using R14SP3 versions of MathWorks products, please disregard this message. We have identified bugs in R14SP3 Simulink^? code generation products, which in rare instances generate incorrect code that is not easily detected. These bugs have been fixed in subsequent releases: R2006a, R2006b, or the upcoming R2007a release. To prevent impact from these bugs, R14SP3 code generation software users should take the following actions: *Review Related Bug Reports with Potential Workarounds* You can find the documented issues and potential workarounds through the following links (login required): Bug Report 275411 /support/bugreports/details.html?rp=275411 Bug Report 283331 /support/bugreports/details.html?rp=283331 Bug Report 284002 /support/bugreports/details.html?rp=284002 Bug Report 291423 /support/bugreports/details.html?rp=291423 Bug Report 291978 /support/bugreports/details.html?rp=291978 Frequent updates - bug reports, work-arounds and fixes Autocode issues Commercial cod