Intelligent software engineering tools for NASA's crew exploration vehicle

Authors:
Michael Lowry
Affiliations:
NASA Ames Research Center, Moffett Field, CA
Venue:
ISMIS'08 Proceedings of the 17th international conference on Foundations of intelligent systems
Year:
2008

Citing 8
Cited 0

Model Checking Programs

Automated Software Engineering
AutoBayes: a system for generating data analysis programs from statistical models

Journal of Functional Programming
Model Driven Architecture with Executable UML(TM)

Model Driven Architecture with Executable UML(TM)
A generic annotation inference algorithm for the safety certification of automatically generated code

Proceedings of the 5th international conference on Generative programming and component engineering
Extending Source Code Generators for Evidence-Based Software Certification

ISOLA '06 Proceedings of the Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation
Spin model checker, the: primer and reference manual

Spin model checker, the: primer and reference manual
JPF-SE: a symbolic execution extension to Java PathFinder

TACAS'07 Proceedings of the 13th international conference on Tools and algorithms for the construction and analysis of systems
Generalized symbolic execution for model checking and testing

TACAS'03 Proceedings of the 9th international conference on Tools and algorithms for the construction and analysis of systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Orion is NASA's new crew exploration vehicle. The Orion Project will be using a state-of-the art model-based software development process. This model-based software development process is new for the human space program, and implies both new opportunities and risks for NASA. Opportunities include gaining early insight into designs in the form of executable models, and formulation of requirement verification conditions directly at the model level. Risks include autogenerated code. This paper describes intelligent software engineering tools being developed by NASA. The tools interface directly to the model-based software development process, and provide the following capabilities: early analysis to find defects when they are inexpensive to fix, automated testing and test suite generation, and innovative methods for verifying autogenerated code.