Ensuring software safety in safety critical domains.
Ghada Moussa BahigAmr El-KadiPublished in: ICITST (2012)
Keyphrases
- safety critical
- safety analysis
- formal methods
- fault tolerant
- embedded systems
- nuclear power plant
- agent architecture
- regulatory requirements
- support systems
- adaptive systems
- distributed systems
- software intensive systems
- real time
- domain independent
- learning systems
- low cost
- control system
- multi agent systems
- case study