{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,31]],"date-time":"2025-05-31T04:06:44Z","timestamp":1748664404033,"version":"3.41.0"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319226880"},{"type":"electronic","value":"9783319226897"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-22689-7_7","type":"book-chapter","created":{"date-parts":[[2015,8,31]],"date-time":"2015-08-31T08:25:49Z","timestamp":1441009549000},"page":"87-101","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["New Solutions for Useful Execution Models of Communicating Adaptive RA2DL"],"prefix":"10.1007","author":[{"given":"Farid","family":"Adaili","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olfa","family":"Mosbahi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Khalgui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samia","family":"Bouzefrane","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,9,1]]},"reference":[{"key":"7_CR1","unstructured":"Adaili, F., Mosbahi, O., Khalgui, M., Bouzefrane, S.: Ra2dl: new flexible solution for adaptive aadl-based control components. In: 5th International Conference on Pervasive and Embedded Computing and Communication Systems (2015)"},{"key":"7_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1007\/11596356_18","volume-title":"Embedded and Ubiquitous Computing \u2013 EUC 2005","author":"C Angelov","year":"2005","unstructured":"Angelov, C., Sierszecki, K., Marian, N.: Design models for reusable and reconfigurable state machines. In: Yang, L.T., Amamiya, M., Liu, Z., Guo, M., Rammig, F.J. (eds.) EUC 2005. LNCS, vol. 3824, pp. 152\u2013163. Springer, Heidelberg (2005)"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Baudry, B., Fleurey, F., Jezequel, J.-M., Le Traon, Y.: Automatic test case optimization using a bacteriological adaptation model: application to .net components. In: Proceedings of the 17th IEEE International Conference on Automated Software Engineering, ASE 2002, pp. 253\u2013256 (2002)","DOI":"10.1109\/ASE.2002.1115023"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Costa, P., Coulson, G., Mascolo, C., Picco, G.P., Zachariadis, S.: The runes middleware: a reconfigurable component-based approach to networked embedded systems. In: IEEE 16th International Symposium on Personal, Indoor and Mobile Radio Communications, PIMRC 2005, vol. 2, pp. 806\u2013810, September 2005","DOI":"10.1109\/PIMRC.2005.1651554"},{"issue":"3","key":"7_CR5","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1016\/j.compind.2009.09.004","volume":"61","author":"M Khalgui","year":"2010","unstructured":"Khalgui, M.: Nces-based modelling and ctl-based verification of reconfigurable embedded control systems. Comput. Ind. 61(3), 198\u2013212 (2010)","journal-title":"Comput. Ind."},{"issue":"1","key":"7_CR6","first-page":"18:1","volume":"12","author":"M Khalgui","year":"2013","unstructured":"Khalgui, M.: Distributed reconfigurations of autonomous iec61499 systems. ACM Trans. Embed. Comput. Syst. 12(1), 18:1\u201318:23 (2013)","journal-title":"ACM Trans. Embed. Comput. Syst."},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Lee, J., Kim, J.-S.: A methodology for developing component-based software with generation and assembly processes. In: The 6th International Conference on Advanced Communication Technology, vol. 2, pp. 696\u2013699, February 2004","DOI":"10.1109\/ICACT.2004.1292959"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Magee, J., Kramer, J.: Dynamic structure in software architectures. In: Proceedings of the 4th ACM SIGSOFT Symposium on Foundations of Software Engineering, SIGSOFT 1996, pp. 3\u201314. ACM, New York (1996)","DOI":"10.1145\/250707.239104"},{"key":"7_CR9","unstructured":"SAE: Architecture analysis & design language (standard SAE as5506), September 2004"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"227","DOI":"10.1007\/978-3-642-12566-9_12","volume-title":"Foundations of Computer Software","author":"O Sokolsky","year":"2010","unstructured":"Sokolsky, O., Chernoguzov, A.: Performance analysis of AADL models using real-time calculus. In: Choppy, C., Sokolsky, O. (eds.) Monterey Workshop 2008. LNCS, vol. 6028, pp. 227\u2013249. Springer, Heidelberg (2010)"},{"key":"7_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/11499909_6","volume-title":"Reliable Software Technology \u2013 Ada-Europe 2005","author":"T Vergnaud","year":"2005","unstructured":"Vergnaud, T., Pautet, L., Kordon, F.: Using the AADL to describe distributed applications from middleware to software components. In: Vardanega, T., Wellings, A.J. (eds.) Ada-Europe 2005. LNCS, vol. 3555, pp. 67\u201378. Springer, Heidelberg (2005)"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Wang, Y., Ma, D., Zhao, Y., Zou, L., Zhao, X.: An aadl-based modeling method for arinc653-based avionics software. In: 2011 IEEE 35th Annual Computer Software and Applications Conference (COMPSAC), pp. 224\u2013229, July 2011","DOI":"10.1109\/COMPSAC.2011.36"}],"container-title":["Communications in Computer and Information Science","Intelligent Software Methodologies, Tools and Techniques"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22689-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T09:22:37Z","timestamp":1748596957000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-22689-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319226880","9783319226897"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22689-7_7","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"1 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}