ARINC规范629 CP MAC层协议的建模与分析

Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97 Pub Date : 1997-10-01 DOI:10.1109/WFCS.1997.634288

L. Gallon, G. Juanole, I. Blum

{"title":"ARINC规范629 CP MAC层协议的建模与分析","authors":"L. Gallon, G. Juanole, I. Blum","doi":"10.1109/WFCS.1997.634288","DOIUrl":null,"url":null,"abstract":"The main concepts and the architecture of the 629 CP ARINC protocol are presented. The emphasis is put on the transmitter scheduler with its two main parts: the timers and the transmitter control. The protocol (which includes a lot of time constraints) is modelled with stochastic timed Petri nets. Its real time and fault tolerance properties are demonstrated.","PeriodicalId":433593,"journal":{"name":"Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"1997-10-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"7","resultStr":"{\"title\":\"Modelling and analysis of the ARINC specification 629 CP MAC layer protocol\",\"authors\":\"L. Gallon, G. Juanole, I. Blum\",\"doi\":\"10.1109/WFCS.1997.634288\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"The main concepts and the architecture of the 629 CP ARINC protocol are presented. The emphasis is put on the transmitter scheduler with its two main parts: the timers and the transmitter control. The protocol (which includes a lot of time constraints) is modelled with stochastic timed Petri nets. Its real time and fault tolerance properties are demonstrated.\",\"PeriodicalId\":433593,\"journal\":{\"name\":\"Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"1997-10-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"7\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/WFCS.1997.634288\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/WFCS.1997.634288","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 7

摘要

介绍了629 CP ARINC协议的主要概念和体系结构。重点介绍了发射机调度器的两个主要部分:定时器和发射机控制。该协议(包含大量时间约束)采用随机定时Petri网建模。验证了其实时性和容错性。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Modelling and analysis of the ARINC specification 629 CP MAC layer protocol

The main concepts and the architecture of the 629 CP ARINC protocol are presented. The emphasis is put on the transmitter scheduler with its two main parts: the timers and the transmitter control. The protocol (which includes a lot of time constraints) is modelled with stochastic timed Petri nets. Its real time and fault tolerance properties are demonstrated.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

Proceedings 1997 IEEE International Workshop on Factory Communication Systems. WFCS'97

自引率

0.00%

发文量