A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
A Modeling and Verification Approach to the Design of Distributed IMA Architectures Using TTEthernet
2016
Procedia Computer Science
Integrated Modular Avionics (IMA) architectures complemented with Time-Triggered Ethernet (TTEthernet) provides a strong platform to support the design and deployment of distributed avionic software systems. The complexity of the design and continuous integration of such systems can be managed using a model-based methodology. In this paper, we build on top of our extension of the AADL modeling language to model TTEthernet-based distributed systems and leverage model transformations to enable
doi:10.1016/j.procs.2016.04.120
fatcat:5lu742jtyjfddeac5pthbexawm