{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T19:26:40Z","timestamp":1725737200387},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642390128"},{"type":"electronic","value":"9783642390135"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39013-5_8","type":"book-chapter","created":{"date-parts":[[2013,6,25]],"date-time":"2013-06-25T08:30:46Z","timestamp":1372149046000},"page":"101-117","source":"Crossref","is-referenced-by-count":7,"title":["DPMP: A Software Pattern for Real-Time Tasks Merge"],"prefix":"10.1007","author":[{"given":"Rania","family":"Mzid","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chokri","family":"Mraidha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Asma","family":"Mehiaoui","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sara","family":"Tucci-Piergiovanni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Philippe","family":"Babau","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohamed","family":"Abid","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","doi-asserted-by":"crossref","unstructured":"Mraidha, C., Tucci-Piergiovanni, S., Gerard, S.: Optimum: A MARTE-based methodology for Schedulability Analysis at Early Design Stages. In: Proceeding of the Third IEEE International Workshop UML and Formal Methods (UML&FM 2010), Shanghai, China (2010)","DOI":"10.1145\/1921532.1921555"},{"key":"8_CR2","doi-asserted-by":"crossref","unstructured":"Singhoff, F., Legrand, J., Nana, L., Marc, L.: Cheddar: a Flexible Real Time Scheduling Framework. In: International ACM SIGADA Conference, Atlanta (November 2004)","DOI":"10.1145\/1032297.1032298"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"Mzid, R., Mraidha, C., Babau, J.-P., Abid, M.: A MDD Approach for RTOS Integration on Valid Real-Time Design Model. In: The 38th Euromicro Conference On software Engineering and Advanced Applications (SEAA 2012), Cesme, Izmir, Turkey (September 2012)","DOI":"10.1109\/SEAA.2012.19"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Mzid, R., Mraidha, C., Babau, J.-P., Abid, M.: Real-Time Design Models to RTOS-Specific Models Refinement Verification. In: The 5th International Workshop on Model Based Architecting and construction of Embedded Systems ACES-MB 2012 in Conjunction with the 15th International Conference on Model Driven Engineering Languages & Systems MODELS 2012, Innsbruck, Austria (September 2012)","DOI":"10.1145\/2432631.2432636"},{"key":"8_CR5","unstructured":"Object Management Group, UML Profile for MARTE: Modeling and Analysis of Real-Time Embedded Systems, Object Management Group, Inc. (September 2010) OMG document number: ptc\/2010-08-32"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Goodenough, J.B., Sha, L.: The priority ceiling protocol: A method for minimizing the blocking of high priority Ada tasks, vol.\u00a08. ACM (1988)","DOI":"10.1145\/58612.59371"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Klein, M.H., Ralya, T., Pollak, B., Obenza, R., Harbour, M.G.: A practitioners handbook for real-time analysis. Kluwer Academic Publishers (1993)","DOI":"10.1007\/978-1-4615-2796-1"},{"key":"8_CR8","unstructured":"Labrosse, J.J.: MicroC\/OS-II The Real-Time Kernel"},{"key":"8_CR9","unstructured":"Anthony. J. MASSA Embedded Software Development with Ecos"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Thomas, F., Delatour, J., Terrier, F., Gerad, S.: Toward a framework for explicit platform-based transformations. In: Proceeding of the 11th IEEE Symposium on Object Oriented Real-Time Distributed Computing (ISORC), Orlondo, Florida, USA (May 2008)","DOI":"10.1109\/ISORC.2008.64"},{"key":"8_CR11","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/ICECCS.2011.12","volume-title":"Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems","author":"W.E.H. Chehade","year":"2011","unstructured":"Chehade, W.E.H., Radermacher, A., Terrier, F., Selic, B., Gerard, S.: A model-driven framework for the development of portable real-time embedded systems. In: Proceedings of the 16th IEEE International Conference on Engineering of Complex Computer Systems, pp. 45\u201354. IEEE Computer Society, Las Vegas (2011)"},{"key":"8_CR12","unstructured":"Bartolini, C., Lipari, G., Natale, M.D.: From functional blocks to the synthesis of the architectural model in embedded real-time applications. In: Proc. IEEE Real Time and Embedded Technology and Applications Symposium (RTAS), pp. 458\u2013467 (2005)"},{"key":"8_CR13","unstructured":"Moore, A.: Extending the RT-prole le to support the OSEK infrastructure. In: Proceedings of the 5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, Washington, DC, pp. 341\u2013347 (April 2002)"},{"key":"8_CR14","unstructured":"Yang, G., Zhao, M., Wang, L., Wu, Z.: Model-based Design and Verification of Automotive Electronics Compliant with OSEK\/VDX. presented at The Secend International Conference on Embedded Software and System (ICESS), Xi\u2019an (2005)"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1007\/11535409_63","volume-title":"Embedded Software and Systems","author":"M. Zhao","year":"2005","unstructured":"Zhao, M., Wu, Z., Yang, G., Wang, L., Chen, W.: SmartOSEK: A Dependable Platform for Automobile Electronics. In: Wu, Z., Chen, C., Guo, M., Bu, J. (eds.) ICESS 2004. LNCS, vol.\u00a03605, pp. 437\u2013442. Springer, Heidelberg (2005)"},{"key":"8_CR16","unstructured":"Becker, L.B., Holtz, R., Pereira, C.E.: On Mapping RTUML Specifications to RT-Java API: Bridging the Gap. In: 5th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing, Washington, USA, pp. 348-355 (2002)"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-39013-5_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T21:37:35Z","timestamp":1558301855000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-39013-5_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642390128","9783642390135"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39013-5_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}