For the most recent entries see the Petri Nets Newsletter.

An availability model for avionic data bus.

Gabillon, Alban; Gallon, Laurent

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.

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography