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

Procedia Computer Science

Volumn 83, Issue , 2016, Pages 229-236

  Robati, Tiyam ^a   Gherbi, Abdelouahed ^a   Mullins, John ^b  

^a ÉCOLE DE TECHNOLOGIE SUPÉRIEURE   (Canada)

^b ÉCOLE POLYTECHNIQUE DE MONTRÉAL   (Canada)

Author keywords

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

Indexed keywords

AIR NAVIGATION; AVIONICS; ENERGY CONSERVATION; NETWORK ARCHITECTURE; VERIFICATION;

DEVS; INTEGRATED MODULAR AVIONICS; MODEL TRANSFORMATION; SIMULATION; TTETHERNET;

MODELING LANGUAGES;

EID: 84971255185     PISSN: None     EISSN: 18770509     Source Type: Conference Proceeding    
DOI: 10.1016/j.procs.2016.04.120     Document Type: Conference Paper

References (23)

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.
6. Generation of DEVS Modeling and Simulation Environment. Ernesto Posse, Jean-Sbastien Bolduc, Hans Vangheluwe, 2003/7.
7. Bernard P. Zeigler. Multifacetted Modelling and Discrete Event Simulation. Academic Press, London, 1984.
8. Acceleo. http://www.eclipse.org/acceleo.
9. Michael Lauer, Jerme Ermont, Claire Pagetti, and Frederic Boniol. 2010. Analyzing end-to-end functional delays on an IMA platform. Volume Part I (ISoLA'10), Tiziana Margaria and Bernhard Steffen (Eds.) Berlin, Heidelberg, 243-257.
10. W. Steiner An evaluation of smt-based schedule synthesis for time-triggered multi-hop networks Real-Time Systems Symposium (RTSS), IEEE 31st 2010
11. SAE Aerospace. 2011. Time-Triggered Ethernet, sae as6802 edition.
12. S. Beji, S. Hamadou, A. Gherbi and J. Mullins. SMT-Based Cost Optimization Approach for the Integration of Avionic Functions in IMA and TTEthernet Architectures. DS-RT'14. Washington, DC, USA.
13. Hermann Kopetz, and Günther Bauer The time-triggered architecture Proceedings of the IEEE 91 1 2003 112 126 2003
14. Christopher B. Watkins and Randy Walter. 2007. Transitioning from federated avionics architectures to integrated modular avionics. In DASC'07. IEEE/AIAA 26th.
15. M. El Hamdane, A. Chaoui and M. Strecker. From AADL to Timed Automaton - A Verification Approach. International Journal of Software Engineering and its Applications 01/2013.
16. M. Chkouri, A. Robert, M. Bozga, and J. Sifaksi Translating AADL into BIP -application to the verification or real-time systems, Models in Software Engineering, Springer-Verlag Berlin Heidelberg 2009
17. S. Hemingway Graham Time-Triggered High-Confidence Embedded Systems: Modeling, Simulation Analysis and Back. Ph.D. Dissertation. Vanderbilt University, Nashville, TN, USA 2011
18. Y. Lei, W. Wang, Q. Li, and Y. Zhu A transformation model from DEVS to SMP2 based on MDA Simulation Modelling Practice and Theory 2009 16901709
19. Jos L. Risco-Martna Saurabh Mittalb Bernard P. Zeiglerb. Jess M. de la Cruza.From UML State Charts to DEVS State. Machines using XML. 2007 Published by Elsevier Science B. V.
20. G. Kapos, V. Dalakas, and M.D. Nikolaidou Anagnostopoulos. An integrated framework for automated simulation of SysML models using DEVS Simulation 90 6 June 2014 717 744
21. France, Robert and Rumpe, Bernhard. Model-driven development of complex software: A research roadmap. Future of Software Engineering. pp. 37-54. 2007. IEEE Computer Society.
22. Tom Mens, and Pieter Van Gorp A taxonomy of model transformation Electronic Notes in Theoretical Computer Science 152 2006 125 142
23. Frdric, Jouault, Freddy Allilaire, Jean Bzivin, and Ivan Kurtev ATL: A model transformation tool Science of computer programming 72 1 2008 31 39