{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T09:06:31Z","timestamp":1725872791538},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319502298"},{"type":"electronic","value":"9783319502304"}],"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-50230-4_23","type":"book-chapter","created":{"date-parts":[[2016,11,30]],"date-time":"2016-11-30T08:31:26Z","timestamp":1480494686000},"page":"303-316","source":"Crossref","is-referenced-by-count":1,"title":["An Experience Integrating Response-Time Analysis and Optimization with an MDE Strategy"],"prefix":"10.1007","author":[{"given":"Juan M.","family":"Rivas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. Javier","family":"Guti\u00e9rrez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mario","family":"Aldea","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C\u00e9sar","family":"Cuevas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Gonz\u00e1lez Harbour","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 Mar\u00eda","family":"Drake","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Julio L.","family":"Medina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laurent","family":"Rioux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rafik","family":"Henia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Sordon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,12,1]]},"reference":[{"issue":"2","key":"23_CR1","doi-asserted-by":"crossref","first-page":"26","DOI":"10.1109\/MC.2006.58","volume":"39","author":"DC Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Model-driven engineering. IEEE Comput. 39(2), 26\u201331 (2006)","journal-title":"IEEE Comput."},{"key":"23_CR2","unstructured":"Object Management Group: UML profile for MARTE: modeling and analysis of real time embedded systems, version 1.1. OMG document formal\/2011\u201006\u201002 (2011)"},{"key":"23_CR3","unstructured":"Rioux, L., Henia, R., Sordon, N., Gonz\u00e1lez Harbour, M., Guti\u00e9rrez, J.J., Rivas, J.M., Cuevas, C., Drake, J.M., Medina, J.L.: Schedulability analysis and optimization in a model-based integrated toolchain: synthetic MARTE models for optimizing real-time design with MAST and TEMPO. In: Proceedings of the Forum on specification & Design Languages, FDL 2015, Barcelona, Spain, Demo Night Session (2015)"},{"key":"23_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1921532.1921555","volume":"36","author":"C Mraidha","year":"2011","unstructured":"Mraidha, C., Tucci-Piergiovanni, S., G\u00e9rard, S.: Optimum: a MARTE-based methodology for schedulability analysis at early design stages. ACM SIGSOFT Softw. Eng.Notes 36, 1\u20138 (2011)","journal-title":"ACM SIGSOFT Softw. Eng.Notes"},{"key":"23_CR5","unstructured":"Ouhammou, Y., Grolleau, E., Richard, M., Richard, P.: Towards a model-based approach guiding the scheduling analysis of real-time systems design. In: Proceedings of the 5th International WATERS Workshop, pp. 19\u201324 (2014)"},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Falkner, K., Chiprianov, V., Falkner, N.J., Szabo, C., Hill, J., Puddy, G., Fraser, D., Johnston, A., Rieckmann, M., Wallis, A.: Model-driven performance prediction of distributed real-time embedded defense systems. In: Proceedings of the 18th International Conference on Engineering of Complex Computer Systems (ICECCS), pp. 155\u2013158 (2013)","DOI":"10.1109\/ICECCS.2013.29"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"P\u00e9rez, H., Guti\u00e9rrez, J.J., Asensio, E., Zamorano, J., de la Puente, J.A.: Model-driven development of high-integrity distributed real-time systems using the end-to-end flow model. In: Proceedings of the 37th Euromicro SEAA Conference, pp. 209\u2013216 (2011)","DOI":"10.1109\/SEAA.2011.40"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Henia, R., Rioux, L., Sordon, N., Garcia, G.-E., Panunzio, M.: Integrating formal timing analysis in the realtime software development process. In: WOSP 2015, pp. 35\u201340 (2015)","DOI":"10.1145\/2693561.2693562"},{"key":"23_CR9","doi-asserted-by":"crossref","unstructured":"Gonz\u00e1lez Harbour, M., Guti\u00e9rrez, J.J., Palencia, J.C., Drake, J.M.: MAST: modeling and analysis suite for real time applications. In: Proceedings of the 13th Euromicro Conference on Real-Time Systems, Delft, The Netherlands, pp. 125\u2013134 (2001)","DOI":"10.1109\/EMRTS.2001.934015"},{"issue":"6","key":"23_CR10","doi-asserted-by":"crossref","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. J. Syst. Architect. 56(6), 331\u2013340 (2013). Elsevier","journal-title":"J. Syst. Architect."},{"key":"23_CR11","unstructured":"MAST. http:\/\/www.mast.unican.es"},{"issue":"2\u20133","key":"23_CR12","doi-asserted-by":"crossref","first-page":"117","DOI":"10.1016\/0165-6074(94)90080-9","volume":"40","author":"KW Tindell","year":"1994","unstructured":"Tindell, K.W., Clark, J.: Holistic schedulability analysis for distributed hard real-time systems. Microprocessing Microprogramming 40(2\u20133), 117\u2013134 (1994)","journal-title":"Microprocessing Microprogramming"},{"issue":"1","key":"23_CR13","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1007\/s11241-008-9050-9","volume":"40","author":"J M\u00e4ki-Turja","year":"2008","unstructured":"M\u00e4ki-Turja, J., Nolin, M.: Efficient implementation of tight response-times for tasks with offsets. Real-Time Syst. J. 40(1), 77\u2013116 (2008)","journal-title":"Real-Time Syst. J."},{"key":"23_CR14","doi-asserted-by":"crossref","unstructured":"Palencia, J.C., Gonz\u00e1lez Harbour, M.: Exploiting precedence relations in the schedulability analysis of distributed real-time systems. In: Proceedings of the 20th Real-Time Systems Symposium, Phoenix, AZ, USA, pp. 328\u2013339. IEEE (1999)","DOI":"10.1109\/REAL.1999.818860"},{"key":"23_CR15","unstructured":"SymTA\/S. https:\/\/www.symtavision.com\/"},{"issue":"1","key":"23_CR16","first-page":"31","volume":"72","author":"J Fr\u00e9d\u00e9ric","year":"2008","unstructured":"Fr\u00e9d\u00e9ric, J., Allilaire, F., B\u00e9zivin, J., Kurtev, I.: ATL: a model transformation tool. Sci. Comput. Program. 72(1), 31\u201339 (2008)","journal-title":"Sci. Comput. Program."},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Rivas, J.M., Guti\u00e9rrez, J.J., Palencia, J.C., Gonz\u00e1lez Harbour, M.: Schedulability analysis and optimization of heterogeneous EDF and FP distributed real-time systems. In: Proceedings of the 23rd Euromicro Conference on Real-Time Systems, Porto, pp. 195\u2013204 (2011)","DOI":"10.1109\/ECRTS.2011.26"}],"container-title":["Lecture Notes in Computer Science","Software Technologies: Applications and Foundations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-50230-4_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,15]],"date-time":"2019-09-15T23:28:10Z","timestamp":1568590090000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-50230-4_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319502298","9783319502304"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-50230-4_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}