{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T14:40:05Z","timestamp":1748961605106,"version":"3.41.0"},"publisher-location":"Cham","reference-count":12,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319389202"},{"type":"electronic","value":"9783319389219"}],"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-38921-9_8","type":"book-chapter","created":{"date-parts":[[2016,5,15]],"date-time":"2016-05-15T07:43:33Z","timestamp":1463298213000},"page":"74-85","source":"Crossref","is-referenced-by-count":0,"title":["SDK Definition for Safety Functions for UART, CAN and TCP\/IP Communications"],"prefix":"10.1007","author":[{"given":"Leonardo J.","family":"Valdivia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gonzalo","family":"Solas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Javier","family":"A\u00f1orga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Saioa","family":"Arrizabalaga","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"I\u00f1igo","family":"Adin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jaizki","family":"Mendizabal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,5,16]]},"reference":[{"key":"8_CR1","volume-title":"Dependability Assurance of Real-Time Embedded Control Systems","author":"F Flammini","year":"2010","unstructured":"Flammini, F.: Dependability Assurance of Real-Time Embedded Control Systems. Nova Science, New York (2010)"},{"key":"8_CR2","first-page":"547","volume":"33","author":"JC Knight","year":"2002","unstructured":"Knight, J.C.: Safety critical systems: challenges and directions. IEEE Trans. Softw. Eng. 33, 547\u2013550 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"8_CR3","volume-title":"Practical Design of Safety-Critical Computer Systems","author":"WR Dunn","year":"2003","unstructured":"Dunn, W.R.: Practical Design of Safety-Critical Computer Systems. Reliability Press, Solvang (2003)"},{"issue":"3","key":"8_CR4","doi-asserted-by":"crossref","first-page":"319","DOI":"10.1109\/TR.2004.832819","volume":"53","author":"G Latif-Shabgahi","year":"2004","unstructured":"Latif-Shabgahi, G., Bass, J.M., Bennett, S.: A taxonomy for software voting algorithms used in safety-critical systems. IEEE Trans. Reliab. 53(3), 319\u2013328 (2004)","journal-title":"IEEE Trans. Reliab."},{"issue":"3","key":"8_CR5","first-page":"822","volume":"58","author":"X Aizpurua","year":"2010","unstructured":"Aizpurua, X., Villaro, A., Legarda, J., Melendez, J.: Implementation details and safety analysis of a microcontroller-based SIL-4 software voter. IEEE Trans. Ind. Electron. 58(3), 822\u2013829 (2010)","journal-title":"IEEE Trans. Ind. Electron."},{"key":"8_CR6","unstructured":"Proffitt, B.: What is Linux: an overview of the Linux operating system. https:\/\/www.linux.com\/learn\/new-user-guides\/376?showall=1 . Accessed 12 Jan 2016"},{"key":"8_CR7","unstructured":"Railway Applications. Communication, Signalling and Processing Systems. Safety Related Communication in Closed Transmission Systems. EN 50159 (2010)"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Yim, K.S., Sidea, V., Kalbarczyk, Z., Chen, D., Iyer, R.: A fault-tolerant programmable voter for software-based N-modular redundancy. In: IEEE Aerospace Conference, pp. 1\u201320, March 2012","DOI":"10.1109\/AERO.2012.6187253"},{"key":"8_CR9","unstructured":"Precision clock synchronization protocol for networked measurement and control systems. In: IEEE 1588 (2004)"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Shye, A., Moseley, T., Reddi, V.J., Blomstedt, J.: Using process-level redundancy to exploit multiple cores for transient fault tolerance. In: Proceedings of the DSN, pp. 297\u2013306, June 2007","DOI":"10.1109\/DSN.2007.98"},{"key":"8_CR11","unstructured":"CEIT: ETCS advanced testing and smart train positioning system, D4.2 v02.00, November 2014"},{"key":"8_CR12","unstructured":"CEIT: ETCS advanced testing and smart train positioning system, D2.4 v04.00, March 2015"}],"container-title":["Lecture Notes in Computer Science","Communication Technologies for Vehicles"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-38921-9_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T14:20:06Z","timestamp":1748960406000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-38921-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319389202","9783319389219"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-38921-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}