A high order collaboration and real time formal model for automatic testing of safety critical systems.
Jianghua LvShilong MaXianjun LiJiangong SongPublished in: Frontiers Comput. Sci. (2015)
Keyphrases
- safety critical
- high order
- formal model
- real time
- formal methods
- fault tolerant
- safety analysis
- embedded systems
- higher order
- nuclear power plant
- support systems
- pairwise
- low order
- agent architecture
- adaptive systems
- security patterns
- management system
- low cost
- lower order
- decision making
- computer vision
- learning systems
- knowledge based systems
- distributed systems
- data warehouse
- case based reasoning
- image processing
- information systems
- machine learning