DocumentCode
2008755
Title
Modelling and analysis of the ARINC specification 629 CP MAC layer protocol
Author
Gallon, Laurent ; Juanole, Guy ; Blum, I.
Author_Institution
Lab. d´Autom. et d´Anal. des Syst., CNRS, Toulouse
fYear
1997
fDate
1-3 Oct 1997
Firstpage
91
Lastpage
100
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
Keywords
Petri nets; access protocols; formal specification; scheduling; stochastic processes; telecommunication computing; telecommunication control; ARINC specification 629 CP MAC layer protocol; fault tolerance properties; real time systems; stochastic timed Petri nets; time constraints; timers; transmitter control; transmitter scheduler; Access protocols; Electronic mail; Fault tolerance; Job shop scheduling; Media Access Protocol; Petri nets; Radio transmitters; Real time systems; Stochastic processes; Time factors;
fLanguage
English
Publisher
ieee
Conference_Titel
Factory Communication Systems, 1997. Proceedings. 1997 IEEE International Workshop on
Conference_Location
Barcelona
Print_ISBN
0-7803-4182-1
Type
conf
DOI
10.1109/WFCS.1997.634288
Filename
634288
Link To Document