Modeling FlexRay macrotick generation process using Coloured Petri Nets | IEEE Conference Publication | IEEE Xplore

Modeling FlexRay macrotick generation process using Coloured Petri Nets


Abstract:

This article is a presentation of the macrotick generation process of FlexRay communication Controller and description techniques that address modeling and analysis of a ...Show More

Abstract:

This article is a presentation of the macrotick generation process of FlexRay communication Controller and description techniques that address modeling and analysis of a specification description language diagram using Coloured Petri Nets. The aim of this paper is to provide a method to transform the behavior described by a specification description language diagram into a Coloured Petri Nets.The transformation allows to reproduce the expected scenarios and thus validate them.
Date of Conference: 25-29 June 2018
Date Added to IEEE Xplore: 30 August 2018
ISBN Information:
Electronic ISSN: 2376-6506
Conference Location: Limassol, Cyprus

References

References is not available for this document.