Filters








3 Hits in 3.8 sec

An Extension for AADL to Model Mixed-Criticality Avionic Systems Deployed on IMA architectures with TTEthernet

Robati Tiyam, Amine El Kouhen, Abdelouahed Gherbi, Sardaouna Hamadou, John Mullins
2014 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
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

Time-Triggered Ethernet Metamodel: Design and Application

Tiyam Robati, Amine El Kouhen, Abdelouahed Gherbi, John Mullinsi
2016 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

A Modeling and Verification Approach to the Design of Distributed IMA Architectures Using TTEthernet

Tiyam Robati, Abdelouahed Gherbi, John Mullins
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  ...  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