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 31 January 2019

RSE NEWS UPDATE:

31 January 2019

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

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

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