Analytic model of FlexRay synchronization mechanism
Jan Sobotka, Jiří Novák, Jan Malinský · 2011
FlexRay is an incoming standard for automotive distributed systems. For safety critical applications like x-by-wire systems it is necessary to develop techniques for their verification and validation. This paper presents a model of FlexRay Synchronization Mechanism, validation of this model and offers its usage for validation of parameters of synchronization mechanism in real FlexRay networks.