Model Checking the FlexRay Startup Phase

  title={Model Checking the FlexRay Startup Phase},
  author={Sjoerd Cranen},
This report describes a discrete-time model of the startup phase of a FlexRay network. The startup behaviour of this network is analysed in the presence of several faults. It is shown that in certain cases a faulty node can prevent the network from communicating altogether. One previously unknown scenario is uncovered. 

From This Paper

Topics from this paper.
8 Citations
21 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 21 references


  • S. Blom
  • van de Pol, and M. Weber. Ltsmin: Distributed and…
  • 2010
1 Excerpt

Verification of flexray start-up mechanism by timed automata

  • J. Malinský, J. Novák
  • Metrology and Measurement Systems, XVII(3):461…
  • 2010
2 Excerpts

and M

  • J. F. Groote, A. Mathijssen, M. A. Reniers, Y. S. Usenko
  • van Weerdenburg. Analysis of distributed systems…
  • 2009
1 Excerpt


  • J. F. Groote, J.J.A. Keiren, +4 authors Y. Usenko
  • van Weerdenburg, W. Wesselink, T.A.C. Willemse…
  • 2008
1 Excerpt

The application of the timed automata for flexray start-up testing

  • J. Malinský
  • In Proceedings of the 13th Workshop on ADC…
  • 2008
1 Excerpt

Similar Papers

Loading similar papers…