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.

10 February 2021

RSE NEWS UPDATE:

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

10 February 2021

New conference paper:

Adrian Agogino, "Machine Learning Explainability and Transferability for Path Navigation," AIAA SciTech 2021 (virtual); San Antonio, TX; 11 January 2021
[conference paper (PDF, 1.4MB)]

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

22 January 2021

New conference papers:

Corina Pasareanu, "NEUROSPF: A Tool for the Symbolic Analysis of Neural Networks," ISCE 2021; Madrid, Spain (Virtual); 23 May 2021
[conference paper (PDF, 311KB)]

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

3 December 2020

New conference papers:

Nastaran Shafiei, "Actor-based Runtime Verification with MESA," 20th International Conference on Runtime Verification; Los Angeles, CA; 6 October 2020
[conference paper (PDF, 1.9MB)]

Daniel Hulse, Sequoia R. Andrade, Eleni Spirakis, Hannah S. Walsh, Misty D. Davies; "SMARt-STEReO: Preliminary Model Description," NASA Technical Memorandum; 30 September 2020
[technical memorandum (PDF, 2.1MB)]

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

21 July 2020

New conference paper:

Anastasia Mavridou, Hamza Bourbouh, Pierre-Loic Garoche, Dimitra Giannakopoulou, Johann Schumann, "Bridging the Gap Between Requirements and Simulink Model Analysis," 26th International Working Conference on Requirements Engineering: Foundations for Software Quality; Pisa, Italy [virtual online]; 23 June 2020
[conference paper (PDF, 451KB)]

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

9 July 2020

NASA Ames Research Center is still on mandatory telecommute status. We are all working from home until this COVID-19 menace is defeated.

We do not know when we will be returning to our offices; however, some mission-critical work is being authorized on-site while observing COVID-19 safety precautions.

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

New conference papers, presentations, and contractor reports:

Ritchie Lee, Robert Moss, Mykel Kochenderfer, "Adaptive Stress Testing of Trajectory Predictions in Flight Management Systems," 39th digital Avionics Systems Conference 2020; San Antonio, TX; 13 October 2020
[conference paper abstract (PDF, 205KB)]

Dimitra Giannakopoulou, "Capturing & Analyzing Requirements with FRET" NASA SWS technical seminar ; Online from NASA Ames; 08 May 2020
[presentation (PDF, 2.2mb)]

Johann Schumann, Yuning He,"MBSwE for Autonomous Systems with Reuse: Software Assurance Best Practices and Gaps Technical Report on Gap Analysis," Contractor Report; 16 April 2020
[NASA/CR-20205000437 (PDF, 799KB)]

Anastasia Mavridou, Hamza Bourbouh, Dimitra Giannakopoulou, Thomas Pressburger, Mohammad Hejase, Pierre-Loic Garoche, Johann Schumann, "The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained," 28th IEEE International Requirements Engineering; Zurich, Switzerland [virtual online]; 16 April 2020
[conference paper (PDF, 553KB)]

Dimitra Giannakopoulou, Tom Pressburger, Anastasia Mavridou, Johann Schumann, "Generation of Formal Requirements from Structured Natural Language," 26th REFSQ-2020; Pisa, Italy; 24 March 2020
[conference paper (PDF, 799KB)]

Dimitra Giannakopoulou , Anastasia Mavridou, Thomas Pressburger, Julian Rhein , Johann Schumann, Nija Shi, "Formal Requirements Elicitation with FRET," 26th REFSQ-2020; Pisa, Italy; 24 March 2020
[conference paper (PDF, 528KB)]

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

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.

https://ti.arc.nasa.gov/events/nfm-2020/virtual/

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

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:

https://ti.arc.nasa.gov/tech/rse/research/safednn/

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

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