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

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

Authors

Paulo Portugal (Author) FEUP; Adriano Carvalho (Author) FEUP; Francisco Vasques (Author) FEUP

Conference proceedings International

Title: Proceedings 5th IFAC International Conference on Fieldbus Systems and their Applications

Pages: 150-157

FeT 2005 - 5th IFAC International Conference on Fieldbus Systems and their Applications

Indexing

Scopus

Scientific classification

FOS: Engineering and technology > Electrical engineering, Electronic engineering, Information engineering

Other information

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.

Language: English

Type (Professor's evaluation): Scientific

No. of pages: 8