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
Autocoding for VerifiabilityA viewgraph presentation of an automatic code scheme for source verification issues is shown. The topics include: 1) Model-Based Control Law Development with Automatic Code Generation; 2) Source Verification Issues of Automatically Generated Code; 3) MXZ Code Generator; 4) Benefits and Limitations of MXZ; and 5) Current State of the Tool.
Document ID
20070035128
Acquisition Source
Armstrong Flight Research Center
Document Type
Conference Paper
Authors
Smith, Tim (Boeing Co. Saint Louis, MO, United States)
Santhanam, Vdot (Boeing Co. Saint Louis, MO, United States)
Date Acquired
August 24, 2013
Publication Date
February 6, 2006
Subject Category
Computer Programming And Software
Meeting Information
Meeting: Boeing Software Conference
Location: Long Beach, CA
Country: United States
Start Date: February 6, 2006
End Date: February 7, 2006
Sponsors: Boeing Co.
Funding Number(s)
CONTRACT_GRANT: NAS4-0041
Distribution Limits
Public
Copyright
Work of the US Gov. Public Use Permitted.

Related Records

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