A Software Safety Certification Plug-in for Automated Code Generators
A viewgraph presentation on the software safety certification plug-in of an auto-generated code is shown.
Denney, Ewen↗
Engineering topics
Greaves, Doug
Publications and source records attributed to Greaves, Doug.
A Software Safety Certification Plug-in for Automated Code Generators (Executive Briefing)
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.
Denney, Ewen↗