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
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;
Conference_Titel :
Factory Communication Systems, 1997. Proceedings. 1997 IEEE International Workshop on
Conference_Location :
Barcelona
Print_ISBN :
0-7803-4182-1
DOI :
10.1109/WFCS.1997.634288
