基于CAN的网络控制系统消息等待时间研究

网络时延的不确定性是网络控制系统(NCS)分析与设计面临的首要问题,目前多采用试验统计法进行研究,但该方法无法用于NCS早期设计。文中借鉴实时系统任务调度理论,针对基于CAN的NCS,采用理论分析法,对网络时延动态变化的主体-消息等待时间进行研究。首先,明确了基于CAN的NCS消息等待时间研究是一种固定优先级的非抢占式调度问题,并给出相应的模型描述;接着,对NCS关注的消息最差情况等待时间,分别确定了连续调度和离散调度两类计算公式;最后,通过具体算例,分析和对比了两类公式的优缺点。研究表明,理论分析法简单、可行,可用于NCS早期设计,为后续设计提供有益指导。

航空电子安全关键系统BUFFER空间分析

BUFFER空间分析是安全关键系统验证的重要组成部分,涉及到系统排队理论。通过对一般Buffer队列和周期任务Buffer进行了分析,并对BUFFER空间实例进行了验证,可缩短Buffer消息等待时间,增大Buffer共享的最大消息数,为航空电子安全关键系统BUFFER空间分析提供了可供参考的依据。