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

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

Autores

Paulo Portugal (Autor) FEUP; Carvalho, A (Autor) Outra; Francisco Vasques (Autor) FEUP

Ata de Conferência Internacional

Título: IFAC Proceedings Volumes (IFAC-PapersOnline)

Páginas: 150-157

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

Prague, 3 July 2005 through 8 July 2005

Indexação

Scopus - 3 Citações

Outras Informações

ID Authenticus: 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.

Idioma: Inglês

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