Design and simulation of distributed IMA architectures using TTEthernet: a model-driven approach

• Aid L, Zaoui L, Mostefaoui SAM (2016) Using DEVS for modeling and simulation of ambient objects in intelligent buildings. J Ambient Intell Humaniz Comput 7(4):579–592

  Article  Google Scholar 

• ARINC (2009) ARINC Report 664P7-1 Aircraft Data Network, Part 7, Avionics Full-Duplex Switched Ethernet Network

• ARINC (2013) ARINC Report 653P0 Avionics Application Software Standard Interface, Part 0, Overview of ARINC 653

• Beji S, Hamadou S, Gherbi A, Mullins J (2014) Smt-based cost optimization approach for the integration of avionic functions in ima and ttethernet architectures. In: Proceedings of the 2014 IEEE/ACM 18th International Symposium on Distributed Simulation and Real Time Applications, IEEE Computer Society, DS-RT ’14, pp 165–174

• Brau G, Hugues J, Navet N (2013) Refinement of aadl models using early-stage analysis methods: an avionics example. Technical Report TR-LASSY-13-06, Laboratory for Advanced Software Systems

• Chkouri MY, Robert A, Bozga M, Sifakis J (2008) Translating AADL into BIP—application to the verification of real-time systems. In: Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28–October 3, 2008. Reports and Revised Selected Papers, pp 5–19

• CMU/SEI (2014) Open source aadl tool environment (osatev2). http://www.aadl.info

• De Niz D, Feiler PH (2007) Aspects in the industry standard aadl. In: Proceedings of the 10th international workshop on Aspect-oriented modeling, ACM, pp 15–20

• Delange J, Pautet L, Plantec A, Kerboeuf M, Singhoff F, Kordon F (2009) Validate, simulate, and implement arinc653 systems using the aadl. In: ACM SIGAda International Conference on Ada, ACM, pp 31–44

• Eysholdt M, Behrens H (2010) Xtext: implement your language faster than the quick and dirty way. In: Proceedings of the ACM international conference companion on Object oriented programming systems languages and applications companion, ACM, pp 307–309

• France R, Rumpe B (2007) Model-driven development of complex software: a research roadmap. In: 2007 Future of Software Engineering, IEEE Computer Society, FOSE ’07, pp 37–54

• Gamma E, Helm R, Johnson R, Vlissides J (1995) Design patterns: elements of reusable object-oriented software. Addison-Wesley Longman Publishing Co., Inc, boston

  MATH  Google Scholar 

• Goldschmidt T, Becker S, Uhl A (2008) Classification of concrete textual syntax mapping approaches. Lecture Notes in Computer Science. In: Schieferdecker I, Hartman A (eds) Model driven architecture: foundations and applications, vol 5095. Springer, Berlin, pp 169–184

  Chapter  Google Scholar 

• Hamdane ME, Chaoui A, Strecker M (2013) From aadl to timed automaton—a verification approach. Int J Softw Eng Appl 7(4):115–126

  Google Scholar 

• Jouault F, Allilaire F, Bézivin J, Kurtev I (2008) Atl: a model transformation tool. Sci Comput Program 72(1–2):31–39

  Article  MathSciNet  MATH  Google Scholar 

• Kapos GD, Dalakas V, Nikolaidou M, Anagnostopoulos D (2014) An integrated framework for automated simulation of sysml models using devs. Simulation 90(6):717–744

  Article  Google Scholar 

• Kopetz H, Bauer G (2003) The time-triggered architecture. Proc IEEE 91(1):112–126

  Article  Google Scholar 

• Krahn H, Rumpe B, Vlkel S (2007) Integrated definition of abstract and concrete syntax for textual languages. Lecture notes in computer science. In: Engels G, Opdyke B, Schmidt D, Weil F (eds) Model driven engineering languages and systems, vol 4735. Springer, Berlin, pp 286–300

  Chapter  Google Scholar 

• Lafaye M, Faura D, Gatti M, Pautet L (2010) A new modeling approach for ima platform early validation. In: Joo M, Fernandes, Lus Lamb (eds) ACM Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES ’10), goetz Botterweck, New York, NY, USA, pp 17–20

• Lasnier G, Pautet L, Hugues J, Wrage L (2011) An implementation of the behavior annex in the aadl-toolset osate2. In: Proceedings of the 2011 16th IEEE International Conference on Engineering of Complex Computer Systems, IEEE Computer Society, ICECCS ’11, pp 332–337

• Lauer M, Ermont J, Pagetti C, Boniol F (2010) Analyzing end-to-end functional delays on an ima platform. In: Proceedings of the 4th International Conference on Leveraging Applications of Formal Methods, Verification, and Validation—vol Part I, Springer, Berlin, Heidelberg, ISoLA’10, pp 243–257. http://dl.acm.org/citation.cfm?id=1939281.1939305

• Musset J, Juliot É, Lacrampe S, Piers W, Brun C, Goubet L, Lussaud Y, Allilaire F (2008) Acceleo user guide

• Núñez-Valdez ER, García-Díaz V, Lovelle JMC, Achaerandio YS, González-Crespo R (2016) A model-driven approach to generate and deploy videogames on multiple platforms. J Ambient Intell Humaniz Comput 1–13

• Posse E, Bolduc JS, Vangheluwe H (2003) Generation of devs modeling and simulation environment. In: Proceedings of the 2003 Summer Computer Simulation Conference SCSC

• Risco-Martın JL, Mittal S, Zeigler BP, Jesús M (2007) From uml state charts to devs state machines using xml. In: Proceedings of the workshop on multi-paradigm modeling: concepts and tools, Nashville, TN

• SAE (2011a) SAE Architecture Analysis and Design Language (AADL) Annex Volume 1: Annex A: Graphical AADL Notation, Annex C: AADL Meta-Model and Interchange Formats, Annex D: Language Compliance and Application Program Interface Annex E: Error Model Annex, AS5506/1

• SAE (2011b) SAE Architecture Analysis and Design Language (AADL) Annex Volume 2: Annex B: Data Modeling Annex Annex D: Behavior Model Annex Annex F: ARINC653 Annex, AS5506/2

• SAE (2011c) Time-triggered ethernet. Sae as6802 edn

• Sarjoughian HS, Markid AM (2012) EMF-devs modeling. In: Proceedings of the 2012 Symposium on Theory of Modeling and Simulation—DEVS Integrative M&S Symposium, Society for Computer Simulation International, TMS/DEVS ’12, pp 19(1–8)

• Steinberg D, Budinsky F, Merks E, Paternostro M (2008) EMF: eclipse modeling framework. Pearson Education

• Steiner W (2010) An evaluation of SMT-based schedule synthesis for time-triggered multi-hop networks. Real-Time Systems Symposium (RTSS), IEEE 31st, pp 375, 384

• Watkins C, Walter R (2007) Transitioning from federated avionics architectures to integrated modular avionics. In: Digital Avionics Systems Conference, 2007. DASC ’07. IEEE/AIAA 26th, pp 2.A.1–1–2.A.1–10

• Yonglin L, Weiping W, Qun L, Yifan Z (2009) A transformation model from devs to smp2 based on mda. Simul Model Pract Theory 17(10):1690–1709

  Article  Google Scholar 

• Zeigler BP (1984) Multifacetted modelling and discrete event simulation. Academic Press

Download references