Handling index-out-of-bounds in safety-critical embedded C code using model-based development.
Gunter BlachePublished in: MoDELS (2016)
Keyphrases
- safety critical
- embedded systems
- formal methods
- safety analysis
- nuclear power plant
- fault tolerant
- agent architecture
- software engineering
- low cost
- support systems
- development process
- database
- knowledge based systems
- sensor data
- mobile agents
- decision support
- adaptive systems
- source code
- multi agent systems
- decision making