Solving the Physical Challenges for the Next Generation of Safety Critical & High Reliability Systems.
Rob KnothPublished in: ISPD (2024)
Keyphrases
- safety critical
- high reliability
- formal methods
- embedded systems
- support systems
- high precision
- fault tolerant
- safety analysis
- low cost
- learning systems
- regulatory requirements
- nuclear power plant
- adaptive systems
- agent architecture
- management system
- reverse engineering
- monitoring system
- intelligent systems
- expert systems
- reinforcement learning
- data mining