Robati, Tiyam, Gherbi, Abdelouahed et Mullins, John.
2016.
« A modeling and verification approach to the design of distributed IMA architectures using TTEthernet ».
In 7th International Conference on Ambient Systems, Networks and Technologies (ANT 2016) / The 6th International Conference on Sustainable Energy Information Technology (SEIT-2016) (Madrid, Spain, May 23-26, 2016)
Coll. « Procedia Computer Science », vol. 83.
pp. 229-236.
Elsevier.
Compte des citations dans Scopus : 5.
Preview |
PDF
A-modeling-and-verification-approach-to-the-design-of-distributed-IMA-architectures-using-TTEthernet.pdf Use licence: Creative Commons CC BY-NC-ND. Download (623kB) | Preview |
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.
Item Type: | Conference proceeding |
---|---|
ISBN: | 18770509 |
Professor: | Professor Gherbi, Abdelouahed |
Affiliation: | Génie logiciel et des technologies de l'information |
Date Deposited: | 21 Jun 2016 15:02 |
Last Modified: | 24 Feb 2017 15:20 |
URI: | https://espace2.etsmtl.ca/id/eprint/12844 |
Actions (login required)
![]() |
View Item |