Systematic map** study on requirements engineering for regulatory compliance of software systems

O Kosenkov, P Elahidoost, T Gorschek… - Information and …, 2024 - Elsevier
Context: As the diversity and complexity of regulations affecting Software-Intensive Products
and Services (SIPS) is increasing, software engineers need to address the growing …

Towards the Certification of Neural Networks using Overarching Properties: An Avionics Case Study

S Paul, D Prince, N Iyer, M Durling… - 2023 IEEE/AIAA …, 2023 - ieeexplore.ieee.org
The traditional process-based approaches to certifying aerospace digital systems are not
sufficient to address the challenges associated with using Artificial Intelligence (AI) or …

Leveling Arguments: Easier Said Than Done

Z Daw, S Beecher, M Holloway - 2023 IEEE/AIAA 42nd Digital …, 2023 - ieeexplore.ieee.org
The aerospace industry's current desire to rapidly adopt new technologies is inconsistent
with the traditional approach to creating new aerospace certification standards. To address …

Assurance of AI/ML-Based Aerospace Systems Using Overarching Properties

S Paul, N Iyer, D Prince, L Tang… - 2024 AIAA DATC …, 2024 - ieeexplore.ieee.org
Artificial Intelligence/Machine Learning (AI/ML) is a growing field that has potential for
widespread usage in the aerospace industry. However, the traditional process-based …

Assurance of Machine Learning-Based Aerospace Systems: Towards an Overarching Properties-Driven Approach

S Paul, D Prince, N Iyer, M Durling, N Visnevski… - 2023 - rosap.ntl.bts.gov
Traditional process-based approaches of certifying aerospace digital systems are not
sufficient to address the challenges associated with using Artificial Intelligence (AI) or …