{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:46:04Z","timestamp":1725864364493},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319448169"},{"type":"electronic","value":"9783319448176"}],"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-44817-6_23","type":"book-chapter","created":{"date-parts":[[2016,9,2]],"date-time":"2016-09-02T11:55:25Z","timestamp":1472817325000},"page":"269-280","source":"Crossref","is-referenced-by-count":7,"title":["A GSN Approach to SEooC for an Automotive Hall Sensor"],"prefix":"10.1007","author":[{"given":"Xabier","family":"Larrucea","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Silvana","family":"Mergen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alastair","family":"Walker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,1]]},"reference":[{"issue":"1","key":"23_CR1","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1109\/MVT.2011.2182226","volume":"7","author":"C Chen","year":"2012","unstructured":"Chen, C., Sun, W., Zhou, X., Feng, X.: Magnetic induction model of the hall sensor: analysis and simulation of an automotive shift. IEEE Veh. Technol. Mag. 7(1), 38\u201343 (2012)","journal-title":"IEEE Veh. Technol. Mag."},{"issue":"3","key":"23_CR2","doi-asserted-by":"crossref","first-page":"1376","DOI":"10.1109\/TIE.2007.911915","volume":"55","author":"W-S Ra","year":"2008","unstructured":"Ra, W.-S., Lee, H.-J., Park, J.B., Yoon, T.-S.: Practical pinch de-tection algorithm for smart automotive power window control systems. IEEE Trans. Ind. Electron. 55(3), 1376\u20131384 (2008)","journal-title":"IEEE Trans. Ind. Electron."},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Romero, L., Concha, A.: Control of position\/velocity in a mobile robot using DC brushless motors. In: Electronics, Robotics and Automotive Mechanics Conference (CERMA 2006), vol. 2, pp. 200\u2013205 (2006)","DOI":"10.1109\/CERMA.2006.29"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Ausserlechner, U., Motz, M., Holliber, M.: Drift of magnetic sensitivity of smart hall sensors due to moisture absorbed by the IC-package. In: Proceedings of IEEE Sensors, pp. 455\u2013458 (2004)","DOI":"10.1109\/ICSENS.2004.1426198"},{"issue":"7","key":"23_CR5","doi-asserted-by":"crossref","first-page":"1473","DOI":"10.1109\/JPROC.2007.898862","volume":"95","author":"DG Messerschmitt","year":"2007","unstructured":"Messerschmitt, D.G.: Rethinking components: from hardware and software to systems. Proc. IEEE 95(7), 1473\u20131496 (2007)","journal-title":"Proc. IEEE"},{"key":"23_CR6","unstructured":"Wells Counter point: Understanding hall effect sensors, Wells Counter point (1999). http:\/\/www.wellsve.com\/sft503\/Counterpoint3_1.pdf . Accessed 31 Mar 2016"},{"key":"23_CR7","unstructured":"International Standard Organisation: ISO 26262-1:2011- road vehicles \u2013 Functional safety \u2013 Part 1: Vocabulary (2011)"},{"key":"23_CR8","unstructured":"International Standard Organisation: ISO 26262-10:2012- road vehicles \u2013 Functional safety \u2013 Part 10: Guideline on ISO 26262 (2012)"},{"key":"23_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4471-2312-5","volume-title":"GSN - The Goal Structuring Notation","author":"J Spriggs","year":"2012","unstructured":"Spriggs, J.: GSN - The Goal Structuring Notation. Springer, London (2012)"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"Nair, S., de la Vara, J.L., Sabetzadeh, M., Briand, L.: Classification, structuring, and assessment of evidence for safety \u2013 a systematic literature review. In: 2013 IEEE Sixth International Conference on Software Testing, Verification Validation, pp. 94\u2013103, March 2013","DOI":"10.1109\/ICST.2013.30"},{"key":"23_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1007\/978-3-642-33678-2_26","volume-title":"Computer Safety, Reliability, and Security","author":"A Ayoub","year":"2012","unstructured":"Ayoub, A., Kim, B., Lee, I., Sokolsky, O.: A systematic approach to justifying sufficient confidence in software safety arguments. In: Ortmeier, F., Lipaczewski, M. (eds.) SAFECOMP 2012. LNCS, vol. 7612, pp. 305\u2013316. Springer, Heidelberg (2012)"},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Fabbrini, F., Fusani, M., Lami, G.: One decade of software process assessments in automotive: a retrospective analysis. In: 2009 Fourth International Multi-conference Computing Global Information Technology, pp. 92\u201397 (2009)","DOI":"10.1109\/ICCGI.2009.50"},{"key":"23_CR13","unstructured":"Origin Consulting: \u201cGSN Community Standard Version 1,\u201d Origin Consulting (2011). http:\/\/www.goalstructuringnotation.info\/documents\/GSN_Standard.pdf . Accessed 06 Apr 2016"}],"container-title":["Communications in Computer and Information Science","Systems, Software and Services Process Improvement"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-44817-6_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T00:51:57Z","timestamp":1568335917000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-44817-6_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319448169","9783319448176"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-44817-6_23","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2016]]}}}