NASA Logo, National Aeronautics and Space Administration


We are the Robust Software Engineering technical area, based in the Intelligent Systems Division at NASA's Ames Research Center at Moffett Field, California.

Our goal is to dramatically increase the reliability and robustness of NASA's mission related software, and the productivity of its software engineering, through the research, development, application, and transfer of automated software engineering technology that scales to meet NASA's software challenges. We draw upon many techniques from Computer Science (for example, in the areas of program verification, automated reasoning, model checking, static analysis, symbolic evaluation, and machine learning) and apply them to the verification and validation of software, as well as code generation. Technologies we developed include automated software analysis, automated test case generation, reliable code generation, and risk prediction and analysis.

We applied our technologies to NASA projects involved with Space and Aeronautics, and spun off sample educational lessons for students and teachers. We are currently engaged with projects in all the NASA Mission Directorates: Human Exploration & Operations, Aeronautics, and Science.

Updated 05 February 2018


05 February 2018


New Paper Published
05 February 2018

Ritchie Lee, Ole Mengshoel, Anshu Saksena, Ryan Gardner, Daniel Genin, "Differential Adaptive Stress Testing of Airborne Collision Avoidance Systems," AIAA Modeling and Simulation Technologies; Kissimmee, FL; 08 January 2018
[journal article (PDF, 478KB)]


New Paper Published
11 December 2017

Johann Schumann, Patrick Moosbruger, "Unobtrusive Software and System Health Management with R2U2 on a parallel MIMD Coprocessor," Prognostics and Health Management 2017 (PHM 2017); St. Petersburg, FL; 05 October 2017
[paper (PDF, 340KB)]


New Journal Article Published
6 December 2017

Ewen Denney, Ganeshmadhav Pai, "Tool Support for Automation in Assurance Case Development," Journal of Automated Software Engineering; Springer Verlag; 10 October 2017
[journal article (PDF, 24.4MB)]


14 November 2017

RSE Team: Be prepared to provide Guillaume a status demonstration of all tools that RSE is working on.

TBD in December.


21 September 2017

The Ames and Langley V&V teams met wth the FAA to discuss RTT (Research Transition Team) activities related to V&V for the next four or five years. The NASA team included researchers from Langley (P. Miner, A. Narkawicz, J. Maddalon, M. Holloway, and N. Neogi) and Ames (G. Brat, D. Giannakopoulou, M. Davies, and J. Nowinski). The FAA was represented by researchers in air traffic operations from the Tech Center (J. Frederick, T. Rubino, T. Tessitore, G. Gardner, and T. Gurcsik) and from the airworthiness side (B. Lingberg, A. Randazzo, G. Romanski) and Warren Randolph (who co-leads the RTT activities with Jessica Nowinski). The meeting was organized by G. Price and M. Greene from Crowne Consulting on the behalf of NASA. Dana Schulze (NTSB) was also invited. The meeting created an initial list of products that could be transferred to the FAA in the five years. Teams are now working on refining the descriptions of these products.


New Paper Published 17 September 2017

Iain Whiteside, Ewen Denney, Ganeshmadhav Pai, "Model-driven Development of Safety Architectures," International Conference on Model Driven Engineering Languages and Systems; Austin, TX; 17 September 2017 [paper (PDF, 7.2MB)]


2017 Presidential Rank and NASA Honor Awards Ceremony – June 27, 2017

Ames presented the 2017 Presidential Rank and NASA Honor Awards to 68 employees. We are excited to learn that the RSE Technical Area Lead was honored.

Exceptional Technology Achievement Medal

Guillaume P. Brat


First Gov logo
NASA Logo -