{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T19:25:25Z","timestamp":1725823525975},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319195834"},{"type":"electronic","value":"9783319195841"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19584-1_14","type":"book-chapter","created":{"date-parts":[[2015,6,10]],"date-time":"2015-06-10T11:56:31Z","timestamp":1433937391000},"page":"212-227","source":"Crossref","is-referenced-by-count":2,"title":["AFDX Emulator for an ARINC-Based Training Platform"],"prefix":"10.1007","author":[{"given":"Jes\u00fas","family":"Fern\u00e1ndez","sequence":"first","affiliation":[]},{"given":"H\u00e9ctor","family":"P\u00e9rez","sequence":"additional","affiliation":[]},{"given":"J.","family":"Javier Guti\u00e9rrez","sequence":"additional","affiliation":[]},{"given":"Michael Gonz\u00e1lez","family":"Harbour","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,6,9]]},"reference":[{"key":"14_CR1","unstructured":"Airlines Electronic Engineering Committee, Aeronautical Radio INC: Avionics Application Software Standard Interface. ARINC Specification 653-1 (March 2006)"},{"key":"14_CR2","unstructured":"Airlines Electronic Engineering Committee, Aeronautical Radio INC: ARINC Specification 664 P7-1: Aircraft Data Network, Part 7 - Avionics Full Duplex Switched Ethernet Network, September 23, 2009"},{"key":"14_CR3","unstructured":"Masmano, M., Ripoll, I., Crespo, A., Metge, J.J.: Xtratum a hypervisor for safety critical embedded systems. In: Proc. of the 11th Real-Time Linux Workshop, Dresden, Germany (2009)"},{"key":"14_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1007\/3-540-45136-6_24","volume-title":"Reliable Software Technologies \u2013 Ada Europe 2001","author":"M Aldea Rivas","year":"2001","unstructured":"Aldea Rivas, M., Gonz\u00e1lez Harbour, M.: MaRTE OS: an Ada kernel for real-time embedded applications. In: Strohmeier, A., Craeynest, D. (eds.) Ada-Europe 2001. LNCS, vol. 2043, pp. 305\u2013316. Springer, Heidelberg (2001)"},{"key":"14_CR5","unstructured":"Frances, F., Fraboul, C., Grieu, J.: Using network calculus to optimize the AFDX network. In: Proc. of the ERTS, Toulouse, France (2006)"},{"issue":"1","key":"14_CR6","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/TII.2009.2016085","volume":"5","author":"JL Scharbarg","year":"2009","unstructured":"Scharbarg, J.L., Ridouard, F., Fraboul, C.: A probabilistic analysis of end-to-end delays on an AFDX network. IEEE Transactions on Industrial Informatics 5(1), 38\u201349 (2009)","journal-title":"IEEE Transactions on Industrial Informatics"},{"issue":"4","key":"14_CR7","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1109\/TII.2010.2055877","volume":"5","author":"H Bauer","year":"2010","unstructured":"Bauer, H., Scharbarg, J.L., Fraboul, C.: Improving the worst-case delay analysis of an AFDX network using an optimized trajectory approach. IEEE Transactions on Industrial Informatics 5(4), 521\u2013533 (2010)","journal-title":"IEEE Transactions on Industrial Informatics"},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/s11241-011-9142-9","volume":"48","author":"H Bauer","year":"2012","unstructured":"Bauer, H., Scharbarg, J.L., Fraboul, C.: Applying trajectory approach with static priority queuing for improving the use of available AFDX resources. Journal of Real-Time Systems 48, 101\u2013133 (2012)","journal-title":"Journal of Real-Time Systems"},{"issue":"2","key":"14_CR9","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/s11241-013-9192-2","volume":"50","author":"JJ Guti\u00e9rrez","year":"2014","unstructured":"Guti\u00e9rrez, J.J., Palencia, J.C., Gonz\u00e1lez Harbour, M.: Holistic schedulability analysis for multipacket messages in AFDX networks. Journal of Real-Time Systems 50(2), 230\u2013269 (2014). Springer","journal-title":"Journal of Real-Time Systems"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Li, J., Guan, H., Yao, J., Zhu, G., Liu, X.: Performance enhancement and optimized analysis of the worst case end-to-end delay for AFDX networks. In: Proc. of the IEEE International Conference on Green Computing and Communications, GREENCOM, Besan\u00e7on, France, pp. 301\u2013310 (2012)","DOI":"10.1109\/GreenCom.2012.73"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Zhang, J., Qiao, S., Li, D., Shi, G.: Modeling and simulation of EDF scheduling algorithm on AFDX switch. In: Proc. of the IEEE International Conference on Signal Processing, Communications and Computing (ICSPCC), pp. 1\u20134 (2011)","DOI":"10.1109\/ICSPCC.2011.6061640"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Dong, S., Xingxing, Z., Lina, D., Qiong, H.: The design and implementation of the AFDX network simulation system. In: Proc. of the International Conference on Multimedia Technology (ICMT), pp. 1\u20134 (2010)","DOI":"10.1109\/ICMULT.2010.5629728"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Charara, H., Fraboul, C.: Modelling and simulation of an avionics full duplex switched ethernet. In: Proc. of the Advanced Industrial Conference on Telecommunications, pp. 207\u2013212 (2005)","DOI":"10.1109\/AICT.2005.58"},{"key":"14_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/978-3-642-16612-9_25","volume-title":"Runtime Verification","author":"A Basu","year":"2010","unstructured":"Basu, A., Bensalem, S., Bozga, M., Delahaye, B., Legay, A., Sifakis, E.: Verification of an AFDX infrastructure using simulations and probabilities. In: Barringer, H., Falcone, Y., Finkbeiner, B., Havelund, K., Lee, I., Pace, G., Ro\u015fu, G., Sokolsky, O., Tillmann, N. (eds.) RV 2010. LNCS, vol. 6418, pp. 330\u2013344. Springer, Heidelberg (2010)"},{"key":"14_CR15","unstructured":"Hornig, R.: Avionics Full-Duplex Switched Ethernet for OMNeT++ (2012). https:\/\/github.com\/omnetpp\/afdx"},{"key":"14_CR16","unstructured":"Calluaud, J.M., Cloury, E.: Simulation and test system for at least one item of equipment on an AFDX network. US Patent 7,406,050 (2008)"},{"key":"14_CR17","unstructured":"IEEE Std 802.1Q. Virtual Bridged Local Area Networks. Annex G, IEEE Document (2006)"},{"key":"14_CR18","unstructured":"Condor Engineering: AFDX\/ARINC 664 tutorial (May 2005). http:\/\/www.cems.uwe.ac.uk\/~ngunton\/afdx_detailed.pdf"},{"key":"14_CR19","doi-asserted-by":"crossref","unstructured":"Nichols, K., Blake, S., Baker, F., Black, D.: Definition of the differentiated services field (DS field) in the Ipv4 and Ipv6 headers. RFC-2474, RFC Editor (1998)","DOI":"10.17487\/rfc2474"},{"key":"14_CR20","doi-asserted-by":"crossref","unstructured":"Prisaznuk, P.J.: ARINC 653 role in Integrated Modular Avionics (IMA). In: Proc. of the 27th IEEE\/AIAA Digital Avionics Systems Conference (DACS), pp. 1.E.5 1\u201310 (2008)","DOI":"10.1109\/DASC.2008.4702770"},{"issue":"6","key":"14_CR21","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1016\/j.sysarc.2012.02.001","volume":"56","author":"M Gonz\u00e1lez Harbour","year":"2013","unstructured":"Gonz\u00e1lez Harbour, M., Guti\u00e9rrez, J.J., Drake, J.M., L\u00f3pez, P., Palencia, J.C.: Modeling distributed real-time systems with MAST 2. Journal of Systems Architecture 56(6), 331\u2013340 (2013). Elsevier","journal-title":"Journal of Systems Architecture"},{"key":"14_CR22","unstructured":"MAST web page. http:\/\/mast.unican.es\/"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada-Europe 2015"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19584-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,8,26]],"date-time":"2019-08-26T08:42:59Z","timestamp":1566808979000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-19584-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319195834","9783319195841"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19584-1_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}