Skip to main content
SpringerLink
Log in

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

  • Original Research
  • Published:
Journal of Ambient Intelligence and Humanized Computing Aims and scope Submit manuscript

Abstract

Integrated modular avionics 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 present an extension for the AADL modeling language to support modeling TTEthernet-based distributed systems. This extension consists essentially in a metamodel of the TTEthernet standard and the implementation of its corresponding concrete syntax. Furthermore, we leverage model transformations to enable undertaking the verification of the system models expressed using our AADL extension. In particular, we propose to transform the system model to a model suitable for a simulation using the discrete event system specification formalism. 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-freed property of TTEthernet schedule.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Fig. 1
Fig. 2
Fig. 3
Fig. 4
Fig. 5
Fig. 6
Fig. 7
Fig. 8
Fig. 9
Fig. 10
Fig. 11
Fig. 12
Fig. 13
Fig. 14
Fig. 15

Similar content being viewed by others

References

  • 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

Acknowledgements

This work is partially supported by the CRIAQ-NSERC CRD Project VerITTAS (Verification and Integration of multi-critical Time-Triggered Avionics Systems) (AVIO613) No. 435325-12.

Author information

Authors and Affiliations

  1. Department of Software and IT Engineering, École de Technologie Supérieure, Montréal, Canada

    Tiyam Robati, Abdelouahed Gherbi & Amine El Kouhen

  2. Department of Computer and Software Engineering, École polytechnique de Montréal, Montréal, Canada

    John Mullins

Authors
  1. Tiyam Robati
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Abdelouahed Gherbi
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Amine El Kouhen
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. John Mullins
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Abdelouahed Gherbi.

Rights and permissions

Reprints and permissions

About this article

Check for updates. Verify currency and authenticity via CrossMark

Cite this article

Robati, T., Gherbi, A., El Kouhen, A. et al. Design and simulation of distributed IMA architectures using TTEthernet: a model-driven approach. J Ambient Intell Human Comput 8, 345–355 (2017). https://doi.org/10.1007/s12652-017-0449-9

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s12652-017-0449-9

Keywords

Search

Navigation