A viewgraph presentation describing a certification tool to check the safety of auto-generated codes is shown. The topics include: 1) Auto-generated Code at NASA; 2) Safety of Auto-generated Code; 3) Technical Approach; and 4) Project Plan.
A Software Safety Certification Plug-in for Automated Code Generators (Executive Briefing)
Software Assurance Symposium ; 2006 ; Morgantown, WV, United States
01.01.2006
Aufsatz (Konferenz)
Keine Angabe
Englisch