| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Automatic implementation of TTEthernet-based time-triggered avionics applications
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.
Cited literature [11 references]
https://hal.inria.fr/hal-01264687
Contributor : Dumitru Potop-Butucaru <>
Submitted on : Friday, January 29, 2016 - 3:34:56 PM
Last modification on : Tuesday, May 26, 2020 - 6:50:21 PM
Document(s) archivé(s) le : Friday, November 11, 2016 - 8:34:05 PM
Contributor : Dumitru Potop-Butucaru <>
Submitted on : Friday, January 29, 2016 - 3:34:56 PM
Last modification on : Tuesday, May 26, 2020 - 6:50:21 PM
Document(s) archivé(s) le : Friday, November 11, 2016 - 8:34:05 PM
File
dasia2015.pdf
Files produced by the author(s)