Export to Refworks Export to EndNote Email
Report an Issue

A Software Safety Certification Plug-in for Automated Code Generators (Executive Briefing).

Author:
Greaves, Doug
Published:
[2006].
Physical Description:
1 electronic document
Additional Creators:
Schumann, Johann and Denney, Ewen
Online Version

Availability

I Want It

Finding items...

Restrictions on Access:
Unclassified, Unlimited, Publicly available.
Free-to-read Unrestricted online access
Summary:
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.
Other Subject(s):
Collection:
NASA Technical Reports Server (NTRS) Collection.
Note:
Document ID: 20060053282.
Software Assurance Symposium; 18-20 Jul. 2006; Morgantown, WV; United States.
Terms of Use and Reproduction:
Copyright, Distribution as joint owner in the copyright.
View MARC record | catkey: 16003129