NASA Logo

NTRS

NTRS - NASA Technical Reports Server

Collections About News Help Login

Press Enter or click the Search button to begin your search.

Back to Results
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.
Document ID
20060053282
Acquisition Source
Ames Research Center
Document Type
Conference Paper
Authors
Denney, Ewen (Research Inst. for Advanced Computer Science Moffett Field, CA, United States)
Schumann, Johann (Research Inst. for Advanced Computer Science Moffett Field, CA, United States)
Greaves, Doug (NASA Ames Research Center Moffett Field, CA, United States)
Date Acquired
August 23, 2013
Publication Date
January 1, 2006
Subject Category
Computer Programming And Software
Meeting Information
Meeting: Software Assurance Symposium
Location: Morgantown, WV
Country: United States
Start Date: July 18, 2006
End Date: July 20, 2006
Distribution Limits
Public
Copyright
Public Use Permitted.

Related Records

There are no records associated with this record.
No Preview Available