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

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 Miller¹, Carl Carmichael¹, Gary Swift² and Steven Guertin²
¹Xilinx Corp.
²JPL/Caltech
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 Gardner¹, Ron Press¹, and Melanie Berg²
¹Mentor Graphics
²NASA 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