Description
not available
Resources
| Name | Format | Description | Link |
|---|---|---|---|
| avsafe_vipr-2011.pdf | Vehicle Integrated Prognostic Reasoner (VIPR) | Open resource | |
| MitekAvS2011preso.pdf | Open Architecture for Data Mining and PHM | Open resource | |
| SDAS Analyzing Multivariate FOQA Data during Approach Some Success Stories.pdf | Analyzing Multivariate FOQA Data During Approach | Open resource | |
| SSAC-1_SSAC_Leveson.pdf | A New Approach to Certifying Safety in NextGen | Open resource | |
| SSAT 10_Chu_DM.pdf | Distributed Optimization for Aircraft Fleet Monitoring | Open resource | |
| SSAT 14_Feary_HSS.pdf | System-Wide Safety Assurance:Human Systems Solutions | Open resource | |
| SSAT15Designing Human-Automation Interaction pdf.pdf | Designing Human-Automation Interaction through Computational Modeling of Cognition and the Dynamic Flight Environment | Open resource | |
| SSAT 16_HSS.pdf | The Automation Design Advisor Tool | Open resource | |
| SSAT 20 _RTI_Venti_Version2.pdf | Collaborative Approach To Conducting Research | Open resource | |
| SSAT-22_V_V_Denney_-_final.pdf | Automating the Generation of Heterogeneous Aviation Safety Cases | Open resource | |
| SSAT 2_Bass Integrated.pdf | Integrated Model Checking and Simulation of NextGen Authority and Autonomy (NextGenAA) | Open resource | |
| SSAT-3_VVFCS_Driscoll.pdf | Validation and Verification of Safety-Critical Integrated Distributed Systems | Open resource | |
| SSAT-4_VVFCS_Shankar.pdf | Evidential Tool Bus for Flight Critical Systems | Open resource | |
| SSAT 5_Davies_Model-based.pdf | Model-Based Validation Testing | Open resource | |
| SSAT 6_Person_Directed.pdf | govDirected Incremental Symbolic ExecutionSuzette | Open resource | |
| SSAT 7_Pike_Monitoring(2).pdf | Monitor Synthesis for Software Health Management | Open resource | |
| zhai-textmining-aviation-safety-2011.pdf | Scalable Text Data Mining for Improving Aviation Safety | Open resource |