{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T02:40:08Z","timestamp":1748832008481,"version":"3.41.0"},"publisher-location":"Cham","reference-count":39,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319313092"},{"type":"electronic","value":"9783319313115"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-31311-5_4","type":"book-chapter","created":{"date-parts":[[2016,4,1]],"date-time":"2016-04-01T08:37:03Z","timestamp":1459499823000},"page":"85-111","source":"Crossref","is-referenced-by-count":1,"title":["A Real-Time Concurrent Constraint Calculus for Analyzing Avionic Systems Embedded in the IMA Connected Through TTEthernet"],"prefix":"10.1007","author":[{"given":"Sardaouna","family":"Hamadou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Mullins","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Abdelouahed","family":"Gherbi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,4,2]]},"reference":[{"key":"4_CR1","unstructured":"Integrated Modular Avionics (IMA). Aeronautical Radio, Inc., ARINC 653 (2009)"},{"key":"4_CR2","unstructured":"Avionics Full Duplex Switched Ethernet (AFDX). Aeronautical Radio, Inc., ARINC 664, Part 7, (2010)"},{"key":"4_CR3","unstructured":"Time-Triggered Ethernet (TTEthernet). SAE Aerospace, AS6802 (2011)"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Adnan, M., Scharbarg, J., Ermont, J., Fraboul, C.: Model for worst case delay analysis of an AFDX network using timed automata. In: Proceedings of 15th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2010, pp. 1\u20134, Bilbao, Spain, 13\u201316 Sept 2010. IEEE (2010)","DOI":"10.1109\/ETFA.2010.5641124"},{"issue":"4","key":"4_CR5","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/s11241-012-9148-y","volume":"48","author":"Ahmad Al\u00a0Sheikh","year":"2012","unstructured":"Al\u00a0Sheikh, A., Brun, O., Hladik, P.-E., Prabhu, B.J.: Strictly periodic scheduling in IMA-based architectures. Real-Time Syst. 48(4), 359\u2013386 (2012)","journal-title":"Real-Time Systems"},{"key":"4_CR6","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/j.entcs.2008.03.072","volume":"206","author":"M. Alpuente","year":"2008","unstructured":"Alpuente, M., del Mar Gallardo, M., Pimentel, E., Villanueva, A.: An abstract analysis framework for synchronous concurrent languages based on source-to-source transformation. Electr. Notes. Theor. Comput. Sci. 206, 3\u201321 (2008)","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Bauer, H., Scharbarg, J., Fraboul, C.: Applying and optimizing trajectory approach for performance evaluation of AFDX avionics network. In: Proceedings of 12th IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2009, pp. 1\u20138. IEEE (2009)","DOI":"10.1109\/ETFA.2009.5347083"},{"issue":"4","key":"4_CR8","doi-asserted-by":"publisher","first-page":"521","DOI":"10.1109\/TII.2010.2055877","volume":"6","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 Trans. Ind. Inform. 6(4), 521\u2013533 (2010)","journal-title":"IEEE Trans. Ind. Inform."},{"key":"4_CR9","doi-asserted-by":"crossref","unstructured":"Behjati, R., Yue, T., Nejati, S., Briand, L.C., Selic, B.: Extending SysML with AADL concepts for comprehensive system architecture modeling. In: France, R.B., K\u00fcster, J.M., Bordbar, B., Paige, R.F. (eds.) Lecture Notes in Computer Science, ECMFA, vol. 6698, pp. 236\u2013252. Springer (2011)","DOI":"10.1007\/978-3-642-21470-7_17"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Boniol, F., Wiels, V.: The landing gear system case study. In: Boniol, F., Wiels, V., Ait Ameur, Y., Schewe, K.-D (eds) ABZ 2014: The Landing Gear Case Study, Communications in Computer and Information Science, vol. 433, pp. 1\u201318. Springer International Publishing (2014)","DOI":"10.1007\/978-3-319-07512-9_1"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Bouillard, A., Jouhet, L., Thierry, E.: Tight performance bounds in the worst-case analysis of feed-forward networks. In: INFOCOM 2010. 29th IEEE International Conference on Computer Communications, Joint Conference of the IEEE Computer and Communications Societies, pp. 1316\u20131324. IEEE (2010)","DOI":"10.1109\/INFCOM.2010.5461912"},{"key":"4_CR12","doi-asserted-by":"crossref","unstructured":"Boyer, M., Fraboul, C.: Tightening end to end delay upper bound for AFDX network calculus with rate latency FCFS servers using network calculus (regular paper). In: IEEE International Workshop on Factory Communication Systems (WFCS), pp. 11\u201320. IEEE, May 2008. www.ieee.org\/","DOI":"10.1109\/WFCS.2008.4638728"},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"Br\u00e9mond-Gr\u00e9goire, P., Lee, I., Gerber, R.: Acsr: an algebra of communicating shared resources with dense time and priorities. In: Best, E. (ed.) CONCUR, Lecture Notes in Computer Science, vol. 715, pp. 417\u2013431. Springer (1993)","DOI":"10.1007\/3-540-57208-2_29"},{"issue":"1","key":"4_CR14","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1006\/inco.1999.2879","volume":"161","author":"FS Boer de","year":"2000","unstructured":"de Boer, F.S., Gabbrielli, M., Meo, M.C.: A timed concurrent constraint language. Inf. Comput. 161(1), 45\u201383 (2000)","journal-title":"Inf. Comput."},{"key":"4_CR15","series-title":"SEI Series inSoftware Engineering","volume-title":"Model-Based Engineering with AADL\u2014An Introduction to the SAE Architecture Analysis and Design Language","author":"PH Feiler","year":"2012","unstructured":"Feiler, P.H., Gluch, D.P.: Model-Based Engineering with AADL\u2014An Introduction to the SAE Architecture Analysis and Design Language. SEI Series inSoftware Engineering. Addison-Wesley, Boston (2012)"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Hamadou, S., Mullins, J., Chareton, C., Gherbi, A.: Specifying avionic embedded systems by denotations of the time-triggered constraint-based calculus. In: 2015 IEEE International Conference on Information Reuse and Integration, IRI 2015, pp. 303\u2013310, San Francisco, CA, USA, 13\u201315 Aug 2015. IEEE (2015)","DOI":"10.1109\/IRI.2015.56"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Hamadou, S., Mullins, J., Gherbi, A., Beji, S.: A time-triggered constraint-based calculus for avionic systems. In: 18th IEEE International Symposium on Object\/Component\/Service-Oriented Real-Time Distributed Computing Workshops, ISORC 2015, pp. 60\u201367 (2015)","DOI":"10.1109\/ISORCW.2015.53"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Hentenryck, P.V., Saraswat, V.A., Deville, Y.: Design, implementation, and evaluation of the constraint language cc(FD). In: Podelski, A. (ed.) Constraint Programming. Lecture Notes in Computer Science, vol. 910, pp. 293\u2013316. Springer (1994)","DOI":"10.1007\/3-540-59155-9_15"},{"issue":"1","key":"4_CR19","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1109\/JPROC.2002.805821","volume":"91","author":"H Kopetz","year":"2003","unstructured":"Kopetz, H., Bauer, G.: The time-triggered architecture. Proc. IEEE 91(1), 112\u2013126 (2003)","journal-title":"Proc. IEEE"},{"key":"4_CR20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45318-0","volume-title":"Network Calculus: A Theory of Deterministic Queuing Systems for the Internet","author":"J-Y Boudec Le","year":"2001","unstructured":"Le Boudec, J.-Y., Thiran, P.: Network Calculus: A Theory of Deterministic Queuing Systems for the Internet. Springer-Verlag, Berlin (2001)"},{"key":"4_CR21","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1016\/j.entcs.2009.07.019","volume":"246","author":"A Lescaylle","year":"2009","unstructured":"Lescaylle, A., Villanueva, A.: A tool for generating a symbolic representation of TCCP executions. Electr. Notes Theor. Comput. Sci. 246, 131\u2013145 (2009)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"4_CR22","doi-asserted-by":"crossref","unstructured":"Li, X., Scharbarg, J.L., Fraboul, C.: Improving end-to-end delay upper bounds on an afdx network by integrating offsets in worst-case analysis. In: ETFA, 2010, pp. 1\u20138, Bilbao, Spain, 13\u201316 Sept 2010. IEEE (2010)","DOI":"10.1109\/ETFA.2010.5641178"},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"Mikucionis, M., Larsen, K.G., Rasmussen, J.I., Nielsen, B., Skou, A., Palm, S.U., Pedersen, J.S., Hougaard, P.: Schedulability analysis using Uppaal: Herschel-planck case study. In: Margaria, T., Steffen, B. (eds.) ISoLA (2), Lecture Notes in Computer Science, vol. 6416, pp. 175\u2013190. Springer (2010)","DOI":"10.1007\/978-3-642-16561-0_21"},{"issue":"1","key":"4_CR24","first-page":"145","volume":"9","author":"M Nielsen","year":"2002","unstructured":"Nielsen, M., Palamidessi, C., Valencia, F.D.: Temporal concurrent constraint programming: denotation, logic and applications. Nord. J. Comput. 9(1), 145\u2013188 (2002)","journal-title":"Nord. J. Comput."},{"issue":"4","key":"4_CR25","doi-asserted-by":"publisher","first-page":"535","DOI":"10.1007\/s10601-013-9145-3","volume":"18","author":"C Olarte","year":"2013","unstructured":"Olarte, C., Rueda, C., Valencia, F.D.: Models and emerging trends of concurrent constraint programming. Constraints 18(4), 535\u2013578 (2013)","journal-title":"Constraints"},{"issue":"1","key":"4_CR26","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1016\/j.tcs.2011.08.025","volume":"413","author":"A Philippou","year":"2012","unstructured":"Philippou, A., Lee, I., Sokolsky, O.: Pads: an approach to modeling resource demand and supply for the formal analysis of hierarchical scheduling. Theor. Comput. Sci. 413(1), 2\u201320 (2012)","journal-title":"Theor. Comput. Sci."},{"key":"4_CR27","unstructured":"Saha, I., Roy, S.: A finite state modeling of AFDX frame management using spin. In: Brim, L., Haverkort, B.M., Leucker, M., van\u00a0de Pol, J. (eds.) Formal Methods: Applications and Technology, 11th International Workshop, FMICS 2006 and 5th International Workshop PDMC 2006, Bonn, Revised Selected Papers, Lecture Notes in Computer Science, vol. 4346, pp. 227\u2013243. Springer (2006)"},{"key":"4_CR28","unstructured":"Samarjit, L.T., Thiele, L., Chakraborty, S., Naedele, M.: Real-time calculus for scheduling hard real-time systems. In: ISCAS, pp. 101\u2013104 (2000)"},{"key":"4_CR29","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511792588","volume-title":"Introduction to Bisimulation and Coinduction","author":"D Sangiorgi","year":"2011","unstructured":"Sangiorgi, D.: Introduction to Bisimulation and Coinduction. Cambridge University Press, New York, NY, USA (2011)"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"Saraswat, V.A.: Concurrent constraint programming, ACM Doctoral dissertation awards. MIT Press (1993)","DOI":"10.7551\/mitpress\/2086.001.0001"},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"Saraswat, V.A., Jagadeesan, R., Gupta, V.: Foundations of timed concurrent constraint programming. In: LICS, pp. 71\u201380. IEEE Computer Society (1994)","DOI":"10.1109\/LICS.1994.316085"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"Saraswat, V.A., Jagadeesan, R., Gupta, V.: jcc: integrating timed default concurrent constraint programming into java. In: Moura-Pires, F., Abreu, S. (eds.) EPIA, Lecture Notes in Computer Science, vol. 2902, pp. 156\u2013170. Springer (2003)","DOI":"10.1007\/978-3-540-24580-3_23"},{"key":"4_CR33","doi-asserted-by":"crossref","unstructured":"Saraswat, V.A., Rinard, M.C., Panangaden, P.: Semantic foundations of concurrent constraint programming. In: Wise, D.S. (ed.) POPL, pp. 333\u2013352. ACM Press (1991)","DOI":"10.1145\/99583.99627"},{"key":"4_CR34","doi-asserted-by":"crossref","unstructured":"Smolka, G.: Concurrent constraint programming based on functional programming (extended abstract). In: Hankin, C. (ed.) ESOP, Lecture Notes in Computer Science, volume 1381, pp. 1\u201311. Springer (1998)","DOI":"10.1007\/BFb0053559"},{"key":"4_CR35","doi-asserted-by":"crossref","unstructured":"Sokolsky, O., Lee, I., Clarke, D.: Process-algebraic interpretation of aadl models. In: Kordon, F., Kermarrec, Y. (eds.) Ada-Europe, Lecture Notes in Computer Science, vol. 5570, pp. 222\u2013236. Springer (2009)","DOI":"10.1007\/978-3-642-01924-1_16"},{"key":"4_CR36","unstructured":"Tamas-Selicean, D., Pop, P., Steiner, W.: Timing analysis of rate constrained traffic for the ttethernet communication protocol. In: IEEE 18th International Symposium on Real-Time Distributed Computing, ISORC 2015, Auckland, New Zealand, pp. 119\u2013126, 13\u201317 April, 2015. IEEE Computer Society (2015)"},{"key":"4_CR37","unstructured":"Tiyam, R., Kouhen, A.E., Gherbi, A., Hamadou, S., Mullins, J.: An extension for AADL to model mixed-criticality avionic systems deployed on IMA architectures with TTEthernet. In: Delange, J., Feiler, P.H. (eds.) Proceedings of the First International Workshop on Architecture Centric Virtual Integration co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, ACVI@MoDELS 2014, Valencia, Spain, 29 Sept 2014. CEUR Workshop Proceedings, vol. 1233, CEUR-WS.org (2014)"},{"issue":"1","key":"4_CR38","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11241-014-9214-8","volume":"51","author":"Domi\u0163ian T\u0103ma\u015f\u2013Selicean","year":"2014","unstructured":"T\u0103ma\u015f-Selicean, D., Pop, P., Steiner, W.: Design optimization of TTEthernet-based distributed real-time systems. Real-Time Syst. 1\u201335 (2014)","journal-title":"Real-Time Systems"},{"issue":"11","key":"4_CR39","doi-asserted-by":"publisher","first-page":"1927","DOI":"10.1109\/LCOMM.2014.2358233","volume":"18","author":"L Zhao","year":"2014","unstructured":"Zhao, L., Xiong, H., Zheng, Z., Li, Q.: Improving worst-case latency analysis for rate-constrained traffic in the time-triggered ethernet network. IEEE Commun. Lett. 18(11), 1927\u20131930 (2014)","journal-title":"IEEE Commun. Lett."}],"container-title":["Advances in Intelligent Systems and Computing","Theoretical Information Reuse and Integration"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-31311-5_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,2]],"date-time":"2025-06-02T02:24:44Z","timestamp":1748831084000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-31311-5_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319313092","9783319313115"],"references-count":39,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-31311-5_4","relation":{},"ISSN":["2194-5357","2194-5365"],"issn-type":[{"type":"print","value":"2194-5357"},{"type":"electronic","value":"2194-5365"}],"subject":[],"published":{"date-parts":[[2016]]}}}