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