Design of safety critical systems by refinement.
Alex IliasovArseniy AlekseyevDanil SokolovAndrey MokhovPublished in: DATE (2014)
Keyphrases
- safety critical
- formal methods
- embedded systems
- support systems
- safety analysis
- fault tolerant
- agent architecture
- nuclear power plant
- real time
- case study
- adaptive systems
- knowledge based systems
- building blocks
- design process
- experimental design
- regulatory requirements
- management system
- user interface
- artificial intelligence
- data mining
- intelligent systems
- computational intelligence
- expert systems