2008 Conference Papers
 

Paper

#

Presenter First

Presenter Last

Organization

Paper Title

10.0101

1247

Michael

McDougall

GrammaTech, Inc.

The Use and Implementation of Coding Standards for High-Confidence Embedded Systems

10.0102

1099

Mikael

Lindvall

Fraunhofer Center for Experimental Software Engineering Maryland

Using Sequence Diagrams to Detect Communication Problems between Systems

10.0103

1407

Link

Jaw

Scientific Monitoring, Inc.

Model-based Approach to Validation and Verification of Flight Critical Software

10.0104

1197

Guillaume

Brat

RIACS/NASA Ames Research Center

Trust Your Model - Verifying Aerospace System Models with Java™ Pathfinder

10.0105

1198

Guillaume

Brat

USRA-RIACS

Verification of Plans and Procedures

10.0106

1548

Herbert

Hecht

SoHaR Incorporated

Requirements for Software Exception Handling

10.0107

1186

Ewen

Denney

RIACS / NASA

A Software Safety Certification Tool for Automatically Generated Guidance, Navigation and Control Code

10.0108

1177

Guillaume

Brat

USRA/NASA Ames Research Center

Verification of C Flight Software with the MCP Model Checker

10.0201

1206

Jeremy

Ludwig

Stottler Henke Associates

Rapid Simulation Construction

10.0202

1203

Dan

Fu

Stottler Henke Associates

Evaluating Game Technologies for Training

10.0301

1237

Allan

White

NASA Langley

Efficient Simulation for Testing Loss of Separation Algorithms

10.0501

1190

Mark

Powell

Jet Propulsion Laboratory

Delivering Images for Mars Rover Science Planning

10.0601

1091

Christopher

Knight

NASA Ames Research Center

Contextualized Search and Faceted Browsing of Heterogeneous ISS Mission Operations Data

10.0602

1090

Mohana

Gurram

RIACS, USRA

Functional Hierarchical Search Results Data Analysis

10.0701

1195

Sue

Haupt

The Pennsylvania State University

Data Fusion and Prediction for CBRN Transport and Dispersion for Security

10.0702

1452

Joseph

Bull

Booz Allen Hamilton

Achieving Cryptographic Modernization Compliance for Reprogrammable Crypto in Space

10.0801

1117

Andrew

Eick

SSS Research

Geotemporal Analysis

10.1001

1402

Kurt

Leucht

NASA/KSC

Automated Translation of Safety Critical Application Software Specifications into PLC Ladder Logic

10.1002

1441

Jong-In

Lee

Korea Aerospace Research Institute

Visualization and Formalization of User Constraints for Tight Estimation of Worst-Case Execution Time

10.1201

1235

Douglas

Holmes

Java Professionals, Inc.

Semantic Interoperability Integrating and Augmenting Legacy Applications with OWL Ontologies

10.1202

1236

Brian

Mihok

Lockheed Martin Aeronautics

Augmenting Data Collection and Analysis of Operational Simulations with RDF and SPARQL

10.1401

1185

Angelia

Corbett

The Boeing Company

Why is so Little Attention Paid to the Centralization of Data

10.1402

1394

Hans

Zima

Jet Propulsion Laboratory

An Introspection Framework for Fault Tolerance in Support of Autonomous Space Systems

10.1501

1669

John

Meier

Boeing

Intelligent Avionics with Advanced Clustering

10.1801

1542

Daniel

Dvorak

Jet Propulsion Laboratory

An Architectural Pattern for Goal-Based Control

10.1802

1666

Garth

Watney

Jet Propulsion Lab

Integrating System and Software Engineering Through Modeling

10.1803

1546

Jane

Oh

JPL

Software Assurance for Model-Based Design

10.1804

1192

Alan

Mazer

JPL

Automated Testing of Science Instrument Flight Software

10.1805

1393

Naohiko

Kohtake

Japan Aerospace Exploration Agency

Software Independent Verification and Validation for Spacecraft at JAXA

11.0101

1562

Bruno

Lećo

Embraer

Cost-Benefit Analysis Methodology for PHM Applied to Legacy Commercial Aircraft

11.0102

1170

Eric

Mayhew

Goodrich Sensors and Integrated Systems

A Method of Compression in HUMS and its Effect on Analysis

11.0103

1512

Dennis, Curt

Granger, Rideout

US ARMY AMRDEC, Lightning Solutions, INC

Detection of Pre-Crack Fatigue Damage in a U.S. Army MH-47E Chinook Aft Rotor Shaft

11.0201

1165

Rodrick

Draney

Sentient Corporation

High Temperature Sensor for Bearing Health Monitoring

11.0202

1178

David

He

University of Illinois at Chicago

Development and Validation of Bearing Diagnostic and Prognostic Tools using HUMS Condition Indicators

11.0203

1153

Honor

Powrie

GE Aviation

Use of Artificial Intelligence Methods for Advanced Bearing Health Diagnostics and Prognostics

11.0301

1677

Greg

Bower

The Applied Research Laboratory

SiC Power Electronics Packaging Prognostics

11.0302

1128

Michael

Roemer

Impact Technologies, LLC

Seeded Fault Testing and In-situ Analysis of Critical Electronic Components in EMA Power Circuitry

11.0303

1114

Sonia

Vohnout

Ridgetop Group, Inc.

Electronic Prognostics System Implementation on Power Actuator Components

11.0304

1640

Sachin

Kumar

Prognostic Health Management Lab, University of Maryland

Mahalanobis Distance and Projection Pursuit Analysis for Health Assessment of Electronic Systems

11.0305

1171

Clint

Baker

Sentient Corporation

Leakage Fault Detection Method for Axial-Piston Variable Displacement Pumps

11.0306

1313

Matthew

Watson

Impact Technologies

Automated Health Management for Gas Turbine Engine Accessory System Components

11.0307

1173

Eric

Bechhoefer

Goodrich Fuels and Utilities

Use of Paris Law for Prediction of Component Remaining Life

11.0401

1023

Jeffrey

Banks

Penn State Applied Research Laboratory

Air Force C-130 Rainbow Fitting Diagnostic Technology Development

11.0402

1607

James

MacConnell

Consensus Technology

Structural Health Management and Structural Design: An Unbridgeable Gap?

11.0403

1129

Jeremy

Teichman

IDA

Improved Estimation of Aircraft Probability of Failure

11.0501

1213

Jianhui

Luo

Qualtech System, Inc.

Distributed Fault Diagnosis Using Dependency Modeling without Revealing Subsystem Details

11.0502

1058

Wojtek

Przytula

HRL Laboratories, LLC

An Implementation of Prognosis with Dynamic Bayesian Networks

11.0503

1239

Anuradha

Kodali

UNIVERSITY OF CONNECTICUT

Dynamic Set-Covering for Real-Time Multiple Fault Diagnosis

11.0504

1650

Zhanshan (Sam)

Ma

University of Idaho

Multivariate Survival Analysis (I): Shared Frailty Approaches to Reliability and Dependence Modeling

11.0505

1011

Duncan

Shepherd

QinetiQ

Reasoning Systems for Diagnostics and Prognostics

11.0506

1622

Carl

Byington

Impact Technologies

False Alarm Mitigation of Vibration Diagnostic Systems

11.0507

1636

James

Schimert

The Boeing Company

Data-Driven Fault Detection Based on Process Monitoring using Dimension Reduction Techniques

11.0512

1678

Jan

Block

SAAB

Assessment of Operational Consequences of Aircraft Failures: Using Event Tree Analysis

11.0601

1366

Abe

Zeid

Northeastern University

A Framework for Prognostics and Health Management of Electronic Systems

11.0602

1148

James

Hofmeister

Ridgetop Group

Ball Grid Array (BGA) Solder Joint Intermittency Detection: SJ BIST

11.0603

1081

Ashish

Babbar

University of Hawaii at Manoa

Multi Source Data Integration for Aircraft Health Management

11.0701

1267

Alexander

Usynin

The University of Tennessee

Prognostics-Driven Optimal Control for Equipment Performing in Uncertain Environment

11.0702

1508

Martin

Karchnak

Epoch Engineering, Inc.

Advanced Capabilities in Difficult Measurement Situation

11.0703

1527

Asif

Khalak

Scientific Monitoring, Inc.

Real-time Probabilistic Forecasting of Wear Degradation using a Macro-scale Physical Model

11.0801

1097

Jarrod

Line

VEXTEC

Managing and Predicting Intermittent Failures Within Long Life Electronics

11.0802

1534

Leo

Casey

SatCon

Power Conversion Prognostic Controller Implementation for Aeronautical Motor Drives

11.0803

1361

Bhaskar

Saha

Georgia Institute of Technology

Uncertainty Management for Diagnostics and Prognostics of Batteries using Bayesian Techniques

11.0804

1149

James

Hofmeister

Ridgetop Group

A Low-Power Sensor Design, SJ Monitor, for Monitoring 24x7 the Health of BGA Solder Joints

11.0901

1587

Richard

Millar

NAVAIR

The Role of Reliability Data Bases in Deploying CBM , RCM and PHM with TLCSM

11.0902

1618

Axel

Krings

University of Idaho

Survival Analysis Approach to Reliability, Survivability and PHM

11.0903

1262

Jan

Block

Saab Aerotech

Evaluation of Preventive Maintenance Task Intervals Using Field Data from a Complete Life Cycle

11.0904

1626

Axel

Krings

University of Idaho

Competing Risks Analysis of Reliability, Survivability, and PHM

11.0905

1403

Mbuyi

Khuzadi

Boeing

On Health Monitoring

11.1001

1494

Francis

Peter

Management Sciences, Inc.

A Low Cost Embedded Instrumentation (EI) Framework for Vehicle Health Management Systems (VHMS)

11.1002

1429

Jon

Dunsdon

GE Aviation

The Application of Open System Architecture for Condition Based Maintenance to Complete IVHM

11.1003

1325

Deidre

Paris

Tuskegee University

Integrated Intelligent Vehicle Management Framework

11.1004

1406

Link

Jaw

Scientific Monitoring, Inc.

CBM Research Environment – Facilitating Technology Development, Experimentation, and Maturation

11.1005

1340

Javier

Cortez

The Boeing Company

Systematic Improvement of Fleet Operations by Integrating Enterprise Health and Maintenance Data

11.1101

1404

Greg

Pisanich

NASA Ames Research Center

An Abort Failure Detection, Notification, & Response System: Overview of an ISHM Development Process

11.1102

1367

Vadim

Smelyanskiy

NASA Ames Research Center

Model Based IVHM System for the Solid Rocket Booster

11.1103

1063

Mark

Schwabacher

NASA Ames Research Center

Pre-Launch Diagnostics for Launch Vehicles

11.1104

1401

David

Iverson

NASA Ames Research Center

System Health Monitoring for Space Mission Operations

11.1105

1280

James

Kurien

NASA

Costs and Benefits of Model-based Diagnosis.

12.0101

1426

Guillaume

Brat

USRA Research Institute for Advanced Computer Science

Automated Software Verification & Validation: An emerging approach for ground operations