A model based on a stochastic petri net approach for dependability evaluation of controller area networks

• Type: Article in International Conference Proceedings Book
• Date: 2005

Authors

Paulo Portugal (Author) FEUP; Carvalho, A (Author) Other; Francisco Vasques (Author) FEUP

Conference proceedings International

Title: IFAC Proceedings Volumes (IFAC-PapersOnline)

Pages: 150-157

16th Triennial World Congress of International Federation of Automatic Control, IFAC 2005

Prague, 3 July 2005 through 8 July 2005

Indexing

Scopus - 3 Citations

Other information

Authenticus ID: P-00M-X0E

DOI: 10.3182/20051114-2-mx-3901.00022

Abstract (EN): The paper proposes a dependability model to evaluate the behavior of a CAN network in scenarios of transient faults which affect data communications. Fault occurrence is modeled by a Markov Modulated Poisson Process (MMPP) which is capable to describe the typical behavior of electromagnetic interferences (EMI) that occur in industrial environments. An accurate and efficient representation of the network behavior is achieved by adopting a set of assumptions that reduce the pessimism level and which are closer to the real operating conditions. The model is based on Stochastic Petri Nets, which are a high-level modeling formalism able to produce very compact and efficient models, supporting both analytical and simulation solutions. Dependability measures are established from the fulfillment of the real-time constraints (deadlines) defined on messages exchanged between network nodes. Analytical and simulation solutions are both investigated. A case study is proposed to asses both model performance and network dependability. Copyright © 2005 IFAC.

Language: English

Type (Professor's evaluation): Scientific