摘要:提出了时间Petri 网的混合语义模型,通过在变迁及其非冲突变迁集的最小上界处设置强制实施点,排除冲突变迁对变迁可实施性的影响,达到既能扩大模型调度范围又可保证任务调度时限性的目的,以解决现有语义模型在调度分析上的缺陷.进一步证明了混合语义模型的图灵等价性及标识可达性问题的不可判定性,然后界定了3 种语义模型的时间语言接受能力.最后提出了状态类分析方法,用于模型的可调度性分析和时间计算,并以一个柔性制造系统为例,比较和验证了3 种语义模型的调度分析能力.

摘要:随着实时计算技术日益广泛应用于航空航天、国防及交通运输等安全关键领域,多类型的同步实时、异步实时和非实时网络传输需求给现场网络提出了新的目标和挑战,其中安全关键实时网络的实现方式与调度分析是需要解决的关键问题.在分析、总结现有COTS网络技术不足之处的基础上,基于事件触发与时间触发,提出了一种基于Ethernet技术的高可靠实时通信协议E&TTE(event- and time-triggered Ethernet),使实时网络不但具有较高的灵活性,而且具有较好的可预测性.为证明E&TTE协议的合理性与可行性,建立了网络调度模型,进行了全局调度分析,并通过具体实例进行了例证.E&TTE协议的提出,满足了安全关键实时网络的多种传输需求,同时也可广泛应用于工业现场控制网络.