{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,19]],"date-time":"2025-10-19T15:55:54Z","timestamp":1760889354197},"reference-count":34,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2017,2,21]],"date-time":"2017-02-21T00:00:00Z","timestamp":1487635200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Ambient Intell Human Comput"],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1007\/s12652-017-0449-9","type":"journal-article","created":{"date-parts":[[2017,2,20]],"date-time":"2017-02-20T23:55:46Z","timestamp":1487634946000},"page":"345-355","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Design and simulation of distributed IMA architectures using TTEthernet: a model-driven approach"],"prefix":"10.1007","volume":"8","author":[{"given":"Tiyam","family":"Robati","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdelouahed","family":"Gherbi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amine","family":"El Kouhen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Mullins","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,2,21]]},"reference":[{"issue":"4","key":"449_CR1","doi-asserted-by":"crossref","first-page":"579","DOI":"10.1007\/s12652-016-0352-9","volume":"7","author":"L Aid","year":"2016","unstructured":"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\u2013592","journal-title":"J Ambient Intell Humaniz Comput"},{"key":"449_CR2","unstructured":"ARINC (2009) ARINC Report 664P7-1 Aircraft Data Network, Part 7, Avionics Full-Duplex Switched Ethernet Network"},{"key":"449_CR3","unstructured":"ARINC (2013) ARINC Report 653P0 Avionics Application Software Standard Interface, Part 0, Overview of ARINC 653"},{"key":"449_CR4","doi-asserted-by":"crossref","unstructured":"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 \u201914, pp 165\u2013174","DOI":"10.1109\/DS-RT.2014.28"},{"key":"449_CR5","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.3384\/ecp13090006"},{"key":"449_CR6","unstructured":"Chkouri MY, Robert A, Bozga M, Sifakis J (2008) Translating AADL into BIP\u2014application to the verification of real-time systems. In: Models in Software Engineering, Workshops and Symposia at MODELS 2008, Toulouse, France, September 28\u2013October 3, 2008. Reports and Revised Selected Papers, pp 5\u201319"},{"key":"449_CR7","unstructured":"CMU\/SEI (2014) Open source aadl tool environment (osatev2). http:\/\/www.aadl.info"},{"key":"449_CR8","doi-asserted-by":"crossref","unstructured":"De\u00a0Niz D, Feiler PH (2007) Aspects in the industry standard aadl. In: Proceedings of the 10th international workshop on Aspect-oriented modeling, ACM, pp 15\u201320","DOI":"10.1145\/1229375.1229378"},{"key":"449_CR9","doi-asserted-by":"crossref","unstructured":"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\u201344","DOI":"10.1145\/1647420.1647435"},{"key":"449_CR10","doi-asserted-by":"crossref","unstructured":"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\u2013309","DOI":"10.1145\/1869542.1869625"},{"key":"449_CR11","doi-asserted-by":"crossref","unstructured":"France R, Rumpe B (2007) Model-driven development of complex software: a research roadmap. In: 2007 Future of Software Engineering, IEEE Computer Society, FOSE \u201907, pp 37\u201354","DOI":"10.1109\/FOSE.2007.14"},{"key":"449_CR12","volume-title":"Design patterns: elements of reusable object-oriented software","author":"E Gamma","year":"1995","unstructured":"Gamma E, Helm R, Johnson R, Vlissides J (1995) Design patterns: elements of reusable object-oriented software. Addison-Wesley Longman Publishing Co., Inc, boston"},{"key":"449_CR13","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/978-3-540-69100-6_12","volume-title":"Model driven architecture: foundations and applications","author":"T Goldschmidt","year":"2008","unstructured":"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\u2013184"},{"issue":"4","key":"449_CR14","first-page":"115","volume":"7","author":"ME Hamdane","year":"2013","unstructured":"Hamdane ME, Chaoui A, Strecker M (2013) From aadl to timed automaton\u2014a verification approach. Int J Softw Eng Appl 7(4):115\u2013126","journal-title":"Int J Softw Eng Appl"},{"issue":"1\u20132","key":"449_CR15","doi-asserted-by":"crossref","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F Jouault","year":"2008","unstructured":"Jouault F, Allilaire F, B\u00e9zivin J, Kurtev I (2008) Atl: a model transformation tool. Sci Comput Program 72(1\u20132):31\u201339","journal-title":"Sci Comput Program"},{"issue":"6","key":"449_CR16","doi-asserted-by":"crossref","first-page":"717","DOI":"10.1177\/0037549714533842","volume":"90","author":"GD Kapos","year":"2014","unstructured":"Kapos GD, Dalakas V, Nikolaidou M, Anagnostopoulos D (2014) An integrated framework for automated simulation of sysml models using devs. Simulation 90(6):717\u2013744","journal-title":"Simulation"},{"issue":"1","key":"449_CR17","doi-asserted-by":"crossref","first-page":"112","DOI":"10.1109\/JPROC.2002.805821","volume":"91","author":"H Kopetz","year":"2003","unstructured":"Kopetz H, Bauer G (2003) The time-triggered architecture. Proc IEEE 91(1):112\u2013126","journal-title":"Proc IEEE"},{"key":"449_CR18","doi-asserted-by":"crossref","first-page":"286","DOI":"10.1007\/978-3-540-75209-7_20","volume-title":"Model driven engineering languages and systems","author":"H Krahn","year":"2007","unstructured":"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\u2013300"},{"key":"449_CR19","doi-asserted-by":"crossref","unstructured":"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 \u201910), goetz Botterweck, New York, NY, USA, pp 17\u201320","DOI":"10.1145\/1865875.1865878"},{"key":"449_CR20","doi-asserted-by":"crossref","unstructured":"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 \u201911, pp 332\u2013337","DOI":"10.1109\/ICECCS.2011.39"},{"key":"449_CR21","doi-asserted-by":"crossref","unstructured":"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\u2014vol Part I, Springer, Berlin, Heidelberg, ISoLA\u201910, pp 243\u2013257. http:\/\/dl.acm.org\/citation.cfm?id=1939281.1939305","DOI":"10.1007\/978-3-642-16558-0_21"},{"key":"449_CR22","unstructured":"Musset J, Juliot \u00c9, Lacrampe S, Piers W, Brun C, Goubet L, Lussaud Y, Allilaire F (2008) Acceleo user guide"},{"key":"449_CR23","doi-asserted-by":"crossref","unstructured":"N\u00fa\u00f1ez-Valdez ER, Garc\u00eda-D\u00edaz V, Lovelle JMC, Achaerandio YS, Gonz\u00e1lez-Crespo R (2016) A model-driven approach to generate and deploy videogames on multiple platforms. J Ambient Intell Humaniz Comput 1\u201313","DOI":"10.1007\/s12652-016-0404-1"},{"key":"449_CR24","unstructured":"Posse E, Bolduc JS, Vangheluwe H (2003) Generation of devs modeling and simulation environment. In: Proceedings of the 2003 Summer Computer Simulation Conference SCSC"},{"key":"449_CR25","unstructured":"Risco-Mart\u0131n JL, Mittal S, Zeigler BP, Jes\u00fas 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"},{"key":"449_CR26","unstructured":"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"},{"key":"449_CR27","unstructured":"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"},{"key":"449_CR28","unstructured":"SAE (2011c) Time-triggered ethernet. Sae as6802 edn"},{"key":"449_CR29","unstructured":"Sarjoughian HS, Markid AM (2012) EMF-devs modeling. In: Proceedings of the 2012 Symposium on Theory of Modeling and Simulation\u2014DEVS Integrative M&S Symposium, Society for Computer Simulation International, TMS\/DEVS \u201912, pp 19(1\u20138)"},{"key":"449_CR30","unstructured":"Steinberg D, Budinsky F, Merks E, Paternostro M (2008) EMF: eclipse modeling framework. Pearson Education"},{"key":"449_CR31","doi-asserted-by":"crossref","unstructured":"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","DOI":"10.1109\/RTSS.2010.25"},{"key":"449_CR32","doi-asserted-by":"crossref","unstructured":"Watkins C, Walter R (2007) Transitioning from federated avionics architectures to integrated modular avionics. In: Digital Avionics Systems Conference, 2007. DASC \u201907. IEEE\/AIAA 26th, pp 2.A.1\u20131\u20132.A.1\u201310","DOI":"10.1109\/DASC.2007.4391842"},{"issue":"10","key":"449_CR33","doi-asserted-by":"crossref","first-page":"1690","DOI":"10.1016\/j.simpat.2009.08.003","volume":"17","author":"L Yonglin","year":"2009","unstructured":"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\u20131709","journal-title":"Simul Model Pract Theory"},{"key":"449_CR34","unstructured":"Zeigler BP (1984) Multifacetted modelling and discrete event simulation. Academic Press"}],"container-title":["Journal of Ambient Intelligence and Humanized Computing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s12652-017-0449-9\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12652-017-0449-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s12652-017-0449-9.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,18]],"date-time":"2019-09-18T18:23:38Z","timestamp":1568831018000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s12652-017-0449-9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,2,21]]},"references-count":34,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2017,6]]}},"alternative-id":["449"],"URL":"https:\/\/doi.org\/10.1007\/s12652-017-0449-9","relation":{},"ISSN":["1868-5137","1868-5145"],"issn-type":[{"value":"1868-5137","type":"print"},{"value":"1868-5145","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017,2,21]]}}}