DFS MAD.MUTT Presentation 041812 with movies.pdf
Ares I-X Assembly RollOut and Flight Composite.m4v

Greeting and Interaction Between ASE & Simulation - Peter Coen & Dr. David K. Schmidt
Aeroservoelasticity and Reduced Order Models - Walt Silva - NASA Langley
Sim Study of Impact of ASE on Flying Qualities of a High Speed Civil Transport (HSCT) - Dave Raney - NASA Langley
Structural Modes and Aircraft Handling Qualities - Brandon Cowen - Adaptive Aerospace Group
System ID of Flexible Aircraft - Per Ohme - German Aerospace Center
Dynamic Flight Simulation (DFS) for MAD/MUTT - P. C. Chen - Zonatech
Ares 1-X - Eugene Heim - NASA Langley
Stick-to-Stress Real-Time Simulator - Dr. Ned Lindsley - Air Force Research Laboratory
Discussion

Publication Plan of Action, May 30 2012, pdf

TTEthernet Startup Protocol  SAL Models and Results

DREAM Models developed during Phase I of the VVFCS TA2 Program, NNL10AB32T

Hybrid SAL model of Mid-Value Select Module

The following SAL specifications focus on TTEthernet's compression function. They show that better synchronization can be achieved by a simple change to the original TTEthernet definition (2/11/2012).
tte_synchro_var.sal
tte_synchro_fixed.sal
The following PVS file contains a general specification of TTEthernet's compression function and proofs of several important properties. The specification and proofs were developed using PVS 5.0 (2/11/2012).

DXC'11 Diagnostic Problem I Sample Data (Competition Data from DXC'10)
DXC'11 Diagnostic Problem II Sample Data (Competition Data from DXC'10)
DXC'11 Sample Nominal Run for DP II (some sensor values had shifted slightly from last year)

DXC'11 Diagnostic Problem I Competition Data

DXC Framework Linux Source & Oracle Linux Binary
DXC Framework Windows Source & Oracle Windows Binary
DXC Framework Windows Binary & Oracle Windows Binary

Scenario Output for Each Diagnostic Algorithm
Evaluator Results for Diagnostic Problem I
Results Summary for Diagnostic Problem I

Comparison of Algorithms for Anomaly Detection in Flight Recorder Data of Airline Operations