engleski

Modeling Bus Communication Protocols Using Timed Colored Petri Nets — The Controller Area Network Example

Engineers in industry usually design new systems based on earlier experience and available development tools. Unfortunately, software tools that enable industrial users insight into systems’ inner behavior before the production, are still not in everyday use. However, such tools, when used properly, can save both time and money. In this paper a system based on Controller Area Network is modeled using timed colored Petri nets. This system is verified for the desired properties and then it is validated. Validation is done using two real-life vehicle control units used in light rail applications. The results, as well as possible future use of the model, are presented.

Controller Area Network; timed colored Petri net; modeling; simulation; verification; validation

nije evidentirano