References of "Seyler, Jan"
     in
Bookmark and Share    
Full Text
Peer Reviewed
See detailTiming verification of real­time automotive Ethernet networks: what can we expect from simulation?
Navet, Nicolas UL; Seyler, Jan; Migge, Jörn

Scientific Conference (2016, January 28)

Switched Ethernet is a technology that is profoundly reshaping automotive communication architectures as it did in other application domains such as avionics with the use of AFDX backbones. Early stage ... [more ▼]

Switched Ethernet is a technology that is profoundly reshaping automotive communication architectures as it did in other application domains such as avionics with the use of AFDX backbones. Early stage timing verification of critical embedded networks typically relies on simulation and worst-case schedulability analysis. When the modeling power of schedulability analysis is not sufficient, there are typically two options: either make pessimistic assumptions or ignore what cannot be modeled. Both options are unsatisfactory because they are either inefficient in terms of resource usage or potentially unsafe. To overcome those issues, we believe it is a good practice to use simulation models, which can be more realistic, along with schedulability analysis. The two basic questions that we aim to study here is what can we expect from simulation, and how to use it properly? This empirical study explores these questions on realistic case-studies and provides methodological guidelines for the use of simulation in the design of switched Ethernet networks. A broader objective of the study is to compare the outcomes of schedulability analyses and simulation, and conclude about the scope of usability of simulation in the design of critical Ethernet networks. [less ▲]

Detailed reference viewed: 213 (5 UL)
Full Text
Peer Reviewed
See detailTiming verification of real-time automotive Ethernet networks: what can we expect from simulation?
Navet, Nicolas UL; Seyler, Jan; Migge, Jörn

Scientific Conference (2015, May 23)

Switched Ethernet is a technology that may profoundly reshape automotive communication architectures as it did in other application domains such as avionics with the use of AFDX backbones. Ethernet is ... [more ▼]

Switched Ethernet is a technology that may profoundly reshape automotive communication architectures as it did in other application domains such as avionics with the use of AFDX backbones. Ethernet is meant in vehicles not only for the support of infotainment applications but also to transmit time-sensitive data used for the real-time control of the vehicle and ADAS functions. In such use-cases, the temporal behavior of the communication architecture must be carefully validated. Early stage timing verification of critical embedded networks typically relies on simulation and worst-case schedulability analysis, which basically consists in building a mathematical model of the worst possible situations that can be encountered at run-time. The two basic questions that we aim to study here is what can we expect from simulation? And how to use it properly? This empirical study explores these questions and provides methodological guidelines for the use of simulation in the design of switched Ethernet networks. A broader objective of the study is to compare the outcomes of schedulability analyses and simulation, and conclude about the scope of usability of simulation in the design of critical Ethernet networks. [less ▲]

Detailed reference viewed: 110 (4 UL)
Full Text
Peer Reviewed
See detailInsights on the Configuration and Performances of SOME/IP Service Discovery
Seyler, Jan; Navet, Nicolas UL; Fejoz, Loïc

in SAE International Journal of Passenger Cars- Electronic and Electrical Systems (2015), 8(1), 124-129

Scalable Service-Oriented Middleware on IP (SOME/IP) is a proposal aimed at providing service-oriented communication in vehicles. SOME/IP nodes are able to dynamically discover and subscribe to available ... [more ▼]

Scalable Service-Oriented Middleware on IP (SOME/IP) is a proposal aimed at providing service-oriented communication in vehicles. SOME/IP nodes are able to dynamically discover and subscribe to available services through the SOME/IP Service Discovery protocol (SOME/IP SD). In this context, a key performance criterion to achieve the required responsiveness is the subscription latency that is the time it takes for a client to subscribe to a service. In this paper we provide a recap of SOME/SD and list a number of assumptions based on what we can foresee about the use of SOME/IP in the automotive domain. Then, we identify the factors having an effect on the subscription latency, and, by sensitivity analysis, quantify their importance regarding the worst-case service subscription latency. The analysis and experiments in this study provide practical insights into how to best configure SOME/IP SD protocol. [less ▲]

Detailed reference viewed: 325 (0 UL)
Full Text
Peer Reviewed
See detailFormal Analysis of the Startup Delay of SOME/IP Service Discovery
Seyler, Jan; Streichert, Thilo; Glaß, Michael et al

in Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition (2015)

An automotive network needs to start up within the millisecond range. This includes the physical startup, the software boot time, and the configuration of the network. The introduction of Ethernet into ... [more ▼]

An automotive network needs to start up within the millisecond range. This includes the physical startup, the software boot time, and the configuration of the network. The introduction of Ethernet into the automotive industry expanded the design space drastically and is increasing the complexity of configuring every element in the network. To add more flexibility to automotive Ethernet networks, the concept of Service Discovery was migrated from consumer electronics to AUTOSAR within the SOME/IP middleware. A network is not fully functional until every client has found its service. Consequently, this time interval adds to the startup time of a network. This work presents a formal analysis model to calculate the waiting time of every client to receive the first offer from its service. The model is able to determine the worst case of a given parameter set. Based on this, a method for calculating the total startup time of a system is derived. The model is implemented in a free-to-use octave program and validated by comparing the analytical results to a timing-accurate simulation and an experimental setup. In every case the worst-case assumption holds true -- the gap between the maximum of the simulation and the presented method is less than 1.3%. [less ▲]

Detailed reference viewed: 126 (1 UL)