Comparison of GPU Computing Methodologies for Safety-Critical Systems: An Avionics Case Study.
Marc BenitoMatina Maria TrompoukiLeonidas KosmidisJuan David GarciaSergio CarreteroKen WengerPublished in: DATE (2021)
Keyphrases
- safety critical
- case study
- formal methods
- safety analysis
- embedded systems
- real time
- nuclear power plant
- fault tolerant
- management system
- adaptive systems
- intelligent systems
- support systems
- agent architecture
- learning systems
- artificial intelligence
- learning styles
- knowledge based systems
- distributed systems
- expert systems
- cooperative