Architectural patterns to design software safety based safety-critical systems.
S. Phani KumarP. Seetha RamaiahV. KhanaaPublished in: ICCCS (2011)
Keyphrases
- safety critical
- formal methods
- embedded systems
- safety analysis
- fault tolerant
- support systems
- nuclear power plant
- agent architecture
- regulatory requirements
- software intensive systems
- adaptive systems
- case study
- low cost
- software architecture
- design patterns
- real time
- artificial intelligence
- software systems
- knowledge acquisition
- open source
- expert systems