NASA Office of Logic Design

NASA Office of Logic Design

A scientific study of the problems of digital engineering for space flight systems,
with a view to their practical solution.

2006 MAPLD International Conference

Ronald Reagan Building and International Trade Center
with a session at the Smithsonian National Air and Space Museum

Washington, D.C.

September 26-28, 2006

Session E. Reliability and Verification

Thursday, September 28, 2006

Andrew Kostic, Northrop-Grumman Corporation
Session Chairs
Andrew Kostic, Northrop-Grumman Corporation
Morrigan Johnson, DfR Solutions

10:50 AM   Submission 120
"Nanotomography: Advanced Techniques for Failure Analysis"
Terence Yeoh, Neil Ives, Nathan Presser, Gary Stupian, Martin Leung, and Steven Moss
The Aerospace Corporation
Abstract: 120_yeoh_a.html
11:15 AM   Submission 162
"The STAR Systems Toolset for Analyzing Reconfigurable System Cross-Section"
Heather Quinn, Debayan Bhaduri, Christof Teuscher, Paul Graham, and Maya Gokhale
Los Alamos National Laboratory
Abstract: 162_quinn_a.html
11:40 AM   Submission 209
"Classical versus Evolved Fault Tolerance: Comparing Metrics and Performance"
Pauline C Haddow, Morten Hartmann and Asbjoern Djupdal
The Norwegian University of Science and Technology
Abstract: 209_haddow_a.html
12:05 PM   Submission 178
“Robust FPGA/Embedded-Processor Design: Design Flow for SEU Mitigation”
Gregory Miller1, Carl Carmichael1, Gary Swift2 and Steven Guertin2
1Xilinx Corp.
Abstract: 178_miller_a.html
12:30 - 2:00 PM LUNCH
2:00 PM   Submission 253
"Increasing Confidence of Complex Hardware in Safety-Critical Avionics Using Formal Methods"
Kristoffer Karlsson and Håkan Forsberg
Saab Avitronics
Abstract: 253_karlsson_a.html
2:25 PM   Submission 145
"A Formalized Verification Methodology for Soft IP Cores in Safety-Critical Applications"
Travis Lenhart and John Lach
University of Virginia
Abstract: 145_lenhart_a.html
2:50 PM   Submission 184
"In-System Test for FPGAs"
Dan Gardner1, Ron Press1, and Melanie Berg2
1Mentor Graphics
2NASA GSFC/Muniz Technologies
Abstract: 184_gardner_a.html
3:15 - 3:45 PM   BREAK

2006 MAPLD International Conference Home Page

Home - NASA Office of Logic Design
Last Revised: February 03, 2010
Web Grunt: Richard Katz