Runtime assurance of aeronautical products : preliminary recommendations / Guillaume Brat, Ganesh Pai.

Authors: Brat, Guillaume

Subject Terms: Cybernetics., Computer systems programs., Artificial intelligence., Aeronautics.

Online Access: https://purl.fdlp.gov/GPO/gpo192084
https://ntrs.nasa.gov/api/citations/20220015734/downloads/tm-rta-guidance.pdf

Assurance-driven Design of Machine Learning-based Functionality in an Aviation Systems Context

Authors: Denney, Ewen, Pai, Ganesh

Source: 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC) Digital Avionics Systems Conference (DASC), 2023 IEEE/AIAA 42nd. :1-10 Oct, 2023

Relation: 2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC)

Reconciling Safety Measurement and Dynamic Assurance

Authors: Denney, Ewen, Pai, Ganesh

Subject Terms: Computer Science - Software Engineering

Access URL: http://arxiv.org/abs/2405.19641

Data-centric Operational Design Domain Characterization for Machine Learning-based Aeronautical Products

Authors: Kaakai, Fateh, Adibhatla, Shridhar "Shreeder", Pai, Ganesh, Escorihuela, Emmanuelle

Subject Terms: Computer Science - Software Engineering, Computer Science - Machine Learning

Access URL: http://arxiv.org/abs/2307.07681

Towards Quantification of Assurance for Learning-enabled Components

Authors: Asaadi, Erfan, Denney, Ewen, Pai, Ganesh

Subject Terms: Computer Science - Software Engineering, Computer Science - Artificial Intelligence

Access URL: http://arxiv.org/abs/2301.08980

Architecting Safer Autonomous Aviation Systems

Authors: Fenn, Jane, Nicholson, Mark, Pai, Ganesh, Wilkinson, Michael

Subject Terms: Computer Science - Software Engineering, Computer Science - Artificial Intelligence, Electrical Engineering and Systems Science - Systems and Control

Access URL: http://arxiv.org/abs/2301.08138

Assured Integration of Machine Learning-based Autonomy on Aviation Platforms

Authors: Asaadi, Erfan, Beland, Steven, Chen, Alexander, Denney, Ewen, Margineantu, Dragos, Moser, Matthew, Pai, Ganesh, Paunicka, James, Stuart, Douglas, Yu, Huafeng

Source: 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC) Digital Avionics Systems Conference (DASC), 2020 IEEE/AIAA 39th. :1-10 Oct, 2020

Relation: 2020 IEEE/AIAA 39th Digital Avionics Systems Conference (DASC)

Towards a Rigorous Basis for Specific Operations Risk Assessment of UAS

Authors: Denney, Ewen, Pai, Ganesh, Johnson, Marcus

Source: 2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC) Digital Avionics Systems Conference (DASC), 2018 IEEE/AIAA 37th. :1-10 Sep, 2018

Relation: 2018 IEEE/AIAA 37th Digital Avionics Systems Conference (DASC)

Quantifying Assurance in Learning-enabled Systems

Authors: Asaadi, Erfan, Denney, Ewen, Pai, Ganesh

Subject Terms: Computer Science - Software Engineering, Computer Science - Artificial Intelligence, Computer Science - Machine Learning, Electrical Engineering and Systems Science - Systems and Control

Access URL: http://arxiv.org/abs/2006.10345

Model-Driven Development of Safety Architectures

Authors: Denney, Ewen, Pai, Ganesh, Whiteside, Iain

Source: 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS) MODELS Model Driven Engineering Languages and Systems (MODELS), 2017 ACM/IEEE 20th International Conference on. :156-166 Sep, 2017

Relation: 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems (MODELS)

Frequency and Quality of Exposure to Adaptive Cruise Control and Impact on Trust, Workload, and Mental Models

Authors: Pai, Ganesh, Zhang, Fangda, Hungund, Apoorva P., Pamarthi, Jaji, Roberts, Shannon C., Horrey, William J., Pradhan, Anuj K.

Source: In Accident Analysis and Prevention September 2023 190

Safety considerations for UAS ground-based detect and avoid

Authors: Denney, Ewen, Pai, Ganesh

Source: 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC) Digital Avionics Systems Conference (DASC), 2016 IEEE/AIAA 35th. :1-10 Sep, 2016

Relation: 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC)

Argument-based airworthiness assurance of small UAS

Authors: Denney, Ewen, Pai, Ganesh

Source: 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC) Digital Avionics Systems Conference (DASC), 2015 IEEE/AIAA 34th. :1-41 Sep, 2015

Relation: 2015 IEEE/AIAA 34th Digital Avionics Systems Conference (DASC)

Dynamic Safety Cases for Through-Life Safety Assurance

Authors: Denney, Ewen, Pai, Ganesh, Habli, Ibrahim

Source: 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering Software Engineering (ICSE), 2015 IEEE/ACM 37th IEEE International Conference on. 2:587-590 May, 2015

Relation: 2015 IEEE/ACM 37th IEEE International Conference on Software Engineering (ICSE)

Formal Foundations for Hierarchical Safety Cases

Authors: Denney, Ewen, Pai, Ganesh, Whiteside, Iain

Source: 2015 IEEE 16th International Symposium on High Assurance Systems Engineering High Assurance Systems Engineering (HASE), 2015 IEEE 16th International Symposium on. :52-59 Jan, 2015

Relation: 2015 IEEE 16th International Symposium on High Assurance Systems Engineering (HASE)

Assuring ground-based detect and avoid for UAS operations

Authors: Denney, Ewen, Pai, Ganesh, Berthold, Randall, Fladeland, Matthew, Storms, Bruce, Sumich, Mark

Source: 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC) Digital Avionics Systems Conference (DASC), 2014 IEEE/AIAA 33rd. :1-39 Oct, 2014

Relation: 2014 IEEE/AIAA 33rd Digital Avionics Systems Conference (DASC)

Evidence arguments for using formal methods in software certification

Authors: Denney, Ewen, Pai, Ganesh

Source: 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW) Software Reliability Engineering Workshops (ISSREW), 2013 IEEE International Symposium on. :375-380 Nov, 2013

Relation: 2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)

Heterogeneous Aviation Safety Cases: Integrating the Formal and the Non-formal

Authors: Denney, Ewen, Pai, Ganesh, Pohl, Josef

Source: 2012 IEEE 17th International Conference on Engineering of Complex Computer Systems Engineering of Complex Computer Systems (ICECCS), 2012 17th International Conference on. :199-208 Jul, 2012

Relation: 2012 17th International Conference on Engineering of Complex Computer Systems (ICECCS)

Perspectives on software safety case development for unmanned aircraft

Authors: Denney, Ewen, Pai, Ganesh, Habli, Ibrahim

Source: IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2012) Dependable Systems and Networks (DSN), 2012 42nd Annual IEEE/IFIP International Conference on. :1-8 Jun, 2012

Relation: 2012 42nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN)

Towards Measurement of Confidence in Safety Cases

Authors: Denney, Ewen, Pai, Ganesh, Habli, Ibrahim

Source: 2011 International Symposium on Empirical Software Engineering and Measurement Empirical Software Engineering and Measurement (ESEM), 2011 International Symposium on. :380-383 Sep, 2011

Relation: 2011 5th International Symposium on Empirical Software Engineering and Measurement (ESEM)