Simulation-Based Verification of Avionic Systems Deployed on IMA Architectures

Abstract : 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 :
Communication dans un congrès
Omar Badreddin, Vinay Kulkarni. ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS'15), Sep 2015, Ottawa, Canada. 2015, Poster & Demonstration Panel. 〈http://cruise.eecs.uottawa.ca/models2015/postersDemosExhibits.html〉
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01211242
Contributeur : Amine El Kouhen <>
Soumis le : dimanche 4 octobre 2015 - 12:10:15
Dernière modification le : lundi 19 mars 2018 - 22:38:02
Document(s) archivé(s) le : mardi 5 janvier 2016 - 10:10:45

Fichier

Models-Tools-Demo-2015.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01211242, version 1

Collections

Citation

Tiyam Robati, Amine El Kouhen, Abdelouahed Gherbi, John Mullins. Simulation-Based Verification of Avionic Systems Deployed on IMA Architectures. Omar Badreddin, Vinay Kulkarni. ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS'15), Sep 2015, Ottawa, Canada. 2015, Poster & Demonstration Panel. 〈http://cruise.eecs.uottawa.ca/models2015/postersDemosExhibits.html〉. 〈hal-01211242〉

Partager

Métriques

Consultations de la notice

230

Téléchargements de fichiers

110