Abstract
This address will present the authors views and perspectives on the past, present and future use of model based development techniques to enable the automated generation of source code and other forms of programming. This address will discuss past and present use of model based development and automated code generation at Lockheed Martin, with special emphasis on NASA's Orion Multi-Purpose Crew Vehicle Program. This address will discuss the advantages and disadvantages, associated with the current state of the practice techniques and tools, used to automatically generate source code from general purpose and domain specific models. This address will discuss the obstacles and enablers, associated with achieving the desired future state of complete and efficient automated generation of programming through transformation of general purpose and domain specific models.
Recommendations
Application of model based development to flexible code generation
GPCE '11: Proceedings of the 10th ACM international conference on Generative programming and component engineeringThis address will present the authors views and perspectives on the past, present and future use of model based development techniques to enable the automated generation of source code and other forms of programming. This address will discuss past and ...
Generating Code Review Documentation for Auto-Generated Mission-Critical Software
SMC-IT '09: Proceedings of the Third IEEE International Conference on Space Mission Challenges for Information TechnologyModel-based design and automated code generation are increasingly used at NASA to produce actual flight code, particularly in the Guidance, Navigation, and Control domain. However, since code generators are typically not qualified, there is no guarantee ...
Generating customized verifiers for automatically generated code
GPCE '08: Proceedings of the 7th international conference on Generative programming and component engineeringProgram verification using Hoare-style techniques requires many logical annotations. We have previously developed a generic annotation inference algorithm that weaves in all annotations required to certify safety properties for automatically generated ...







Comments