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 auto-generated code.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Raistrick, C., Francis, P., Wright, J., Carter, C., Wilke, I.: Model Driven Architecture with Executable UML. Cambridge University Press, Cambridge (2004)
Java PathFinder; http://javapathfinder.sourceforge.net
Visser, W., Havelund, K., Brat, G., Park, S., Lerda, F.: Model Checking Programs. Automated Software Engineering Journal 10(2) (2003)
Holzmann, G.: The Spin Model Checker: Primer and Reference Manual. Addison-Wesley, Menlo Park (2003)
Anand, S., Pasareanu, C.S., Visser, W.: JPF-SE: A symbolic execution extension to Java PathFinder. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, Springer, Heidelberg (2007)
Kurshid, K., Pasareanu, C.S., Visser, W.: Generalized symbolic execution for model checking and testing. In: Garavel, H., Hatcliff, J. (eds.) ETAPS 2003 and TACAS 2003. LNCS, vol. 2619, Springer, Heidelberg (2003)
Pasareanu, C., Visser, W.: Symbolic Execution and Model Checking for Testing. In: Invited talk for Haifa Verification Conference (2007)
Fischer, B., Schumann, J.: AutoBayes: A System for Generating Data Analysis Programs from Statistical Model. J. Functional Programming 13(3), 483–508 (2003)
Gundy-Burlet, K., Schumann, J., Barrett, T., Menzies, T.: Parametric Analysis of Antares Re-Entry Guidance Algorithms using Advanced Test Generation and Data Analysis. In: Proc. 9th International Symposium on Artificial Intelligence, Robotics, and Automation in Space (2008)
Denney, E., Trac, S.: A Software Safety Certification Tool for Automatically Generated Guidance, Navigation and Control Code. In: Proc. IEEE Aerospace Conference (2008)
Denney, E., Fischer, B.: A generic annotation inference algorithm for the safety certification of automatically generated code. In: Proc. GPCE 2006: 5th International Conference on Generative Programming and Component Engineering (2006)
Denney, E., Fischer, B.: Extending Source Code Generators for Evidence-based Software Certification. In: Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (2006)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Lowry, M. (2008). Intelligent Software Engineering Tools for NASA’s Crew Exploration Vehicle. In: An, A., Matwin, S., Raś, Z.W., Ślęzak, D. (eds) Foundations of Intelligent Systems. ISMIS 2008. Lecture Notes in Computer Science(), vol 4994. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-68123-6_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-68123-6_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-68122-9
Online ISBN: 978-3-540-68123-6
eBook Packages: Computer ScienceComputer Science (R0)