关键词: 可调度性分析 时间自动机 控制器局域网络 时序逻辑 模型检查

Abstract:

The Control Area Network（CAN） is being widely used in real-time networked control systems such as automobiles, aircraft, and process control. The CAN network can transfer both periodic and aperiodic real-time messages. All the messages must be properly scheduled on the network so that real-time mess ages meet their deadlines. Based on timed automata, a rigorous schedulability analysis method of the CAN network with aperiodic real-time messages is de veloped in the paper.

Key words: schedulability analysis, timed automata, controller area network, temporal logic ;model chec king