NASA Logo, National Aeronautics and Space Administration

Overview

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 14 November 2017

RSE NEWS UPDATE:

14 November 2017

=====================

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)]

=====================

The Robust Software Engineering Group is inviting you to its second series of fast talks on August 8th in N269, rm 179 at 1pm.

=====================

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

=====================

The Robust Software Engineering Group is inviting you to its first series of fast talks on May 23rd in N269, rm 179 at 1pm.

=====================

New Paper Published 19 June 2017

Ewen Denney, Ganeshmadhav Pai, Iain Whiteside, "Modeling the Safety Architecture of UAS Flight Operations," Safe Comp 2017; Trento, Italy; 12 September 2016
[paper (PDF, 6.5MB)]

=====================

First Gov logo
NASA Logo - nasa.gov