19 citations · 39 across the 7 of their papers we have counts for
7 papers · 1 filter
Relating System Safety and Machine Learnt Model Performance
Ganesh Pai
The prediction quality of machine learnt models and the functionality they ultimately enable (e.g., object detection), is typically evaluated using a variety of quantitative metric…
Reconciling Safety Measurement and Dynamic Assurance
Ewen Denney, Ganesh Pai
We propose a new framework to facilitate dynamic assurance within a safety case approach by associating safety performance measurement with the core assurance artifacts of a safety…
Data-centric Operational Design Domain Characterization for Machine Learning-based Aeronautical Products
Fateh Kaakai, Shridhar "Shreeder" Adibhatla, Ganesh Pai +1
We give a first rigorous characterization of Operational Design Domains (ODDs) for Machine Learning (ML)-based aeronautical products. Unlike in other application sectors (such as s…
Towards Quantification of Assurance for Learning-enabled Components
Erfan Asaadi, Ewen Denney, Ganesh Pai
Perception, localization, planning, and control, high-level functions often organized in a so-called pipeline, are amongst the core building blocks of modern autonomous (ground, ai…
Architecting Safer Autonomous Aviation Systems
Jane Fenn, Mark Nicholson, Ganesh Pai +1
The aviation literature gives relatively little guidance to practitioners about the specifics of architecting systems for safety, particularly the impact of architecture on allocat…
Quantifying Assurance in Learning-enabled Systems
Erfan Asaadi, Ewen Denney, Ganesh Pai
Dependability assurance of systems embedding machine learning(ML) components---so called learning-enabled systems (LESs)---is a key step for their use in safety-critical applicatio…
A Survey of Software Reliability Models
Ganesh J. Pai
Software reliability analysis is performed at various stages during the process of engineering software as an attempt to evaluate if the software reliability requirements have been…