Analyzing end-to-end functional delays on an IMA platform

Authors:
Michaë Lauer;Jérôme Ermont;Claire Pagetti;Frédéric Boniol
Affiliations:
Université de Toulouse, IRIT, INPT, ENSEEIHT;Université de Toulouse, IRIT, INPT, ENSEEIHT;Université de Toulouse, IRIT, INPT, ENSEEIHT and Université de Toulouse, IRIT, INPT, ENSEEIHT and Université de Toulouse, ONERA;Université de Toulouse, ONERA
Venue:
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Year:
2010

Citing 7
Cited 1

A theory of timed automata

Theoretical Computer Science
On the way to a distributed systems calculus: an end-to-end network calculus with data scaling

SIGMETRICS '06/Performance '06 Proceedings of the joint international conference on Measurement and modeling of computer systems
Methods for bounding end-to-end delays on an AFDX network

ECRTS '06 Proceedings of the 18th Euromicro Conference on Real-Time Systems
A formal framework for verifying distributed embedded systems based on abstraction methods

International Journal on Software Tools for Technology Transfer (STTT)
Efficient implementation of tight response-times for tasks with offsets

Real-Time Systems
Analytic real-time analysis and timed automata: a hybrid method for analyzing embedded real-time systems

EMSOFT '09 Proceedings of the seventh ACM international conference on Embedded software
Applying and optimizing Trajectory approach for performance evaluation of AFDX avionics network

ETFA'09 Proceedings of the 14th IEEE international conference on Emerging technologies & factory automation

Combining network calculus and scheduling theory to improve delay bounds

Proceedings of the 20th International Conference on Real-Time and Network Systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.