Testing and verification of neural-network-based safety-critical control software: A systematic literature review.
Jin ZhangJingyue LiPublished in: Inf. Softw. Technol. (2020)
Keyphrases
- literature review
- safety critical
- control software
- formal methods
- safety analysis
- control system
- case study
- formal verification
- fault tolerant
- nuclear power plant
- model checking
- embedded systems
- agent architecture
- fault model
- regulatory requirements
- current issues
- adaptive systems
- support systems
- formal specification
- artificial intelligence
- modeling language
- intelligent agents
- learning systems
- knowledge based systems
- software engineering