{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T07:59:56Z","timestamp":1771574396335,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":34,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,5,27]],"date-time":"2018-05-27T00:00:00Z","timestamp":1527379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,5,27]]},"DOI":"10.1145\/3196478.3196480","type":"proceedings-article","created":{"date-parts":[[2018,7,17]],"date-time":"2018-07-17T16:16:43Z","timestamp":1531844203000},"page":"30-36","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":14,"title":["On using blockchains for safety-critical systems"],"prefix":"10.1145","author":[{"given":"Christian","family":"Berger","sequence":"first","affiliation":[{"name":"Chalmers | University of Gothenburg, Gothenburg, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Birgit","family":"Penzenstadler","sequence":"additional","affiliation":[{"name":"California State University Long Beach"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olaf","family":"Dr\u00f6gehorn","sequence":"additional","affiliation":[{"name":"Harz University of Applied Sciences, Wernigerode, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,5,27]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Blockchain-based Smart Contracts: A Systematic Mapping Study. arXiv preprint arXiv:1710.06372","author":"Alharby Maher","year":"2017","unstructured":"Maher Alharby and Aad van Moorsel . 2017. Blockchain-based Smart Contracts: A Systematic Mapping Study. arXiv preprint arXiv:1710.06372 ( 2017 ). Maher Alharby and Aad van Moorsel. 2017. Blockchain-based Smart Contracts: A Systematic Mapping Study. arXiv preprint arXiv:1710.06372 (2017)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2015.158"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2014.07.064"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1177\/0308518X16648152"},{"key":"e_1_3_2_1_5_1","volume-title":"costeffective applications key to unlocking blockchain's potential credit benefits. Moody's Investor Service","author":"Caes Nick","year":"2016","unstructured":"Nick Caes , Robard Williams , Elena H Duggar , and MR Porta . 2016. Robust , costeffective applications key to unlocking blockchain's potential credit benefits. Moody's Investor Service ( 2016 ). Nick Caes, Robard Williams, Elena H Duggar, and MR Porta. 2016. Robust, costeffective applications key to unlocking blockchain's potential credit benefits. Moody's Investor Service (2016)."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02161-9_1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jup.2014.09.006"},{"key":"e_1_3_2_1_8_1","volume-title":"Blockchain in internet of things: Challenges and Solutions. CoRR abs\/1608.05187","author":"Dorri Ali","year":"2016","unstructured":"Ali Dorri , Salil S. Kanhere , and Raja Jurdak . 2016. Blockchain in internet of things: Challenges and Solutions. CoRR abs\/1608.05187 ( 2016 ). arXiv:1608.05187 http:\/\/arxiv.org\/abs\/1608.05187 Ali Dorri, Salil S. Kanhere, and Raja Jurdak. 2016. Blockchain in internet of things: Challenges and Solutions. CoRR abs\/1608.05187 (2016). arXiv:1608.05187 http:\/\/arxiv.org\/abs\/1608.05187"},{"key":"e_1_3_2_1_9_1","volume-title":"Proceedings of the International Conference on Internet Computing and Internet of Things,ICOMP'16","author":"Droegehorn Olaf","year":"2016","unstructured":"Olaf Droegehorn , Jari Porras , and Fisayo Caleb Sangogboye . 2016 . HomeAutomation, Using OpenSource to fulfill EU-Directives . In Proceedings of the International Conference on Internet Computing and Internet of Things,ICOMP'16 . CSREA Press, 144--149. Olaf Droegehorn, Jari Porras, and Fisayo Caleb Sangogboye. 2016. HomeAutomation, Using OpenSource to fulfill EU-Directives. In Proceedings of the International Conference on Internet Computing and Internet of Things,ICOMP'16. CSREA Press, 144--149."},{"key":"e_1_3_2_1_10_1","volume-title":"GeSI SMARTer2030: ICT solutions for 21st century challenges. (2015)","author":"Sustainability Initiative Global","unstructured":"Global e Sustainability Initiative . 2015. GeSI SMARTer2030: ICT solutions for 21st century challenges. (2015) . http:\/\/smarter2030.gesi.org\/downloads\/Full_report.pdf Global eSustainability Initiative. 2015. GeSI SMARTer2030: ICT solutions for 21st century challenges. (2015). http:\/\/smarter2030.gesi.org\/downloads\/Full_report.pdf"},{"key":"e_1_3_2_1_11_1","volume-title":"The path of the smart grid","author":"Farhangi Hassan","year":"2010","unstructured":"Hassan Farhangi . 2010. The path of the smart grid . IEEE power and energy magazine 8, 1 ( 2010 ). Hassan Farhangi. 2010. The path of the smart grid. IEEE power and energy magazine 8, 1 (2010)."},{"key":"e_1_3_2_1_12_1","volume-title":"Living in a Networked World - Integrated Research Agenda Cyber-Physical Systems (agendaCPS)","author":"Geisberger Eva","unstructured":"Eva Geisberger and Manfred Broy . 2015. Living in a Networked World - Integrated Research Agenda Cyber-Physical Systems (agendaCPS) . Herbert Utz Verlag . Eva Geisberger and Manfred Broy. 2015. Living in a Networked World - Integrated Research Agenda Cyber-Physical Systems (agendaCPS). Herbert Utz Verlag."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSA.2017.36"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2320765.2320799"},{"key":"e_1_3_2_1_15_1","volume-title":"Gamified Energy Efficiency Programs","author":"Grossberg Frederick","year":"2015","unstructured":"Frederick Grossberg , Mariel Wolfson , Susan Mazur-Stommen , Kate Farley , and Steven Nadel . 2015. Gamified Energy Efficiency Programs . Washington, DC : American Council for an Energy-Efficient Economy ( 2015 ). Frederick Grossberg, Mariel Wolfson, Susan Mazur-Stommen, Kate Farley, and Steven Nadel. 2015. Gamified Energy Efficiency Programs. Washington, DC: American Council for an Energy-Efficient Economy (2015)."},{"key":"e_1_3_2_1_16_1","unstructured":"Stacey Higginbotham. 2016. Why Insurance Companies Want to Subsidize Your Smart Home. (2016). https:\/\/www.technologyreview.com\/s\/602532\/why-insurance-companies-want-to-subsidize-your-smart-home\/  Stacey Higginbotham. 2016. Why Insurance Companies Want to Subsidize Your Smart Home. (2016). https:\/\/www.technologyreview.com\/s\/602532\/why-insurance-companies-want-to-subsidize-your-smart-home\/"},{"key":"e_1_3_2_1_17_1","volume-title":"The Sharing Economy for the Smart Grid. arXiv preprint arXiv:1608.06990","author":"Kalathil Dileep","year":"2016","unstructured":"Dileep Kalathil , Chenye Wu , Kameshwar Poolla , and Pravin Varaiya . 2016. The Sharing Economy for the Smart Grid. arXiv preprint arXiv:1608.06990 ( 2016 ). Dileep Kalathil, Chenye Wu, Kameshwar Poolla, and Pravin Varaiya. 2016. The Sharing Economy for the Smart Grid. arXiv preprint arXiv:1608.06990 (2016)."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSG.2015.2430364"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISORC.2008.25"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"Helmut Martin Kurt Tschabuschnig Olof Bridal and Daniel Watzenig. 2017. Functional Safety of Automated Driving Systems: Does ISO 26262 Meet the Challenges? Springer International Publishing Cham 387--416.  Helmut Martin Kurt Tschabuschnig Olof Bridal and Daniel Watzenig. 2017. Functional Safety of Automated Driving Systems: Does ISO 26262 Meet the Challenges? Springer International Publishing Cham 387--416.","DOI":"10.1007\/978-3-319-31895-0_16"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-C.2017.142"},{"key":"e_1_3_2_1_22_1","volume-title":"Caroline: An Autonomously Driving Vehicle for Urban Environments","author":"Rauskolb Fred W.","year":"2009","unstructured":"Fred W. Rauskolb , Kai Berger , Christian Lipski , Marcus Magnor , Karsten Cornelsen , Jan Effertz , Thomas Form , Fabian Graefe , Sebastian Ohl , Walter Schumacher , J\u00f6rn-Marten Wille , Peter Hecker , Tobias Nothdurft , Michael Doering , Kai Homeier , Johannes Morgenroth , Lars Wolf , Christian Basarke , Christian Berger , Tim G\u00fclke , Felix Klose , and Bernhard Rumpe . 2009 . Caroline: An Autonomously Driving Vehicle for Urban Environments . In The DARPA Urban Challenge, Martin Buehler, Karl Iagnemma, and Sanjiv Singh (Eds.). Springer-Verlag , Berlin Heidelberg , 441--508. Fred W. Rauskolb, Kai Berger, Christian Lipski, Marcus Magnor, Karsten Cornelsen, Jan Effertz, Thomas Form, Fabian Graefe, Sebastian Ohl, Walter Schumacher, J\u00f6rn-Marten Wille, Peter Hecker, Tobias Nothdurft, Michael Doering, Kai Homeier, Johannes Morgenroth, Lars Wolf, Christian Basarke, Christian Berger, Tim G\u00fclke, Felix Klose, and Bernhard Rumpe. 2009. Caroline: An Autonomously Driving Vehicle for Urban Environments. In The DARPA Urban Challenge, Martin Buehler, Karl Iagnemma, and Sanjiv Singh (Eds.). Springer-Verlag, Berlin Heidelberg, 441--508."},{"key":"e_1_3_2_1_23_1","volume-title":"SoutheastCon","author":"Rawat Danda B","year":"2015","unstructured":"Danda B Rawat and Chandra Bajracharya . 2015. Cyber security for smart grid systems: Status, challenges and perspectives . In SoutheastCon 2015 . IEEE , 1--6. Danda B Rawat and Chandra Bajracharya. 2015. Cyber security for smart grid systems: Status, challenges and perspectives. In SoutheastCon 2015. IEEE, 1--6."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"crossref","unstructured":"Rick Salay Rodrigo Queiroz and Krzysztof Czarnecki. 2017. An Analysis of ISO 26262: Using Machine Learning Safely in Automotive Software. https:\/\/arxiv.org\/pdf\/1709.02435.pdf  Rick Salay Rodrigo Queiroz and Krzysztof Czarnecki. 2017. An Analysis of ISO 26262: Using Machine Learning Safely in Automotive Software. https:\/\/arxiv.org\/pdf\/1709.02435.pdf","DOI":"10.4271\/2018-01-1075"},{"key":"e_1_3_2_1_25_1","first-page":"2","article-title":"Cyber-Physical Systems - Concept, Challenges and Research Areas","volume":"14","author":"Sanislav Teodora","year":"2012","unstructured":"Teodora Sanislav and Liviu Miclea . 2012 . Cyber-Physical Systems - Concept, Challenges and Research Areas . Journal of Control Engineering and Applied Informatics (CEAI) 14 , 2 (June 2012), 28--33. https:\/\/goo.gl\/2dKshS Teodora Sanislav and Liviu Miclea. 2012. Cyber-Physical Systems - Concept, Challenges and Research Areas. Journal of Control Engineering and Applied Informatics (CEAI) 14, 2 (June 2012), 28--33. https:\/\/goo.gl\/2dKshS","journal-title":"Journal of Control Engineering and Applied Informatics (CEAI)"},{"key":"e_1_3_2_1_26_1","volume-title":"SmartGrids Strategic Deployment Document for Europe's Electricity Networks of the Future. European Technology Platform SmartGrids","author":"SmartGrids ETP","year":"2010","unstructured":"ETP SmartGrids . 2010. SmartGrids Strategic Deployment Document for Europe's Electricity Networks of the Future. European Technology Platform SmartGrids ( 2010 ). ETP SmartGrids. 2010. SmartGrids Strategic Deployment Document for Europe's Electricity Networks of the Future. European Technology Platform SmartGrids (2010)."},{"key":"e_1_3_2_1_27_1","unstructured":"Bernd Spanfelner Detlev Richter Susanne Ebel Ulf Wilhelm Wolfgang Branz and Carsten Patz. 2012. Challenges in applying the ISO 26262 for driver assistance systems. http:\/\/www.ftm.mw.tum.de\/uploads\/media\/28_Spanfelner.pdf  Bernd Spanfelner Detlev Richter Susanne Ebel Ulf Wilhelm Wolfgang Branz and Carsten Patz. 2012. Challenges in applying the ISO 26262 for driver assistance systems. http:\/\/www.ftm.mw.tum.de\/uploads\/media\/28_Spanfelner.pdf"},{"key":"e_1_3_2_1_28_1","volume-title":"Blockchain: Blueprint for a new economy. \" O'Reilly Media","author":"Swan Melanie","year":"2015","unstructured":"Melanie Swan . 2015 . Blockchain: Blueprint for a new economy. \" O'Reilly Media , Inc .\". Melanie Swan. 2015. Blockchain: Blueprint for a new economy. \" O'Reilly Media, Inc.\"."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1109\/MTS.2015.2494358"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1051\/matecconf\/20164101004"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.rser.2016.01.011"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-C.2017.135"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.5555\/2459506.2459606"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.renene.2015.03.016"}],"event":{"name":"ICSE '18: 40th International Conference on Software Engineering","location":"Gothenburg Sweden","acronym":"ICSE '18","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE-CS Computer Society"]},"container-title":["Proceedings of the 4th International Workshop on Software Engineering for Smart Cyber-Physical Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3196478.3196480","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3196478.3196480","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:39:05Z","timestamp":1750210745000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3196478.3196480"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,27]]},"references-count":34,"alternative-id":["10.1145\/3196478.3196480","10.1145\/3196478"],"URL":"https:\/\/doi.org\/10.1145\/3196478.3196480","relation":{},"subject":[],"published":{"date-parts":[[2018,5,27]]},"assertion":[{"value":"2018-05-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}