Modelling and analysis of the ARINC specification 629 CP MAC layer protocol - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1997

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

Résumé

The main concepts and the architecture of the 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
Fichier non déposé

Dates et versions

hal-00349404 , version 1 (30-12-2008)

Identifiants

Citer

Laurent Gallon, Isabelle Blum, Guy Juanole. Modelling and analysis of the ARINC specification 629 CP MAC layer protocol. 2nd IEEE International Workshop on Factory Communication Systems (WFCS'97), Oct 1997, Barcelona, Spain. p 91-100, ⟨10.1109/WFCS.1997.634288⟩. ⟨hal-00349404⟩
81 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More