{"@type": "dcat:Dataset", "accessLevel": "public", "accrualPeriodicity": "irregular", "bureauCode": ["026:00"], "contactPoint": {"@type": "vcard:Contact", "fn": "Elizabeth Foughty", "hasEmail": "mailto:elizabeth.a.foughty@nasa.gov"}, "description": "not available", "distribution": [{"@type": "dcat:Distribution", "description": "Vehicle Integrated Prognostic Reasoner (VIPR)", "downloadURL": "https://c3.nasa.gov/dashlink/static/media/other/avsafe_vipr-2011.pdf", "format": "PDF", "mediaType": "application/pdf", "title": "avsafe_vipr-2011.pdf"}, {"@type": "dcat:Distribution", "description": "Open Architecture for Data Mining and PHM", "downloadURL": "https://c3.nasa.gov/dashlink/static/media/other/MitekAvS2011preso.pdf", "format": "PDF", "mediaType": "application/pdf", "title": "MitekAvS2011preso.pdf"}, {"@type": "dcat:Distribution", "description": "A New Approach to Certifying Safety in NextGen", "downloadURL": "https://c3.nasa.gov/dashlink/static/media/other/SSAC-1_SSAC_Leveson.pdf", "format": "PDF", "mediaType": "application/pdf", "title": "SSAC-1_SSAC_Leveson.pdf"}, {"@type": "dcat:Distribution", "description": "Designing Human-Automation Interaction through Computational Modeling of Cognition and the Dynamic Flight Environment", "downloadURL": "https://c3.nasa.gov/dashlink/static/media/other/SSAT15Designing_Human-Automation_Interaction_pdf.pdf", "format": "PDF", "mediaType": "application/pdf", "title": "SSAT15Designing Human-Automation Interaction pdf.pdf"}, {"@type": "dcat:Distribution", "description": "Automating the Generation of Heterogeneous Aviation Safety Cases", "downloadURL": "https://c3.nasa.gov/dashlink/static/media/other/SSAT-22_V_V_Denney_-_final.pdf", "format": "PDF", "mediaType": "application/pdf", "title": "SSAT-22_V_V_Denney_-_final.pdf"}, {"@type": "dcat:Distribution", "description": "Model-Based Validation Testing", "downloadURL": "https://c3.nasa.gov/dashlink/static/media/other/SSAT_5_Davies_Model-based.pdf", "format": "PDF", "mediaType": "application/pdf", "title": "SSAT 5_Davies_Model-based.pdf"}, {"@type": "dcat:Distribution", "description": "Monitor Synthesis for Software Health Management", "downloadURL": "https://c3.nasa.gov/dashlink/static/media/other/SSAT_7_Pike_Monitoring2.pdf", "format": "PDF", "mediaType": "application/pdf", "title": "SSAT 7_Pike_Monitoring(2).pdf"}, {"@type": "dcat:Distribution", "description": "Distributed Optimization for Aircraft Fleet Monitoring", "downloadURL": "https://c3.nasa.gov/dashlink/static/media/other/SSAT_10_Chu_DM.pdf", "format": "PDF", "mediaType": "application/pdf", "title": "SSAT 10_Chu_DM.pdf"}, {"@type": "dcat:Distribution", "description": "System-Wide Safety Assurance:Human Systems Solutions", "downloadURL": "https://c3.nasa.gov/dashlink/static/media/other/SSAT_14_Feary_HSS.pdf", "format": "PDF", "mediaType": "application/pdf", "title": "SSAT 14_Feary_HSS.pdf"}, {"@type": "dcat:Distribution", "description": "The Automation Design Advisor Tool", "downloadURL": "https://c3.nasa.gov/dashlink/static/media/other/SSAT_16_HSS.pdf", "format": "PDF", "mediaType": "application/pdf", "title": "SSAT 16_HSS.pdf"}, {"@type": "dcat:Distribution", "description": "Collaborative Approach To Conducting Research", "downloadURL": "https://c3.nasa.gov/dashlink/static/media/other/SSAT_20__RTI_Venti_Version2.pdf", "format": "PDF", "mediaType": "application/pdf", "title": "SSAT 20 _RTI_Venti_Version2.pdf"}, {"@type": "dcat:Distribution", "description": "Scalable Text Data Mining for Improving Aviation Safety", "downloadURL": "https://c3.nasa.gov/dashlink/static/media/other/zhai-textmining-aviation-safety-2011.pdf", "format": "PDF", "mediaType": "application/pdf", "title": "zhai-textmining-aviation-safety-2011.pdf"}, {"@type": "dcat:Distribution", "description": "Validation and Verification of Safety-Critical Integrated Distributed Systems", "downloadURL": "https://c3.nasa.gov/dashlink/static/media/other/SSAT-3_VVFCS_Driscoll.pdf", "format": "PDF", "mediaType": "application/pdf", "title": "SSAT-3_VVFCS_Driscoll.pdf"}, {"@type": "dcat:Distribution", "description": "Evidential Tool Bus for Flight Critical Systems", "downloadURL": "https://c3.nasa.gov/dashlink/static/media/other/SSAT-4_VVFCS_Shankar.pdf", "format": "PDF", "mediaType": "application/pdf", "title": "SSAT-4_VVFCS_Shankar.pdf"}, {"@type": "dcat:Distribution", "description": "govDirected Incremental Symbolic ExecutionSuzette", "downloadURL": "https://c3.nasa.gov/dashlink/static/media/other/SSAT_6_Person_Directed.pdf", "format": "PDF", "mediaType": "application/pdf", "title": "SSAT 6_Person_Directed.pdf"}, {"@type": "dcat:Distribution", "description": "Integrated Model Checking and Simulation of NextGen Authority and Autonomy (NextGenAA)", "downloadURL": "https://c3.nasa.gov/dashlink/static/media/other/SSAT_2_Bass_Integrated.pdf", "format": "PDF", "mediaType": "application/pdf", "title": "SSAT 2_Bass Integrated.pdf"}, {"@type": "dcat:Distribution", "description": "Analyzing Multivariate FOQA Data During Approach", "downloadURL": "https://c3.nasa.gov/dashlink/static/media/other/SDAS_Analyzing_Multivariate_FOQA_Data_during_Approach_Some_Success_Stories.pdf", "format": "PDF", "mediaType": "application/pdf", "title": "SDAS Analyzing Multivariate FOQA Data during Approach Some Success Stories.pdf"}], "identifier": "DASHLINK_377", "issued": "2011-05-20", "keyword": ["ames", "dashlink", "nasa"], "landingPage": "https://c3.nasa.gov/dashlink/resources/377/", "modified": "2025-03-31", "programCode": ["026:029"], "publisher": {"@type": "org:Organization", "name": "Dashlink"}, "title": "2011SSAT Aviation Safety Presentations"}