【摘 要】
：
针对通信协议进行形式化建模与分析,能够很大程度上提高工控协议的安全性。通过分析开源实时以太网Powerlink的同步、异步阶段的不同通信行为,以及在同步阶段的不同通信模式,
【机 构】
：
国网上海市电力公司电力科学研究院,华东师范大学国家可信嵌入式软件工程技术研究中心,上海赛璞乐电力科技有限公司,上海丰蕾信息科技有限公司
论文部分内容阅读
针对通信协议进行形式化建模与分析,能够很大程度上提高工控协议的安全性。通过分析开源实时以太网Powerlink的同步、异步阶段的不同通信行为,以及在同步阶段的不同通信模式,提出一种利用CSP(Communication Sequential Process)语言对Powerlink协议进行形式化建模的方法。使用该方法能够描述Powerlink在数据链路层上不同节点之间的通信行为,以及描述在随机产生异步请求的情况下,异步阶段的异步请求调度行为。同时,该方法也准确模拟了协议运行过程中,错误处理机制对丢失帧情况
其他文献
目的观察盐酸左布比卡因用于剖宫产术后患者硬膜外隙镇痛的自控镇痛效果、不良反应及对患者术后运动功能和胃肠功能恢复的影响。方法剖宫产术患者（ASAⅠ或Ⅱ级）80例,随机分为治
【正】 实行流动资金责任管理,就是要改革在资金分配和供应上的“大锅饭”,把“包”字引进到资金管理领域,对供、产、销各阶段各环节的资金实行指标分解,分级归口管理,把责权
【正】 1985年9月22日,美国、日本等西方5国财长纽约会议达成了联合干预外汇市场的协议,这是近期资本主义金融领域内的大事件,表明八十年代后半期美日两国货币政策在若干方面
【正】 元月21日至23日,江西省高校学报研究会第四届年会在我院召开。江西大学付校长、学报研究会会长陈正夫代表研究会总结了1987年的工作,表彰奖励了15名优秀学报工作者和2
临床工作中,诊断为骨髓增生异常综合征-RAEB（MDS-RAEB）的病例一般为外周血中白细胞、红细胞两系减少,骨髓有一系或两系呈发育异常的病态造血。单纯贫血诊断的MDS-RAEB并不多见
【正】 社会主义民主较之于资本主义民主,有着无可比拟的优越性。然而,社会主义民主的建设与实现,都需要一个发展完善的过程,不可能一蹴而就。这个过程需要多长,不是人们的主
【正】 货币供应量的属性,到底是内生性变量还是外生性变量,是一个很现实的理论问题。它是论证货币供应量能否以及在多大程度上为中央银行所控制的前提。笔者以为,长期来中国
患者，女，24岁。主因：头晕3d、发作性愣神1d入院，患者于入院前3d无明显诱因出现持续性头晕、头沉、睡眠增多，伴记忆力减退，影响正常工作，不伴其他不适。近1d患者出现发作性愣神，呼之不
电工电子技术作为现代化科技进步的重要支持技术,为电力系统的发展革新带来了新的动力支持。将电工电子技术应用于电力系统中,既能提升电力系统的实际运作效能,又能控制损耗