A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
In this research paper, we present an extension for the standard architecture and analysis modeling language AADL to enable modeling integrated multi-critical avionic applications deployed on TTEthernet-based ... Integrated modular avionics architectures combined with the emerging SAE TTEthernet standard provides a strong infrastructure for the deployment of mixed-critical avionic applications having stringent ... avionic applications deployed on TTEthernet-based IMA architectures. ...dblp:conf/models/TiyamKGHM14 fatcat:wcmdmmpfsbb7bjizkh4tk6b7fq
Journal of Software
We discuss how a combination of the TTEthernet metamodel with an IMA metamodel can be used to extend the AADL modeling language to model avionic applications deployed a TTEthernet-networked IMA platform ... The combination of the SAE Time Triggered Ethernet (TTEthernet) standard with the Integrated Modular Avionics (IMA) architectures supports the design, deployment and integration of mixed-critical avionic ... Acknowledgment This work is partially supported by the CRIAQ-NSERC RDC Project VerITTAS (Verification and Integration of multi-critical Time-Triggered Avionics Systems) (AVIO613) No. 435325-12. ...doi:10.17706/jsw.11.10.1040-1053 fatcat:zewzxavx6ve2la5hqxprqfodzy
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 ... 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 undertaking the verification of ... Therefore an instance of the AADL-TTEthernet metamodel is a model of a particular distributed avionic system deployed on a IMA architecture interconnected with TTEthernet. ...doi:10.1016/j.procs.2016.04.120 fatcat:5lu742jtyjfddeac5pthbexawm