{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T12:46:43Z","timestamp":1775825203102,"version":"3.50.1"},"reference-count":28,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2018,5,1]],"date-time":"2018-05-01T00:00:00Z","timestamp":1525132800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"DOI":"10.13039\/501100004963","name":"7th Framework Programme","doi-asserted-by":"publisher","award":["287513"],"award-info":[{"award-number":["287513"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]},{"name":"CPSE-Labs, Horizon2020 Programme","award":["644400"],"award-info":[{"award-number":["644400"]}]},{"name":"European Union: Saphari"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Syst. Man Cybern, Syst."],"published-print":{"date-parts":[[2018,5]]},"DOI":"10.1109\/tsmc.2016.2633291","type":"journal-article","created":{"date-parts":[[2016,12,17]],"date-time":"2016-12-17T09:17:27Z","timestamp":1481966247000},"page":"702-715","source":"Crossref","is-referenced-by-count":54,"title":["SMOF: A Safety Monitoring Framework for Autonomous Systems"],"prefix":"10.1109","volume":"48","author":[{"given":"Mathilde","family":"Machin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1285-8974","authenticated-orcid":false,"given":"Jeremie","family":"Guiochet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Helene","family":"Waeselynck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Paul","family":"Blanquart","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthieu","family":"Roy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lola","family":"Masson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"29","article-title":"A safety integrated architecture for an autonomous safety excavator","author":"pace","year":"2000","journal-title":"Proc 9th Int Symp Automat Robot Constr"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/MIS.2004.53"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/IROS.2004.1389549"},{"key":"ref13","author":"fox","year":"2000","journal-title":"Safe and Sound Artificial Intelligence in Hazardous Applications"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/0957-4174(91)90175-E"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1007\/978-3-642-19457-3_16","article-title":"Towards the robotic co-worker","volume":"70","author":"haddadin","year":"2011","journal-title":"Robotics Research"},{"key":"ref16","first-page":"153","year":"2010"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"ref18","article-title":"Monitoring distributed real-time systems: A survey and future directions","author":"goodloe","year":"0"},{"key":"ref19","first-page":"310","article-title":"Runtime verification for ultra-critical systems","author":"pike","year":"2011","journal-title":"Proceedings of the 2nd International Conference on Runtime Verification"},{"key":"ref28","doi-asserted-by":"crossref","first-page":"359","DOI":"10.1007\/3-540-45657-0_29","article-title":"NuSMV 2: An opensource tool for symbolic model checking","author":"cimatti","year":"2002","journal-title":"Computer Aided Verification"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/HASE.2015.15"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1016\/j.ssci.2015.12.017"},{"key":"ref3","first-page":"262","article-title":"Specifying safety monitors for autonomous systems","author":"machin","year":"2014","journal-title":"Proc Int Conf Comput Safety Rel Security (SAFECOMP)"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.robot.2014.12.015"},{"key":"ref5","year":"2015","journal-title":"Safety Monitoring Framework"},{"key":"ref8","first-page":"1","article-title":"Deliberation for autonomous robots: A survey","author":"ingrand","year":"2014","journal-title":"Artif Intell"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2007.50"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2012.22"},{"key":"ref9","first-page":"210","article-title":"Kernels for safety","author":"rushby","year":"1989","journal-title":"Proc Symp Safe and Secure Computing Systems"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2014.28"},{"key":"ref22","first-page":"66","article-title":"Toward a more dependable software architecture for autonomous robots","volume":"16","author":"bensalem","year":"2009","journal-title":"IEEE Robot Autom Mag"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1177\/0278364912459665"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.2003.1242256"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2009.5270316"},{"key":"ref25","article-title":"Deriving safety requirements for autonomous systems","author":"alexander","year":"2009","journal-title":"Proc 3rd SEAS DTC Tech Conf"}],"container-title":["IEEE Transactions on Systems, Man, and Cybernetics: Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221021\/8337043\/07786826.pdf?arnumber=7786826","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,26]],"date-time":"2022-01-26T07:32:56Z","timestamp":1643182376000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7786826\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5]]},"references-count":28,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tsmc.2016.2633291","relation":{},"ISSN":["2168-2216","2168-2232"],"issn-type":[{"value":"2168-2216","type":"print"},{"value":"2168-2232","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,5]]}}}