Freshness analysis of functional sequences in launchers

摘要

Nowadays, many embedded systems use specific data buses to guarantee the exchange of data. The next generation of space applications is moving to components off-the-shelf (COTS) technology as switched Ethernet network in order to reduce the financial cost, being attentive to the mass. However, performance should be gained without sacrificing the reliability and the properties that enabled a tele-monitoring. This paper focuses on how to obtain a single traffic capture file that will be sent over ground-board communications and how to test later the freshness requirement satisfaction. A freshness formalization is proposed as well as a freshness verification algorithm based on the analysis of single trace captured using multicast communications. An experimental evaluation has been leaded in nominal and link failure cases.