English (United Kingdom)

https://curated-unify.zendy.io/wp-json/zendy-region/v1/featured_content/oa?rat=en

https://curated-unify.zendy.io/wp-json/zendy-region/v1/highlighted_journal/

Global: Zendy Tools annual

Presents the keyphrase highlighting as premium feature

Keyphrase Highlighting

Presents the summarisation as premium feature

Summarisation

Insights

Presents the pdf analysis as premium feature

PDF Analysis

Presents the zaia usage as premium feature

ZAIA

Global: Zendy Tools monthly

Global: Zendy Plus monthly

Presents the access of premium content as premium feature

Premium Content

Global: Zendy Plus annual

Global: Zendy Free Plan

Communication between devices in avionics systems must be predictable anddeterministic, and data must be delivered reliably. To help the systemarchitects comply with these requirements, network protocol standards likeARINC 429 and AFDX were created. Even though the behaviour of each component ina network is well defined, it is still necessary to test extensively everyapplications before deployment. But physical test benches used in the aircraftdevelopment process are complex and expensive platforms. In order to limit theneed for physical tests, we propose a time-accurate middleware for virtualizingcommunication protocols that can be used to replace physical tests withsimulations. We specified three formal models of AFDX networks that take intoaccount temporal constraints with different levels of precision. We alsodeveloped a prototype for a network virtualization middleware based on the AFDXprotocol specification that provides an easy-to-setup environment for testingnetwork configurations. Finally, we used formal models together withvirtualization in order to define runtime monitors for checking whether thebehavior of the middleware is time-accurate with respect to a real system.

Time-accurate Middleware for the Virtualization of Communication Protocols