ENGLISH
La vitrine de diffusion des publications et contributions des chercheurs de l'ÉTS
RECHERCHER

Simulation-based verification of avionic systems deployed on IMA architectures

Téléchargements

Téléchargements par mois depuis la dernière année

Plus de statistiques...

Robati, Tiyam, El Kouhen, Amine, Gherbi, Abdelouahed et Mullins, John. 2015. « Simulation-based verification of avionic systems deployed on IMA architectures ». In MoDELS P and D 2015 - Proceedings of the MoDELS 2015 Demo and Poster Session, co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS'15) (Ottawa, ON, Canada, Sept. 27 2015) Coll. « CEUR Workshop Proceedings », vol. 1554. pp. 56-59. CEUR-WS.

[thumbnail of Simulation-Based-Verification-of-Avionic-Systems-Deployed-on-IMA-Architectures.pdf]
Prévisualisation
PDF
Simulation-Based-Verification-of-Avionic-Systems-Deployed-on-IMA-Architectures.pdf
Licence d'utilisation : Creative Commons CC BY-NC-ND.

Télécharger (293kB) | Prévisualisation

Résumé

To build reliable avionic applications, we interconnect Integrated Modular Avionics (IMA) architectures with Time- Triggered Ethernet (TT-Ethernet). These systems have direct impacts on human lives where the failure is unacceptable. Therefore, verification is an important issue to ensure the safety and the performance of the system. The integration of IMA architectures is a very complex and challenging engineering task. To cope with complexity and to perform verification, a model-based approach, which endows engineering teams with a methodology and an adequate tooling is of a paramount importance. To design IMA architectures interconnected with TT-Ethernet, we have proposed an extension of the AADL language in previous works. In this paper, we present a simulation-based verification of our extension and show how it can be simulated using a discrete event simulation environment called DEVS Suite. The main advantage of this technique is to perform cycle-accurate simulation of the complex avionics systems, which cannot be undertaken by model checking techniques. The tool demonstration video is available at: http://youtu.be/hwgN-a-7rzw.

Type de document: Compte rendu de conférence
Éditeurs:
Éditeurs
ORCID
Kulkarmi, Vinay
NON SPÉCIFIÉ
Badreddin, Omar
NON SPÉCIFIÉ
Professeur:
Professeur
Gherbi, Abdelouahed
Affiliation: Génie logiciel et des technologies de l'information
Date de dépôt: 10 mai 2016 18:33
Dernière modification: 12 avr. 2017 19:26
URI: https://espace2.etsmtl.ca/id/eprint/12598

Actions (Authentification requise)

Dernière vérification avant le dépôt Dernière vérification avant le dépôt