Gundy-Burlet Wins 2011 NASA Exceptional Engineering Medal
Karen Gundy-Burlet has been awarded a NASA Exceptional Engineering Achievement Medal for outstanding work as the Lunar Atmosphere and Dust Environment Explorer (LADEE) Flight Software Quality Engineer. The award was ...
+ Read more

Computer Science Review Publishes Kristin Y. Rozier’s Linear Temporal Logic Symbolic Model Checking Paper
A survey paper titled “Linear Temporal Logic Symbolic Model Checking,” written by Kristin Y. Rozier, will appear in the May, 2011 issue of the Computer Science Review Journal. This paper ...
+ Read more

RSE Researchers Team with NASA Colleagues to Host Third Formal Methods Symposium
The third annual NASA Formal Methods Symposium (NFM) was held April 18-20, 2011, in Pasadena, California, and was hosted by NASA Formal Methods Team members at NASA/JPL. NFM is a ...
+ Read more

NSF Selects Kristin Y. Rozier’s Life-Critical System Verification “Nugget” as NSF Poster Set
The National Science Foundation (NSF) Directorate for Computer and Information Science and Engineering’s (CISE) Division of Computing and Communication Foundations (CCF) has selected Kristin Y. Rozier’s Life-Critical System Verification nugget ...
+ Read more

Ames Hosts Aircraft Working Group Meeting
On February 16-17, 2011, Ames Research Center hosted the February meeting of the Joint Planning and Development Office (JPDO) Aircraft Working Group (AWG). The meeting was chaired by Stephen VanTrees ...
+ Read more

2010 Year In Review Article Highlights Ames Researchers
Aerospace America published their annual Intelligent Systems Year In Review article in their December 2010 issue. The article highlights the recent success of the collaboration between the Diagnostic and Prognostic ...
+ Read more

Integrated Software Health Management NRA Report Completed
On September 30, 2010, the Integrated Software Health Management (ISWHM) project team completed second year NRA research of “Specific Techniques for V&V of IVHM Software,” led by principle investigator Dr. ...
+ Read more

V&V Paper Wins Best Paper Award at Safecomp ’10
The paper, “Deriving Safety Cases for Hierarchical Structure in Model-based Development,” was presented at the 29th International Conference on Computer Safety, Reliability, and Security (SAFECOMP ’10) in Vienna, Austria, September ...
+ Read more

Verification and Validation Holds Meeting of Experts
On July 8th, the Verification and Validation of Flight Critical Systems (VVFCS) formulation team, led by acting Project Manager Sharon Graves (LaRC) and acting Principal Scientist Dr. Guillaume Brat (ARC), ...
+ Read more

RSE Researchers Team with NASA Colleagues to Host Third Formal Methods Symposium
Papers are still being accepted for the third annual NASA Formal Methods Symposium (NFM). NFM is a selective, fully peer-reviewed publication venue that attracts high-quality original research. In 2011, over ...
+ Read more

Dr. Johann Schumann Edits Neural Networks Book
A new book titled Applications of Neural Networks in High Assurance Systems has been edited by Dr. Johann Schumann (SGT) and Yan Liu (Motorola Labs), and contains contributions from other ...
+ Read more

Rozier Authors “Nugget” on Value of Formal Methods for Safety-Critical System Verification
Theoretical Computer Science (TCS) Visions has completed a successful effort to produce a set of “nuggets” used for arguing for the importance of computing research to a variety of audiences. ...
+ Read more

Pasareanu Receives ICSE 2010 Most Influential Paper Award
The International Conference on Software Engineering (ICSE) has presented their 2010 Most Influential Paper Award to RSE researcher Dr. Corina Pasareanu for her role as co-author of “Bandera: Extracting Finite-state ...
+ Read more

V&V for Command and Control of Constellation Systems Baselined
As part of the Constellation Program (CxP), the Software and Avionics Integration Office (SAvIO) contributed strategies and verification and validation (V&V) plans for command and control of CxP Systems in ...
+ Read more

Expanded Dispersion Analysis Conducted on Pad Abort 1
Karen Gundy-Burlet, Misty Davies, and Greg Limes (CraigTech/ARC) performed an analysis of the expected flight performance envelope independent Verification Analysis Cycle (iVAC) for Pad Abort 1. The ARC validation test ...
+ Read more

MCP Model Checker Directly Checks Flight Code
The ARINC-653 standard specifies the operating system’s software interface for Integrated Modular Avionics flight code. Adding a capability to directly model check code written with this API makes it possible ...
+ Read more

Model-checking Benchmarks Lead to Spot Improvement
Through her research, Kristin Y. Rozier identified subtle bugs in the industrial verification tool, Spot. The tool occasionally produced faulty output when reasoning about larger specifications of the size used ...
+ Read more

RSE Researcher Contributes to Model Checking Book
Dr. Corina Pasareanu is contributing a chapter on Compositional Reasoning to the Handbook of Model Checking. The book is being published by Springer and it is edited by professors Ed ...
+ Read more

Dimitra Giannakopoulou Invited Keynote
On August 27 2009, Dimitra Giannakopoulou gave an invited keynote talk at the 35th EUROMICRO conference on Software Engineering and Advanced Applications in Patras, Greece. Her talk, titled “NASA’s State-Space ...
+ Read more

Ewen Denney Chairs PCC’09
Ewen Denney chaired the Third International Workshop on Proof-Carrying Code and Software Certification (PCC’09), held on August 15, 2009 at UCLA as part of the prestigious Logic in Computer Science ...
+ Read more

NASA Formal Methods Symposium
Robust Software Engineering researchers Ewen Denney (SGT), Dimitra Giannakopoulou (CMU), and Corina Pasareanu (CMU) organized the First NASA Formal Methods Symposium (NFM 2009), held on April 6-8, 2009, at the ...
+ Read more

AutoBayes Program Synthesis System Users Manual
The Robust Software Engineering area developed AutoBayes, a program synthesis system that, given a high-level specification of a statistical model, automatically constructs a C/C++ program that analyzes data in accordance ...
+ Read more

MIT Students Contribute New Testing Technology to RSE Tools
MIT students Adam Kiezun and David Harvison developed a “concolic execution” extension and contributed to the Ames Java Pathfinder (JPF) distribution under the open source NASA license. Concolic execution allows ...
+ Read more

Presentations at Women in Engineering Conference
Kristin Yvonne Rozier delivered two presentations at the Grace Hopper Celebration of Women in Computing (GHC2008) in Keystone, Colorado on October 3. GHC is a series of conferences designed to ...
+ Read more

Workshop on Formal Aspects of Component Software
Intelligent Systems researcher Dr. Corina Pasareanu, together with Professor Carlos Canal from University of Malaga, co-chaired the 5th International Workshop on Formal Aspects of Component Software, held on September 10–12, ...
+ Read more

Error-Detecting Analyzer for Orion Software Models in Development
The Robust Software Engineering area of the Intelligent Systems Division has developed UML Pathfinder, an analyzer capable of finding errors early in the software life cycle for complex Crew Exploration ...
+ Read more

Ames Participation in Orion Software Development
Ames researchers Tom Pressburger and Andy Goforth are providing expertise and guidance to Lockheed-Martin, Orion’s prime contractor in the development of software tools for Crew Exploration Vehicle (CEV) software. Pressburger ...
+ Read more

Parametric Analysis Paper and Tool Presentation at ASE 2008
A peer-reviewed paper on “Tool Support for Parametric Analysis of Large Software Simulation Systems” was accepted for the Tools-demonstration session of the 2008 Automated Software Engineering Conference (ASE 2008), to ...
+ Read more

Verification and Validation of Neuro-Adaptive Aircraft Control Systems
Dr. Johann Schumann will be an invited plenary speaker at the North American Simulation Technology Conference (NASTEC 2008), to be held at McGill University, Montreal, Canada August 13-15. He will ...
+ Read more

Intelligent Systems for Modeling and Control Workshop
Dr. Johann Schumann of the Robust Software Engineering group is co-organizer of “Intelligent Systems for Modeling and Control: Advances in Design and Validation,” which will be held September 3-5, 2008 ...
+ Read more

Java PathFinder Workshop Held
This year’s annual Java PathFinder (JPF) workshop was held May 1– 2, 2008 at the Fujitsu Laboratories campus in Sunnyvale, CA. It was attended by participants from industry, government organizations, ...
+ Read more