实时网络的网络工程外文文献Network engineering for real-time networks_ Comparison of automotive and aeronautic industries approaches.pdfVIP

AutomotIve networkIng And APPlIcAtIons Network Engineering for Real-Time Networks: Comparison of Automotive and Aeronautic Industries Approaches Fabien Geyer and Georg Carle With the advent of AbstrAct methods used for the design of hard real-time safety-critical distributed avionic systems. This electronic x-by-wire With the advent of electronic x-by-wire appli- comparison between the two industries highlights applications with strict cations with strict reliability and safety require- fundamental differences in terms of technology reliability and safety ments, formal verification of safety-critical and choice of formal methods used. This com- requirements, formal networks has become an important step of the parison is especially relevant now that the auto- verification of design process in the automotive and aeronau- motive industry is extending its use of Ethernet, tic industries. We first review in this article the from initially only infotainment purposes to now safety-critical networks different network technologies and architectures hard real-time functionalities, a technology that has become an used by both industries. We then present and has been used and put to the test by the aeronau- important step of the compare the two prevailing mathematical frame- tics industry for more than a decade. design process in the works used by each industry for validating the We propose to evaluate the two domin