• FlexRay ECU mission critical parameters measurement 

      Autor: Sobotka J.; Novák J.
      (Elsevier, 2017)
      Network operation of FlexRay Electronic Control Unit (ECU) in passenger cars is influenced by the significant number of parameters that have to be written into the ECU FlexRay controller. To keep the FlexRay network robust, ...
    • Relation between Test Coverage and Timed Automata Model Structure 

      Autor: Krejčí L.; Sobotka J.; Novák J.
      (Springer International Publishing, 2021)
      This paper deals with problematics of structure of Timed Automata models suitable for Model-Based Testing of automotive systems. Previous ex-periments, primarily focused on the environmental models, have shown that their ...