NASA Logo, National Aeronautics and Space Administration

+NASA Home

+Ames Home

Neha Rungta Gives an Invited Talk at the Centre National d’Etudes Spatiales in Toulouse, France
Intelligent Systems Division Banner

Neha Rungta Gives an Invited Talk at the Centre National d’Etudes Spatiales in Toulouse, France

Neha Rungta gave an invited presentation at the Centre National d’Etudes Spatiales (CNES) in Toulouse, France. CNES is the counterpart of NASA in France. The talk was on the formalization of requirements. Neha also had meetings with the safety assurance heads at CNES and visited the Automated Transfer Vehicle (ATV) Mission Control Center at CNES, meeting with the head of mission operations as well. While in Toulouse, Neha gave an additional talk at the Institute of Research and Information of Toulouse (IRIT) lab at the Paul Sabatier University. This talk was on multi-agent verification and was attended by researchers and students at IRIT, as well as researchers from the Office National d’Etudes et de Recherches Aerospatiales (ONERA). ONERA is the French national aerospace research center. Neha also visited the cockpit design research team at Airbus in Toulouse and had meetings with several members working on next-generation interface design for cockpits, including the design of the new multi-touch cockpit screen.

BACKGROUND: Neha Rungta’s research on guided testing provides a potentially scalable systematic verification technique that uses information derived automatically from the source of programs to intelligently test parts of the behavior space that are more likely to contain errors. The algorithm is an abstraction refinement technique that uses as input potential errors generated by imprecise, but scalable, static analyses. The symbolic execution is then guided through the program to check the feasibility of the error. A class of heuristics and stochastic methods has been developed to improve the rate of error discovery by the guided symbolic execution technique. The guided test is implemented within the Java PathFinder (JPF) model checker.

NASA PROGRAM FUNDING: Aeronautics Research Mission Directorate (ARMD)

Contact: Neha Rungta

First Gov logo
NASA Logo -