paper-with-me

Papers

How to Certify Machine Learning Based Safety-critical Systems? A Systematic Literature Review

2021-07-26 · Florian Tambon, Gabriel Laberge, Le An, Amin Nikanjam, Paulina Stevia Nouwou Mindom, Yann Pequignot, Foutse khomh, Giulio Antoniol, Ettore Merlo, François Laviolette

Context: Machine Learning (ML) has been at the heart of many innovations over the past years. However, including it in so-called 'safety-critical' systems such as automotive or aeronautic has proven to be very challenging, since the shift in paradigm that ML brings completely changes traditional certification approaches. Objective: This paper aims to elucidate challenges related to the certification of ML-based safety-critical systems, as well as the solutions that are proposed in the literature to tackle them, answering the question 'How to Certify Machine Learning Based Safety-critical Systems?'. Method: We conduct a Systematic Literature Review (SLR) of research papers published between 2015 to 2020, covering topics related to the certification of ML systems. In total, we identified 217 papers covering topics considered to be the main pillars of ML certification: Robustness, Uncertainty, Explainability, Verification, Safe Reinforcement Learning, and Direct Certification. We analyzed the main trends and problems of each sub-field and provided summaries of the papers extracted. Results: The SLR results highlighted the enthusiasm of the community for this subject, as well as the lack of diversity in terms of datasets and type of models. It also emphasized the need to further develop connections between academia and industries to deepen the domain study. Finally, it also illustrated the necessity to build connections between the above mention main pillars that are for now mainly studied separately. Conclusion: We highlighted current efforts deployed to enable the certification of ML based software systems, and discuss some future research directions.

📄 PDF Abstract BibTeX arXiv:2107.12045

Code (1)

FlowSs/How-to-Certify-Machine-Learning-BasedSafety-critical-Systems-A-Systematic-Literature-Review 공식 구현

Tasks

BIG-bench Machine LearningSafe Reinforcement LearningSystematic Literature Review

Methods 이 논문이 사용한 방법론

SLR Please enter a description about the method here

Similar Papers 제목 키워드 기반

On the Applicability of Safety Nets: A Safety-By-Design Solution for Certifying Neural Networks

2026-08-20 · Johann Maximilian Christensen, Thomas Stefani, Elena Hoemann, Frank Köster 외 arxiv

The integration of Artificial Intelligence (AI) in safety-critical aviation systems presents significant challenges for certification and deployment. Aviation, often regarded as the safest form of transportation, relies …

Neural Network Compression

Machine Learning needs Better Randomness Standards: Randomised Smoothing and PRNG-based attacks

2023-06-24 · Pranav Dahiya, Ilia Shumailov, Ross Anderson

Randomness supports many critical functions in the field of machine learning (ML) including optimisation, data selection, privacy, and security. ML systems outsource the task of generating or harvesting randomness to the…

No Trust without regulation!

2023-09-27 · François Terrier

The explosion in the performance of Machine Learning (ML) and the potential of its applications are strongly encouraging us to consider its use in industrial systems, including for critical functions such as decision-mak…

Decision Making

An Overview and Prospective Outlook on Robust Training and Certification of Machine Learning Models

2022-08-15 · Brendon G. Anderson, Tanmay Gautam, Somayeh Sojoudi

In this discussion paper, we survey recent research surrounding robustness of machine learning models. As learning algorithms become increasingly more popular in data-driven control systems, their robustness to data unce…

Towards certifiable AI in aviation: landscape, challenges, and opportunities

2024-09-13 · Hymalai Bello, Daniel Geißler, Lala Ray, Stefan Müller-Divéky 외

Artificial Intelligence (AI) methods are powerful tools for various domains, including critical fields such as avionics, where certification is required to achieve and maintain an acceptable level of safety. General solu…