Towards a continuous certification of safety-critical avionics software.
Claude BaronVincent LouisPublished in: Comput. Ind. (2021)
Keyphrases
- safety critical
- fault tolerant
- formal methods
- safety analysis
- embedded systems
- agent architecture
- nuclear power plant
- software intensive systems
- support systems
- regulatory requirements
- machine learning
- open source
- low cost
- software engineering practices
- software systems
- adaptive systems
- source code
- real time
- domain independent
- model checking
- learning systems
- information systems