Latency and freshness analysis on IMA systems

The Integrated Modular Avionics (IMA) architectures have been defined 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 definition 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 significance of the over-approximations induced by the abstraction. This work is supported by the French National Research Agency within the Satrimmap project1.

[1]  Edward A. Lee,et al.  Comparing models of computation , 1996, ICCAD 1996.

[2]  Paul Prisaznuk,et al.  ARINC Specification 653, Avionics Application Software Standard Interface , 2006, Avionics.

[3]  Frédéric Boniol,et al.  Safe allocation of avionics shared resources , 2005, Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05).

[4]  Wolfram Koepf,et al.  Lecture Notes in Computer Science (LNCS) , 2011 .

[5]  Christian Fraboul,et al.  Applying and optimizing trajectory approach for performance evaluation of AFDX avionics network , 2009, 2009 IEEE Conference on Emerging Technologies & Factory Automation.

[6]  Lothar Thiele,et al.  Real-time calculus for scheduling hard real-time systems , 2000, 2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353).

[7]  Steven Martin,et al.  Schedulability analysis of flows scheduled with FIFO: application to the expedited forwarding class , 2006, Proceedings 20th IEEE International Parallel & Distributed Processing Symposium.

[8]  Olivier Brun,et al.  Partition Scheduling on an IMA Platform with Strict Periodicity and Communication Delays , 2010 .

[9]  Wilton R. Abbott,et al.  Network Calculus , 1970 .

[10]  Jérôme Ermont,et al.  Analyzing End-to-End Functional Delays on an IMA Platform , 2010, ISoLA.

[11]  Frédéric Boniol,et al.  A formal framework for verifying distributed embedded systems based on abstraction methods , 2006, International Journal on Software Tools for Technology Transfer.