{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T06:42:40Z","timestamp":1759992160217,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642019234"},{"type":"electronic","value":"9783642019241"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-01924-1_14","type":"book-chapter","created":{"date-parts":[[2009,6,5]],"date-time":"2009-06-05T13:25:15Z","timestamp":1244208315000},"page":"192-206","source":"Crossref","is-referenced-by-count":3,"title":["Modeling AADL Data Communication with BIP"],"prefix":"10.1007","author":[{"given":"Lei","family":"Pi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Paul","family":"Bodeveix","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mamoun","family":"Filali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"SAE: Architecture Analysis & Design Language (AADL), AS-5506. SAE International (2004)"},{"key":"14_CR2","first-page":"3","volume-title":"SEFM 2006: Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods","author":"A. Basu","year":"2006","unstructured":"Basu, A., Bozga, M., Sifakis, J.: Modeling heterogeneous real-time components in bip. In: SEFM 2006: Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods, Washington, DC, USA, pp. 3\u201312. IEEE Computer Society Press, Los Alamitos (2006)"},{"key":"14_CR3","first-page":"377","volume-title":"ICECCS 2007: Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems","author":"R.B. Franca","year":"2007","unstructured":"Franca, R.B., Bodeveix, J.P., Filali, M., Rolland, J.F., Chemouil, D., Thomas, D.: The AADL behaviour annex \u2013 experiments and roadmap. In: ICECCS 2007: Proceedings of the 12th IEEE International Conference on Engineering Complex Computer Systems, Washington, DC, USA, pp. 377\u2013382. IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"14_CR4","unstructured":"Chkouri, M., Robert, A., Bozga, M., Sifakis, J.: Translating AADL into BIP - application to the verification of real-time systems. In: MoDELS 2008 ACES-MB Workshop Proceedings, pp. 39\u201353 (2008)"},{"key":"14_CR5","unstructured":"Rolland, J.F., Bodeveix, J.P., Chemouil, D., Filali, M., Thomas, D.: Towards a formal semantics for aadl execution model. In: European Congress on Embedded Real-Time Software (ERTS), Toulouse, 29\/01\/08-01\/02\/08"},{"key":"14_CR6","volume-title":"The Design, Automation, and Test in Europe (DATE) conference","author":"Z. Yang","year":"2009","unstructured":"Yang, Z., Pi, L., Hu, K., Ma, D.: Towards a Formal Semantics for the AADL Behavior Annex. In: The Design, Automation, and Test in Europe (DATE) conference. IEEE, Los Alamitos (2009)"},{"key":"14_CR7","doi-asserted-by":"crossref","unstructured":"Andr\u00e9, C., Mallet, F., de\u00a0Simone, R.: Modeling of immediate vs. delayed data communications: from aadl to uml marte. Forum on specification & Design Languages (2007)","DOI":"10.1007\/978-1-4020-8297-9_11"},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"Feiler, P.: Efficient embedded runtime systems through port communication optimization. In: 13th IEEE International Conference on Engineering of Complex Computer Systems, pp. 294\u2013300 (2008)","DOI":"10.1109\/ICECCS.2008.20"},{"key":"14_CR9","unstructured":"Topcased: toolkit in open-source for critical apllications and systems development, http:\/\/www.topcased.org"},{"key":"14_CR10","unstructured":"Berthomieu, B., Bodeveix, J.P., Farail, P., Filali, M., Garavel, H., Gaufillet, P., Lang, F., Vernadat, F.: Fiacre: an intermediate language for model verification in the topcased environment. In: Proceedings of the 4th European Congress on Embedded Real-Time Software ERTS 2008, Toulouse, France (January 2008)"},{"key":"14_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/BFb0031995","volume-title":"Real-Time: Theory in Practice","author":"T.A. Henzinger","year":"1992","unstructured":"Henzinger, T.A., Manna, Z., Pnueli, A.: Timed transition systems. In: Huizing, C., de Bakker, J.W., Rozenberg, G., de Roever, W.-P. (eds.) REX 1991. LNCS, vol.\u00a0600, pp. 226\u2013251. Springer, Heidelberg (1992)"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"Bliudze, S., Sifakis, J.: The algebra of connectors\u00a0\u2014 structuring interaction in BIP. Technical Report TR-2007-3, VERIMAG (2007)","DOI":"10.1145\/1289927.1289935"},{"key":"14_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88387-6_7","volume-title":"Automated Technology for Verification and Analysis","author":"S. Bensalem","year":"2008","unstructured":"Bensalem, S., Bozga, M., Nguyen, T.H., Sifakis, J.: Compositional verification for component-based. systems and application. In: Cha, S(S.), Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. LNCS, vol.\u00a05311. Springer, Heidelberg (2008)"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada-Europe 2009"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01924-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T13:51:43Z","timestamp":1558360303000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01924-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642019234","9783642019241"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01924-1_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}