Supporting model-based safety analysis for safety-critical IoT systems.
Felicien IhirweDavide Di RuscioKatia Di BlasioSimone GianfranceschiAlfonso PierantonioPublished in: J. Comput. Lang. (2024)
Keyphrases
- safety critical
- safety analysis
- formal methods
- nuclear power plant
- support systems
- fault tolerant
- embedded systems
- agent architecture
- control system
- fault model
- adaptive systems
- real time
- symbolic model checking
- management system
- distributed systems
- decision making
- decision support
- information systems
- artificial intelligence