Formal analysis of the startup delay of SOME/IP service discovery

Beitrag bei einer Tagung
(Konferenzbeitrag)


Details zur Publikation

Autor(en): Seyler J, Streichert T, Glaß M, Navet N, Teich J
Verlag: Institute of Electrical and Electronics Engineers Inc.
Jahr der Veröffentlichung: 2015
Tagungsband: Proceedings of Design, Automation and Test in Europe (DATE 2015)
Seitenbereich: 49-54
ISBN: 9783981537048


Abstract


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%.



FAU-Autoren / FAU-Herausgeber

Glaß, Michael Prof. Dr.-Ing.
Juniorprofessur für Informatik
Streichert, Thilo Dr.
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)
Teich, Jürgen Prof. Dr.-Ing.
Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)


Autor(en) der externen Einrichtung(en)
University of Luxembourg


Zitierweisen

APA:
Seyler, J., Streichert, T., Glaß, M., Navet, N., & Teich, J. (2015). Formal analysis of the startup delay of SOME/IP service discovery. In Proceedings of Design, Automation and Test in Europe (DATE 2015) (pp. 49-54). Grenoble, FR: Institute of Electrical and Electronics Engineers Inc..

MLA:
Seyler, Jan, et al. "Formal analysis of the startup delay of SOME/IP service discovery." Proceedings of the 2015 Design, Automation and Test in Europe Conference and Exhibition, DATE 2015, Grenoble Institute of Electrical and Electronics Engineers Inc., 2015. 49-54.

BibTeX: 

Zuletzt aktualisiert 2018-23-11 um 06:08