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 27 March 2020



12th NASA Formal Methods Symposium NFM 2020

27 March 2020

Due to growing concerns about COVID-19, NFM2020 will shift to a virtual symposium. Please see Virtual Symposium on the side navigation bar (link below) for additional information.


6 March 2020

Ames Research Center (us!) is on mandatory telecommute status. We are all working from home until this COVID-19 menace is defeated.

We anticipate returning to our offices around 7 April 2020.


New RSE Member Arrives
20 May 2019

We'd like to welcome Divya Gopinath to the team. Divya has joined the RSE group and is employed by SGT. Divya did her PhD in Software Engineering from University of Texas at Austin and post-doctoral research at Carnegie Melon University at Silicon Valley. Her research focuses on applying formal methods and machine learning techniques to analyze and verify neural networks, to debug software programs and perform automated software repair. She will work on novel approaches for the verification of neural networks and autonomous systems that use such networks.

Welcome aboard, Divya!


New Project added to the "PROJECTS" page
28 March 2019

Corina Pasareanu has a new SafeDNN page up and running:

SafeDNN logo


New Intern Arrives
31 January 2019

We'd like to welcomeTrina Chatterjee to the team. Trina is from Saratoga High School and is is interning under Misty Davies until Spring 2019.


Government Shutdown is over!
28 January 2019

We are back at work!! Furloughed from 23 December 2018 ~ 26 January 2019; this government shutdown has been the longest one in history.


New Paper Published
13 November 2018

Ewen Denney, Ganeshmadhav Pai, Pat Castle, Martin Feather, "Deliverable 2: Mapping the Software Assurance Objectives Hierarchy (SOH) and Risk Informed Safety Case (RISC) Concepts to Applicable Standards," Contractor Report; NASA
[paper (PDF, 6.4MB)]


New Paper Published
24 September 2018

Ewen Denney, Ganeshmadhav Pai, Marcus Johnson, "Towards a Rigorous Basis for Specific Operation Risk Assessment of UAS," 37th AIAA/IEEE Digital Avionics Systems Conference; London, UK
[paper (PDF, 1.8MB)]


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