| Name |
Format |
Description |
Link |
|
33 |
govDirected Incremental Symbolic ExecutionSuzette |
https://c3.nasa.gov/dashlink/static/media/other/SSAT_6_Person_Directed.pdf |
|
33 |
Vehicle Integrated Prognostic Reasoner (VIPR) |
https://c3.nasa.gov/dashlink/static/media/other/avsafe_vipr-2011.pdf |
|
33 |
Integrated Model Checking and Simulation of NextGen Authority and Autonomy (NextGenAA) |
https://c3.nasa.gov/dashlink/static/media/other/SSAT_2_Bass_Integrated.pdf |
|
33 |
Open Architecture for Data Mining and PHM |
https://c3.nasa.gov/dashlink/static/media/other/MitekAvS2011preso.pdf |
|
33 |
A New Approach to Certifying Safety in NextGen |
https://c3.nasa.gov/dashlink/static/media/other/SSAC-1_SSAC_Leveson.pdf |
|
33 |
Distributed Optimization for Aircraft Fleet Monitoring |
https://c3.nasa.gov/dashlink/static/media/other/SSAT_10_Chu_DM.pdf |
|
33 |
System-Wide Safety Assurance:Human Systems Solutions |
https://c3.nasa.gov/dashlink/static/media/other/SSAT_14_Feary_HSS.pdf |
|
33 |
The Automation Design Advisor Tool |
https://c3.nasa.gov/dashlink/static/media/other/SSAT_16_HSS.pdf |
|
33 |
Collaborative Approach To Conducting Research |
https://c3.nasa.gov/dashlink/static/media/other/SSAT_20__RTI_Venti_Version2.pdf |
|
33 |
Validation and Verification of Safety-Critical Integrated Distributed Systems |
https://c3.nasa.gov/dashlink/static/media/other/SSAT-3_VVFCS_Driscoll.pdf |
|
33 |
Evidential Tool Bus for Flight Critical Systems |
https://c3.nasa.gov/dashlink/static/media/other/SSAT-4_VVFCS_Shankar.pdf |
|
33 |
Model-Based Validation Testing |
https://c3.nasa.gov/dashlink/static/media/other/SSAT_5_Davies_Model-based.pdf |
|
33 |
Monitor Synthesis for Software Health Management |
https://c3.nasa.gov/dashlink/static/media/other/SSAT_7_Pike_Monitoring2.pdf |
|
33 |
Automating the Generation of Heterogeneous Aviation Safety Cases |
https://c3.nasa.gov/dashlink/static/media/other/SSAT-22_V_V_Denney_-_final.pdf |
|
33 |
Scalable Text Data Mining for Improving Aviation Safety |
https://c3.nasa.gov/dashlink/static/media/other/zhai-textmining-aviation-safety-2011.pdf |
|
33 |
Analyzing Multivariate FOQA Data During Approach |
https://c3.nasa.gov/dashlink/static/media/other/SDAS_Analyzing_Multivariate_FOQA_Data_during_Approach_Some_Success_Stories.pdf |
|
33 |
Designing Human-Automation Interaction through Computational Modeling of Cognition and the Dynamic Flight Environment |
https://c3.nasa.gov/dashlink/static/media/other/SSAT15Designing_Human-Automation_Interaction_pdf.pdf |