In: N. Busi and F. Martinelli (Eds.): Workshop on Issues in Security and Petri Nets (WISP'03). University of Eindhoven, The Netherlands, 2003.
Abstract: In this paper we first define a formal availability model for avionic data bus protocols. Our model includes an availability policy and some security properties that such protocols should enforce. Then, we consider a particular data bus protocol for avionic system: ARINC 629 BP [AR629]. We use Stochastic Timed Petri Nets to test whether ARINC 629 BP conforms to our security policy and we show that it does not violate the security properties.
Back to the Petri Nets Bibliography