Automatic implementation of TTEthernet-based time-triggered avionics applications

Raul Adrian Gorcitz 1 Thomas Carle 2 David Lesens 3 David Monchaux 1 Dumitru Potop-Butucaru 4 Yves Sorel 4
1 CNES - Centre National d'Etudes Spatiales - Direction Des Lanceurs.
2 Brown University
3 Airbus Defense and Space
4 AOSTE - Models and methods of analysis and optimization for systems with real-time and embedding constraints
CRISAM - Inria Sophia Antipolis - Méditerranée , Inria Paris-Rocquencourt, Laboratoire I3S - COMRED - COMmunications, Réseaux, systèmes Embarqués et Distribués
Abstract : The design of safety-critical embedded systems such as those used in avionics still involves largely manual phases. But in avionics the definition of standard interfaces embodied in standards such as ARINC 653 or TTEthernet should allow the definition of fully automatic code generation flows that reduce the costs while improving the quality of the generated code, much like compilers have done when replacing manual assembly coding. In this paper, we briefly present such a fully automatic implementation tool, called Lopht, for ARINC653-based time-triggered systems, and then explain how it is currently extended to include support for TTEthernet networks.
Keywords : ARINC 653 TTEthernet real-time scheduling code generation
Type de document :
Communication dans un congrès
DASIA 2015, May 2015, Barcelone, Spain. 2015, 〈http://eurospace.org/dasia-2015.aspx〉
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger
https://hal.inria.fr/hal-01264687
Contributeur : Dumitru Potop-Butucaru <>
Soumis le : vendredi 29 janvier 2016 - 15:34:56
Dernière modification le : lundi 5 novembre 2018 - 15:36:03
Document(s) archivé(s) le : vendredi 11 novembre 2016 - 20:34:05

Fichier

dasia2015.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01264687, version 1

Collections

UNICE | INRIA | I3S | UNIV-COTEDAZUR | INRIA-ROCQ

Citation

Raul Adrian Gorcitz, Thomas Carle, David Lesens, David Monchaux, Dumitru Potop-Butucaru, et al.. Automatic implementation of TTEthernet-based time-triggered avionics applications. DASIA 2015, May 2015, Barcelone, Spain. 2015, 〈http://eurospace.org/dasia-2015.aspx〉. 〈hal-01264687〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

496

Téléchargements de fichiers

419

Contact


archive-ouverte@inria.fr