Automotive Ethernet; Some/IP Service Discovery; schedulability analysis
Abstract :
[en] 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%.
Navet, Nicolas ; University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Teich, Jürgen; University of Erlangen-Nuremberg
External co-authors :
yes
Language :
English
Title :
Formal Analysis of the Startup Delay of SOME/IP Service Discovery
Publication date :
2015
Event name :
Design, Automation & Test in Europe Conference & Exhibition (Date 2015)
Event place :
Grenoble, France
Event date :
from 09-03-2015 to 13-03-2015
Audience :
International
Main work title :
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition
A BOTTARO et al. "Dynamic Web Services on a Home Service Platform". In: Proc. of AINA. Mar. 2008, pp. 378385
Robert I DAVIS et al. "Controller Area Network (CAN) schedulability analysis: Refuted, revisited and revised". In: Real-Time Systems 35.3 (2007), pp. 239-272
Jonas DlEMER, Daniel THIELE, and Rolf ERNST. "Formal worst-case timing analysis of ethernet topologies with strict-priority and AVB switching". In: Proc. of SIES. IEEE. 2012, pp. 1-10
J-P GEORGES, Thierry Divoux, and Eric RONDEAU. "Strict Priority versus Weighted Fair Queueing in Switched Ethernet networks for time critical applications". In: Proc. of IPDPS. IEEE. 2005, pp. 141-141
Erik GUTTMAN. "Service location protocol: Automatic discovery of IP network services". In: Internet Computing, IEEE 3.4 (1999), pp. 71-80
Helal S. Standards for service discovery and delivery Pervasive Computing, IEEE 1.
Sumi HELAL. "Standards for service discovery and delivery". In: Pervasive Computing, IEEE 1.3 (2002), pp. 95100
Rank HENIA et al. "System level performance analysis\-The SymTA/S approach". In: IEE Proceedings-Computers and Digital Techniques 152.2 (2005), pp. 148-166
Andreas KERN. "Ethernet and IP for Automotive E/E-Architectures". PhD Thesis. Friedrich-Alexander-Universitat Erlangen-Nurnberg, Germany, 2012
Andreas KERN et al. "Gateway strategies for embedding of automotive CAN-frames into ethernet-packets and vice versa". In: ARCS (2011), pp. 259-270
Joern MlGGE and Nicolas NAVET. RTaW-Pegase: analyzing AFDX &switched Ethernet networks. Oct. 2014. URL: http: / /www. realtimeatwork. com /software /rtaw-pegase
Robert B MILLER. "Response time in man-computer conversational transactions". In: Proc. of the joint computer conference. 1968, pp. 267-277
Rene QUECK. "Analysis of ethernet avb for automotive networks using network calculus". In: Proc. of ICVES. IEEE. 2012, pp. 61-67
Kasper REVSBECH et al. "Worst-case traversal time modelling of Ethernet based in-car networks using real time calculus". In: Smart Spaces and Next Generation Wired/Wireless Networking. Springer, 2011, pp. 219-230
Kai RlCHTER, Marek JERSAK, and Rolf ERNST. "A formal approach to MpSoC performance verification". In: Computer 36.4 (2003), pp. 60-67
Simon SCHLIECKER et al. "System level performance analysis for real-time automotive multicore and network architectures". In: IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems 28.7 (2009), pp. 979-992
Daniel THIELE et al. "Improved formal worst-case timing analysis of weighted round robin scheduling for ethernet". In: Proc. of CODES+ ISSS. IEEE. 2013, pp. 1-10
Daniel THIELE et al. "Improving Formal Timing Analysis of Switched Ethernet by Exploiting Traffic Stream Correlations". In: Proc. of CODES+ISSS. 2014
Lothar THIELE, Samarjit CHAKRABORTY, and Martin NAEDELE. "Real-time calculus for scheduling hard realtime systems". In: Circuits and Systems, 2000. Proceedings. ISCAS 2000 Geneva. The 2000 IEEE International Symposium on. Vol. 4. IEEE. 2000, pp. 101-104