SCPN modeling and comparative performance evaluation of bussed and crossbar-based switched fabric CAN

Abstract In recent years, there has been a growth in a category of performance-critical distributed embedded systems and applications. These systems gain complexity when they are equipped with many microcontrollers which oversee many electronic control units (ECU). High performance and predictability are the main criteria of choice for any large-scale networked system dependent on real-time data processing and analysis. Switched-fabric networks can provide fast and highly scalable hardware solutions and are now being increasingly used in distributed systems. In this paper, SCPN models of switched fabric and bussed CAN network are presented using timed colored Petri nets. These models are then evaluated and verified for the desired properties using CPN Tools. Comparison is then applied to both of the models to extract information on network performance metrics.

[1]  A. Spiteri Staines,et al.  Supporting Requirements Engineering With Different Petri Net Classes , 2010 .

[2]  N. Peric,et al.  Modeling Controller Area Network Communication , 2007, 2007 5th IEEE International Conference on Industrial Informatics.

[3]  Cui Lian-cheng,et al.  Real Time Performance Analysis of CAN Bus Based on TimeNET , 2008, 2008 3rd International Conference on Innovative Computing Information and Control.

[4]  Grzegorz Rozenberg,et al.  High-level Petri Nets: Theory And Application , 1991 .

[5]  Balaji Prabhakar,et al.  Matching Output Queueing with Combined Input and Output Queueing , 1999 .

[6]  Yi-Bo Liao,et al.  BMAS 2007 , 2007 .

[7]  Adnan Aziz,et al.  Implementation of an On-chip Interconnect Using the i-SLIP Scheduling Algorithm , 2006 .

[8]  Kurt Jensen.  Coloured Petri Nets , 1992, EATCS Monographs in Theoretical Computer Science.

[9]  Tara Javidi,et al.  A high-throughput scheduling algorithm for a buffered crossbar switch fabric , 2001, ICC 2001. IEEE International Conference on Communications. Conference Record (Cat. No.01CH37240).

[10]  Mahmut Tenruh,et al.  Message scheduling with reduced matrix cycle and evenly distributed sparse allocation for time-triggered CAN , 2011, J. Netw. Comput. Appl..

[11]  Michael Westergaard,et al.  CPN Tools for Editing, Simulating, and Analysing Coloured Petri Nets , 2003, ICATPN.

[12]  Deng Pan,et al.  Providing flow based performance guarantees for buffered crossbar switches , 2008, 2008 IEEE International Symposium on Parallel and Distributed Processing.

[13]  Reinhard Reichel,et al.  Enabling FlexRay for avionic data buses , 2009, 2009 IEEE/AIAA 28th Digital Avionics Systems Conference.

[14]  Peter Huber,et al.  Hierarchies in coloured Petri nets , 1991, Applications and Theory of Petri Nets.

[15]  M. Valle,et al.  A mixed-mode behavioral model of a Controller-Area-Network bus transceiver: a case study , 2007, 2007 IEEE International Behavioral Modeling and Simulation Workshop.

[16]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .