Academic
Publications
Latency and freshness analysis on IMA systems

Latency and freshness analysis on IMA systems,10.1109/ETFA.2011.6059017,Michael Lauer,Jerome Ermont,Frederic Boniol,Claire Pagetti

Latency and freshness analysis on IMA systems  
BibTex | RIS | RefWorks Download
The Integrated Modular Avionics (IMA) architectures have been dened for sharing communication and computation resources. The aim of this paper is to evaluate latency and freshness properties of functions implemented on IMA platforms. The two contributions are : (1) a modeling approach for IMA platforms based on the tagged signal model and the abstraction of the network, (2) the denition of an evaluation method for these properties based on Integer Linear Programming (ILP). The industrial applicability of the method is showed on an Airbus A380-like platform. We propose a discussion on the signicance of the over-approximations induced by the abstraction. This work is supported by the French National Research Agency within the Satrimmap project 1 .
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.