The Integrated Modular Avionics (IMA) platform is the latest generation of embedded architecture, in which functions share both the execution and communication resources. Functions execute in predefined time slots and communicate through an AFDX network. The purpose of the analysis presented is the verification of freshness requirements on the data exchanged between IMA applications. The two contributions of this paper are : (1) a modeling approach for IMA platforms based on networks of timed automata. For small models, it is possible to compute exact evaluation of temporal properties using symbolic reachability analysis, (2) the collaborative use of efficient methods for worst case traversal time (WCTT) computation on the AFDX network, which results are injected in the timed automata model to help the functional analysis. © 2010 Springer-Verlag.
CITATION STYLE
Lauer, M., Ermont, J., Pagetti, C., & Boniol, F. (2010). Analyzing end-to-end functional delays on an IMA platform. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6415 LNCS, pp. 243–257). https://doi.org/10.1007/978-3-642-16558-0_21
Mendeley helps you to discover research relevant for your work.