Testing Practices of Software in Safety Critical Systems: Industrial Survey.
Mohamad KassabPublished in: ICEIS (2) (2018)
Keyphrases
- safety critical
- formal methods
- safety analysis
- embedded systems
- fault tolerant
- nuclear power plant
- support systems
- software intensive systems
- agent architecture
- case study
- regulatory requirements
- adaptive systems
- knowledge based systems
- distributed systems
- software components
- business intelligence
- expert systems
- data mining
- real time