A Modeling and Verification Approach to the Design of Distributed IMA Architectures Using TTEthernet-Reference-Cited by-同舟云学术

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

Published:2016 Issue: Volume:83 Page:229-236
ISSN:1877-0509
Container-title:Procedia Computer Science
language:en
Short-container-title:Procedia Computer Science

Author:

Robati Tiyam,Gherbi Abdelouahed,Mullins John

Publisher

Elsevier BV

Subject

General Engineering

Reference23 articles.

1. Hessam S. Sarjoughian and Abbas Mahmoodi Markid. 2012. EMF-DEVS modeling. In Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium (TMS/DEVS’12). Society for Computer Simulation International, San Diego, CA, USA,, Article 19, 8 pages.

2. Aeronautical Radio Incorporated. Avionics Application Software Standard Interface, 2013.

3. Aeronautical Radio Incorporated. ARINC Report 664P7-1 Aircraft Data Network, Part 7. AEEC, Maryland, USA, 2009.

4. Tiyam Robati, Amine El Kouhen, Abdelouahed Gherbi, Sardaouna Hamadou, John Mullins. An Extension for AADL to Model Mixed-Criticality Avionic Systems Deployed on IMA architectures with TTEthernet. ACVI at MoDELS, 2014.

5. DEVS-Suite Simulator. http://devs-suitesim.sf.net, February 2009.

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. System Design;Real-Time Systems;2022

2. A model-based approach for analysing network communication timeliness in IMA systems at concept level;29th International Conference on Real-Time Networks and Systems;2021-04-07

3. Reliability Assessment Model of IMA Partition Software Using Stochastic Petri Nets;IEEE Access;2021

4. Verifying Resource Adequacy of Networked IMA Systems at Concept Level;Communications in Computer and Information Science;2020

5. Distributed Integrated Modular Avionics Resource Allocation and Scheduling Algorithm Supporting Task Migration;Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering;2019