Abstract (EN):
This chapter reviews a dependability model for evaluation of the behavior of a CAN network in situations of transient faults, which affect the data communications. The fault occurrence can be modeled by a Markov Modulated Poisson Process (MMPP), which is capable of describing the typical behavior of the electromagnetic interferences (EMI) that occur in the industrial environments. An accurate and efficient representation of the network behavior is achieved by adopting a set of assumptions that reduces the pessimism level and are closer to the real operating conditions. The model used for analysing the dependability evaluation is based on the Stochastic Petri Nets, which are a high-level modeling formalism able to produce very compact and efficient models, supporting both the analytical and simulation solutions. Dependability measures are established from the achievement of the real-time constraints (deadlines) defined on the messages exchanged among the network nodes. The chapter concludes by reviewing a case study that is proposed to assess both the model performance and the network dependability.
Language:
English
Type (Professor's evaluation):
Scientific
No. of pages:
8