AUTOMATIC IMPLEMENTATION OF TTETHERNET-BASED TIME-TRIGGERED AVIONICS APPLICATIONS

摘要

The design of safety-critical embedded systems suchrnas those used in avionics still involves largely manual phases.rnBut in avionics the definition of standard interfaces embodied inrnstandards such as ARINC 653 or TTEthernet should allow therndefinition of fully automatic code generation flows that reducernthe costs while improving the quality of the generated code,rnmuch like compilers have done when replacing manual assemblyrncoding. In this paper, we briefly present such a fully automaticrnimplementation tool, called Lopht, for ARINC653-based timetriggeredrnsystems, and then explain how it is currently extendedrnto include support for TTEthernet networks.