How to certify machine learning based safety-critical systems? A systematic literature review.
Florian TambonGabriel LabergeLe AnAmin NikanjamPaulina Stevia Nouwou MindomYann PequignotFoutse KhomhGiulio AntoniolEttore MerloFrançois LaviolettePublished in: Autom. Softw. Eng. (2022)
Keyphrases
- safety critical
- literature review
- machine learning
- formal methods
- safety analysis
- embedded systems
- agent architecture
- case study
- learning systems
- fault tolerant
- real time
- support systems
- nuclear power plant
- information extraction
- management system
- reinforcement learning
- adaptive systems
- data mining
- model checking
- software engineering
- artificial intelligence
- current issues