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
2006-01-01
Conference paper
No indication
English
Model based development with code generators - verification, testing and certification
Tema Archive | 2007
|Technology briefing - software
Automotive engineering | 2004
|