安全关键信息物理系统的时序可预测性 (Temporal Predictability in Safety Critical Cyber Physical System).
Xi LiBeilei SunBo WanXianglan ChenXuehai ZhouPublished in: 计算机科学 (2017)
Keyphrases
- safety critical
- cyber physical systems
- embedded systems
- formal methods
- agent architecture
- fault tolerant
- safety analysis
- temporal information
- temporal reasoning
- support systems
- artificial intelligence
- cyber security
- temporal constraints
- low cost
- mobile agents
- intelligent agents
- user interface
- adaptive systems
- databases
- real time