Model of Mac Sub-Layer of a Can Protocol by Using Hierarchical Coloured Petri Net

Summary


This article presents a design of model of the medium access control (MAC) of a sub-layer of a Controller Area Network (CAN) protocol (CAN is the most widely used in-vehicle network). The model is created via hierarchical Coloured Petri Nets. For better clarity and comprehension, the wide created model is divided into submodules. An application CPN Tools, developed by the CPN group at the University of Aarhus (Denmark), is used as a modelling tool. This model expresses the whole CAN's fault confinement mechanisms and the other functions of MAC sub-layer such as data encapsulation, frame coding (stuffing/de-stuffing), medium access management and acknowledgement. Functionality of the originally created model was tested by a series of ad hoc simulations in the model environment. The assets of the model mentioned before are discussed at the end of the article.

See the full content of this document

Extract


Model of Mac Sub-Layer of a Can Protocol by Using Hierarchical Coloured Petri Net

1. Introduction

Petri nets are proven methods to design and to verify communication protocols. They provide the following abilities: modelling at different levels of abstraction, capturing the concurrent behaviour inherent in communication protocols, and formally analysing them. This fact can give a high degree of confidence in the protocol specification and design, which is very important given that protocols are an integral part of the telecommunications, computing and automotive infrastructure.

The aim of this article is to design a model of the medium access control (M AC) of a sub-layer of a Controller Area Network (CAN) protocol via Coloured Petri Net (CPN) [4].

The CAN is, no doubt, the most widely used in-vehicle network and in the other applications [9] , with in excess of 400 million CAN enabled microcontrollers manufactured each year. The CAN was designed by Robert Bosch GmbH in the mid 80's for multiplexing communication between ECUs in vehicles, and thus also for decreasing the overall wire harness: length of wires and number of dedicated wires.

The bus access method used in the CAN is a non-destructive, bit-wise arbitration, called Carrier Sense Multiple Access with Collision Detection and Arbitration on Message Priority (CSMA/CD + AMP) [2].

2. Methods of Processing

We decided to design and verify a CPN model of MAC sub-layer of a CAN bus using the CSMA/CD+AMP access protocol. For this purpose, CPN Tools seems most suitable as a mode...

See the full content of this document

Sponsored links




ver las páginas en versión mobile | web

ver las páginas en versión mobile | web

© Copyright 2012, vLex. All Rights Reserved.

Contents in vLex Germany

Explore vLex

For Professionals

For Partners

Company