Adding assurance to automatically generated code

Proceedings of IEEE International Symposium on High Assurance Systems Engineering

Volumn 8, Issue , 2004, Pages 297-299

  Denney, Ewen ^a   Fischer, Bernd ^a   Schumann, Johann ^a  

^a NASA AMES RESEARCH CENTER   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ANNOTATIONS; HIGH-ASSURANCE SOFTWARE; NOISY SENSORS; WHEEL ROTATION;

ACCELEROMETERS; AIRCRAFT; FLIGHT SIMULATORS; NAVIGATION; PROBLEM SOLVING; ROTATION; SENSORS;

SPACECRAFT;

EID: 2942553241     PISSN: 15302059     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Conference Paper

References (4)

1. J. Whittle and J. Schumann. "Automating the implementation of Kalman-filter algorithms", 2003, in review.
2. S. Nelson and J. Schumann. "What makes a code review trustworthy?" in Proc. HICSS-37. IEEE, 2004, to appear.
3. M. Whalen, J. Schumann, and B. Fischer. "Synthesizing certified code," in Proc. FME 2002, LNCS 2391, pp. 431-450. Springer, 2002.
4. E. Denney and B. Fischer. "Correctness of source-level safety policies," in Proc. FM 2003, LNCS 2805, pp. 894-913. Springer, 2003.