{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T17:22:47Z","timestamp":1725988967557},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030002435"},{"type":"electronic","value":"9783030002442"}],"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-030-00244-2_5","type":"book-chapter","created":{"date-parts":[[2018,8,30]],"date-time":"2018-08-30T00:12:38Z","timestamp":1535587958000},"page":"67-82","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Checking Consistency of Real-Time Requirements on Distributed Automotive Control Software Early in the Development Process Using UPPAAL"],"prefix":"10.1007","author":[{"given":"Jan","family":"Toennemann","sequence":"first","affiliation":[]},{"given":"Andreas","family":"Rausch","sequence":"additional","affiliation":[]},{"given":"Falk","family":"Howar","sequence":"additional","affiliation":[]},{"given":"Benjamin","family":"Cool","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,30]]},"reference":[{"key":"5_CR1","unstructured":"SymTA\/S. \nhttps:\/\/auto.luxoft.com\/uth\/timing-analysis-tools\/"},{"key":"5_CR2","unstructured":"TA Simulator. \nhttps:\/\/www.timing-architects.com\/"},{"key":"5_CR3","unstructured":"UPPAAL. \nhttp:\/\/www.uppaal.org\/"},{"key":"5_CR4","unstructured":"Blom, H., et al.: Timing model - tools, algorithms, languages, methodology, use cases. Technical report (2012)"},{"key":"5_CR5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4614-0676-1","volume-title":"Hard Real-Time Computing Systems","author":"GC Buttazzo","year":"2011","unstructured":"Buttazzo, G.C.: Hard Real-Time Computing Systems. Springer, Boston (2011). \nhttps:\/\/doi.org\/10.1007\/978-1-4614-0676-1"},{"issue":"6","key":"5_CR6","doi-asserted-by":"publisher","first-page":"438","DOI":"10.7763\/IJCTE.2017.V9.1182","volume":"9","author":"B Cho","year":"2017","unstructured":"Cho, B., Kim, T., Choi, J.-Y.: CAN database verification framework using UPPAAL. Int. J. Comput. Theor. Eng. 9(6), 438\u2013442 (2017)","journal-title":"Int. J. Comput. Theor. Eng."},{"issue":"3","key":"5_CR7","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1109\/TII.2009.2027013","volume":"5","author":"T Cucinotta","year":"2009","unstructured":"Cucinotta, T., et al.: A real-time service-oriented architecture for industrial automation. IEEE Trans. Ind. Inform. 5(3), 267\u2013277 (2009)","journal-title":"IEEE Trans. Ind. Inform."},{"key":"5_CR8","unstructured":"Frey, P.: A timing model for real-time control-systems and its application on simulation and monitoring of AUTOSAR systems. Ph.D. thesis (2011)"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/s41104-016-0007-z","volume":"1","author":"J Frtunikj","year":"2016","unstructured":"Frtunikj, J.: Safety framework and platform for functions of future automotive E\/E systems. Automot. Engine Technol. 1, 93\u2013105 (2016)","journal-title":"Automot. Engine Technol."},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"115","DOI":"10.4271\/2015-01-0177","volume":"8","author":"T Fuhrman","year":"2015","unstructured":"Fuhrman, T., Wang, S., Jersak, M., Richter, K.: On designing software architectures for next-generation multi-core ECUs. SAE Int. J. Passeng. Cars Electron. Electr. Syst. 8, 115\u2013123 (2015)","journal-title":"SAE Int. J. Passeng. Cars Electron. Electr. Syst."},{"key":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-319-19458-5_4","volume-title":"Formal Methods for Industrial Critical Systems","author":"JH Kim","year":"2015","unstructured":"Kim, J.H., Larsen, K.G., Nielsen, B., Miku\u010dionis, M., Olsen, P.: Formal analysis and testing of real-time automotive systems using UPPAAL tools. In: N\u00fa\u00f1ez, M., G\u00fcdemann, M. (eds.) FMICS 2015. LNCS, vol. 9128, pp. 47\u201361. Springer, Cham (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-19458-5_4"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Leteinturier, P., Brewerton, S., Scheibert, K.: Multicore benefits & challenges for automotive applications. In: SAE Technical Paper. SAE International, April 2008","DOI":"10.4271\/2008-01-0989"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Line, C., Manzie, C., Good, M.: Control of an electromechanical brake for automotive brake-by-wire systems with an adapted motion control architecture. In: SAE Technical Paper Series. SAE International, May 2004","DOI":"10.4271\/2004-01-2050"},{"key":"5_CR14","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.entcs.2014.12.004","volume":"309","author":"C Pan","year":"2014","unstructured":"Pan, C., Guo, J., Zhu, L., Shi, J., Zhu, H., Zhou, X.: Modeling and verification of CAN bus with application layer using UPPAAL. Electron. Notes Theor. Comput. Sci. 309, 31\u201349 (2014)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Pretschner, A., Broy, M., Kruger, I.H., Stauner, T.: Software engineering for automotive systems: a roadmap. In: Future of Software Engineering (FOSE 2007). IEEE, May 2007","DOI":"10.1109\/FOSE.2007.22"},{"key":"5_CR16","series-title":"IFIP Advances in Information and Communication Technology","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04284-3","volume-title":"Analysis, Architectures and Modelling of Embedded Systems","year":"2009","unstructured":"Rettberg, A., Zanella, M.C., Amann, M., Keckeisen, M., Rammig, F.J. (eds.): IESS 2009. IFIPAICT, vol. 310. Springer, Heidelberg (2009). \nhttps:\/\/doi.org\/10.1007\/978-3-642-04284-3"},{"key":"5_CR17","unstructured":"Sagstetter, F.: Schedule synthesis for time-triggered automotive architectures. Dissertation, Technische Universit\u00e4t M\u00fcnchen, M\u00fcnchen (2016)"},{"key":"5_CR18","unstructured":"Scheickl, O.: Timing constraints in distributed development of automotive real-time systems. Dissertation, Technische Universit\u00e4t M\u00fcnchen, M\u00fcnchen (2011)"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Schneider, R., Brewerton, S., Eberhard, D.: Multicore vs safety. In: SAE Technical Paper. SAE International, April 2010","DOI":"10.4271\/2010-01-0207"},{"issue":"9","key":"5_CR20","doi-asserted-by":"publisher","first-page":"463","DOI":"10.1016\/S0141-9331(00)00099-5","volume":"24","author":"H Thane","year":"2001","unstructured":"Thane, H., Hansson, H.: Testing distributed real-time systems. Microprocess. Microsyst. 24(9), 463\u2013478 (2001)","journal-title":"Microprocess. Microsyst."}],"container-title":["Lecture Notes in Computer Science","Formal Methods for Industrial Critical Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-00244-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,8,30]],"date-time":"2018-08-30T00:18:52Z","timestamp":1535588332000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-00244-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030002435","9783030002442"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-00244-2_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}