<  Back to the Polytechnique Montréal portal

A modeling and verification approach to the design of distributed IMA architectures using TTEthernet

Tiyam Robati, Abdelouahed Gherbi and John Mullins

Paper (2016)

Open Acess document in PolyPublie and at official publisher
[img]
Preview
Open Access to the full text of this document
Published Version
Terms of Use: Creative Commons Attribution Non-commercial No Derivatives
Download (756kB)
Show abstract
Hide abstract

Abstract

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 undertaking the verification of the system models produced with this methodology. In particular, we propose to transform the system models to a model suitable for a simulation with DEVS. We illustrate the proposed approach using an example of a navigation and guidance system and we use this example to show the verification of the contention-freedom property of TTEthernet schedule.

Uncontrolled Keywords

Integrated Modular Avionics, TTEthernet, Model transformation, Verification, DEVS, Simulation

Subjects: 2700 Information technology > 2700 Information technology
2700 Information technology > 2717 Modelling and simulation studies
2700 Information technology > 2719 Computer architecture and design
Department: Department of Computer Engineering and Software Engineering
PolyPublie URL: https://publications.polymtl.ca/5116/
Conference Title: 7th International Conference on Ambient Systems, Networks and Technologies (ANT 2016)
Conference Location: Madrid, Espagne
Conference Date(s): 2016-05-23 - 2016-05-26
Editors: Elhadi Shakshuki
Journal Title: Procedia Computer Science (vol. 83)
Publisher: Elsevier
DOI: 10.1016/j.procs.2016.04.120
Official URL: https://doi.org/10.1016/j.procs.2016.04.120
Date Deposited: 22 Feb 2023 11:34
Last Modified: 20 Apr 2023 05:48
Cite in APA 7: Robati, T., Gherbi, A., & Mullins, J. (2016, May). A modeling and verification approach to the design of distributed IMA architectures using TTEthernet [Paper]. 7th International Conference on Ambient Systems, Networks and Technologies (ANT 2016), Madrid, Espagne. Published in Procedia Computer Science, 83. https://doi.org/10.1016/j.procs.2016.04.120

Statistics

Total downloads

Downloads per month in the last year

Origin of downloads

Dimensions

Repository Staff Only

View Item View Item