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

• Tipo: Artigo em Livro de Atas de Conferência Internacional
• Data: 2005

Autores

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

Ata de Conferência Internacional

Título: Proceedings 5th IFAC International Conference on Fieldbus Systems and their Applications

Páginas: 150-157

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

Indexação

Scopus

Classificação Científica

FOS: Ciências da engenharia e tecnologias > Engenharia electrotécnica, electrónica e informática

Outras Informações

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.

Idioma: Inglês

Tipo (Avaliação Docente): Científica

Nº de páginas: 8