文章基本信息

标题：Freshness analysis of functional sequences in launchers * * Co-founded study by CNES and CRAN in the frame of CNES Launchers’ Research and Technology program.
本地全文：下载
作者：Dorine Petit ; Dorine Petit ; Jean-Philippe Georges 等
期刊名称：IFAC PapersOnLine
印刷版ISSN：2405-8963
出版年度：2016
卷号：49
期号：30
页码：80-85
DOI：10.1016/j.ifacol.2016.11.131
语种：English
出版社：Elsevier
摘要：Abstract: 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.
关键词：KeywordsObservabilityfreshnessswitched networktele-monitoringspace vehicles