{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T04:17:24Z","timestamp":1759033044181,"version":"3.28.0"},"reference-count":32,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,11,24]],"date-time":"2021-11-24T00:00:00Z","timestamp":1637712000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,11,24]],"date-time":"2021-11-24T00:00:00Z","timestamp":1637712000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,11,24]],"date-time":"2021-11-24T00:00:00Z","timestamp":1637712000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,11,24]]},"DOI":"10.1109\/icsrs53853.2021.9660728","type":"proceedings-article","created":{"date-parts":[[2022,1,3]],"date-time":"2022-01-03T15:18:24Z","timestamp":1641223104000},"page":"6-13","source":"Crossref","is-referenced-by-count":5,"title":["Fault Injecting Co-simulations for Safety"],"prefix":"10.1109","author":[{"given":"Mirgita","family":"Frasheri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Casper","family":"Thule","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hugo Daniel","family":"Macedo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kenneth","family":"Lausdahl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter Gorm","family":"Larsen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lukas","family":"Esterle","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/SPL.2009.4914906"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1109\/MECO.2019.8760158"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/DSNW.2012.6264663"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/CPSData.2016.7496424"},{"key":"ref11","article-title":"Introducing Angular Tests and Upgrades to the INTO-CPS Application","author":"macedo","year":"2020","journal-title":"submitted for publication"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.cirp.2007.05.044"},{"journal-title":"Systems Engineering Hand-book A Guide for System Life Cycle Processes and Activities Version 4 0","year":"2015","author":"walden","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/3179993"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/FormaliSE.2015.14"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-57663-9_13"},{"year":"2019","key":"ref17","article-title":"Functional Mock-up Interface for Model Exchange and Co-Simulation"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.3850\/978-981-14-8593-0_5770-cd"},{"key":"ref19","first-page":"254","article-title":"Migrating the INTO-CPS application to the cloud","author":"macedo","year":"2019","journal-title":"International Symposium of Formal Methods"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1145\/2841425"},{"key":"ref4","first-page":"287","article-title":"Generic fault modelling for fault injection","author":"svenningsson","year":"2010","journal-title":"International Symposium on Formal Methods for Components and Objects"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TASE.2014.2368997"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/PHM.2014.6988212"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.3390\/computers8020031"},{"key":"ref29","article-title":"Modelling faults and fault tolerance mechanisms in a paper pinch co-model","author":"pierce","year":"2011","journal-title":"Proceedings of the ERCIM\/EWICS\/Cyber-physical Systems Workshop at SafeComp"},{"key":"ref5","first-page":"32","article-title":"Optimizing fault injection in fmi co-simulation through sensitivity partitioning","author":"moradi","year":"2019","journal-title":"Summer"},{"journal-title":"CoHLA Rapid Co-simulation Construction","year":"2020","author":"christian n\u00e4gele","key":"ref8"},{"key":"ref7","first-page":"50","article-title":"Towards reuse of synchronization algorithms in co-simulation frameworks","author":"thule","year":"2019","journal-title":"1st International Conference on Software Engineering and Formal Methods"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ICVES.2012.6294254"},{"key":"ref9","article-title":"Examples Compendium 3","author":"mansfield","year":"2017","journal-title":"Technical report INTO-CPS Deliverable D3 6"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-15651-9_16"},{"key":"ref20","first-page":"205","article-title":"Generation of an optimised master algorithm for fmi co-simulation","author":"acker","year":"2015","journal-title":"SpringSim (TMS-DEVS)"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/S0168-1699(99)00052-6"},{"key":"ref21","article-title":"Design space exploration in the development of agricultural robots","volume":"54","author":"foldager","year":"2018","journal-title":"AgEng Conference Wageningen The Netherlands"},{"key":"ref24","doi-asserted-by":"crossref","first-page":"79","DOI":"10.1016\/j.biosystemseng.2016.01.008","article-title":"Reducing air pollution with hybrid-powered robotic tractors for precision agriculture","volume":"143","author":"gonzalez-de soto","year":"2016","journal-title":"Biosystems Engineering"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.compag.2015.04.003"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC51774.2021.00174"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2004.1389727"}],"event":{"name":"2021 5th International Conference on System Reliability and Safety (ICSRS)","start":{"date-parts":[[2021,11,24]]},"location":"Palermo, Italy","end":{"date-parts":[[2021,11,26]]}},"container-title":["2021 5th International Conference on System Reliability and Safety (ICSRS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9660621\/9660622\/09660728.pdf?arnumber=9660728","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T12:56:42Z","timestamp":1652187402000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9660728\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,24]]},"references-count":32,"URL":"https:\/\/doi.org\/10.1109\/icsrs53853.2021.9660728","relation":{},"subject":[],"published":{"date-parts":[[2021,11,24]]}}}