{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:51:07Z","timestamp":1740099067883,"version":"3.37.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319929965"},{"type":"electronic","value":"9783319929972"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-92997-2_18","type":"book-chapter","created":{"date-parts":[[2018,5,28]],"date-time":"2018-05-28T08:13:16Z","timestamp":1527495196000},"page":"279-292","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Modeling AUTOSAR Implementations in Simulink"],"prefix":"10.1007","author":[{"given":"Jian","family":"Chen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manar H.","family":"Alalfi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas R.","family":"Dean","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Ramesh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,5,29]]},"reference":[{"key":"18_CR1","unstructured":"AUTOSAR: AUTOSAR development partnership (2018). \nhttp:\/\/www.autosar.org"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"Cremona, F., Morelli, M., Di Natale, M.: TRES: a modular representation of schedulers, tasks, and messages to control simulations in simulink. In: Proceedings of the 30th Annual ACM Symposium on Applied Computing, pp. 1940\u20131947 (2015)","DOI":"10.1145\/2695664.2695876"},{"key":"18_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-642-12566-9_5","volume-title":"Foundations of Computer Software. Future Trends and Techniques for Development","author":"P Derler","year":"2010","unstructured":"Derler, P., Naderlinger, A., Pree, W., Resmerita, S., Templ, J.: Simulation of LET models in simulink and ptolemy. In: Choppy, C., Sokolsky, O. (eds.) Monterey Workshop 2008. LNCS, vol. 6028, pp. 83\u201392. Springer, Heidelberg (2010). \nhttps:\/\/doi.org\/10.1007\/978-3-642-12566-9_5"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Ferrari, A., Di Natale, M., Gentile, G., Reggiani, G., Gai, P.: Time and memory tradeoffs in the implementation of AUTOSAR components. In: Proceedings of 2009 Design, Automation & Test in Europe Conference & Exhibition, pp. 864\u2013869. IEEE, April 2009","DOI":"10.1109\/DATE.2009.5090783"},{"key":"18_CR5","unstructured":"Henriksson, D., Cervin, A., \u00c5rz\u00e9n, K.E.: TrueTime: real-time control system simulation with MATLAB\/Simulink. In: Proceedings of the Nordic MATLAB Conference (2003)"},{"key":"18_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1007\/3-540-45449-7_12","volume-title":"Embedded Software","author":"TA Henzinger","year":"2001","unstructured":"Henzinger, T.A., Horowitz, B., Kirsch, C.M.: Giotto: a time-triggered language for embedded programming. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 166\u2013184. Springer, Heidelberg (2001). \nhttps:\/\/doi.org\/10.1007\/3-540-45449-7_12"},{"issue":"9","key":"18_CR7","doi-asserted-by":"publisher","first-page":"1175","DOI":"10.1109\/12.57058","volume":"30","author":"L Sha","year":"1990","unstructured":"Sha, L., Rajkumar, R., Lehoczky, J.P.: Priority inheritance protocols: an approach to real-time synchronization. IEEE Trans. Comput. 30(9), 1175\u20131185 (1990)","journal-title":"IEEE Trans. Comput."},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Lehoczky, J., Sha, L., Ding, Y.: The rate monotonic scheduling algorithm: exact characterization and average case behavior. In: Proceedings of Real-Time Systems Symposium, pp. 0\u20135 (1989)","DOI":"10.1109\/REAL.1989.63567"},{"issue":"1","key":"18_CR9","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1145\/321738.321743","volume":"20","author":"CL Liu","year":"1973","unstructured":"Liu, C.L., Layland, J.W.: Scheduling algorithms for multiprogramming in a hard- real-time environment scheduling algorithms for multiprogramming. J. Assoc. Comput. Mach. 20(1), 46\u201361 (1973)","journal-title":"J. Assoc. Comput. Mach."},{"key":"18_CR10","unstructured":"MathWorks: Developing S-Functions, R2017b (2017). \nhttp:\/\/www.mathworks.com"},{"key":"18_CR11","unstructured":"MathWorks: Simulink User\u2019s Guide, R2017b (2017). \nhttp:\/\/www.mathworks.com"},{"key":"18_CR12","unstructured":"MathWorks: Stateflow User\u2019s Guide, R2017b (2017). \nhttp:\/\/www.mathworks.com"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Naderlinger, A.: Simulating preemptive scheduling with timing-aware blocks in Simulink. In: Proceedings of Design, Automation & Test in Europe Conference & Exhibition (DATE), pp. 758\u2013763. IEEE, March 2017","DOI":"10.23919\/DATE.2017.7927091"},{"key":"18_CR14","unstructured":"Naderlinger, A., Templ, J., Pree, W.: Simulating real-time software components based on logical execution time. In: Proceedings of the 2009 Summer Computer Simulation Conference, SCSC 2009, Vista, CA, Society for Modeling & Simulation International, pp. 148\u2013155 (2009)"},{"key":"18_CR15","unstructured":"The AUTOSAR Consortium: Applying Simulink to AUTOSAR, R3.1 (2006)"},{"key":"18_CR16","unstructured":"The AUTOSAR Consortium: AUTOSAR Methodology, R4.3 (2018)"},{"key":"18_CR17","unstructured":"The AUTOSAR Consortium: The AUTOSAR Standard, R4.3 (2018)"},{"key":"18_CR18","doi-asserted-by":"crossref","unstructured":"Zeng, H., Di Natale, M.: Mechanisms for guaranteeing data consistency and flow preservation in AUTOSAR software on multi-core platforms. In: SIES 2011\u20136th IEEE International Symposium on Industrial Embedded Systems, Conference Proceedings, pp. 140\u2013149. IEEE, June 2011","DOI":"10.1109\/SIES.2011.5953656"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-92997-2_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,5,28]],"date-time":"2018-05-28T08:19:29Z","timestamp":1527495569000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-92997-2_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319929965","9783319929972"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-92997-2_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}