{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:14:51Z","timestamp":1759331691387},"publisher-location":"Cham","reference-count":21,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319779348"},{"type":"electronic","value":"9783319779355"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-77935-5_23","type":"book-chapter","created":{"date-parts":[[2018,3,10]],"date-time":"2018-03-10T10:02:34Z","timestamp":1520676154000},"page":"333-348","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Tuning Permissiveness of Active Safety Monitors for Autonomous Systems"],"prefix":"10.1007","author":[{"given":"Lola","family":"Masson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e9r\u00e9mie","family":"Guiochet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H\u00e9l\u00e8ne","family":"Waeselynck","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kalou","family":"Cabrera","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sofia","family":"Cassel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"T\u00f6rngren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,3,11]]},"reference":[{"key":"23_CR1","unstructured":"NuSMV home page. \nhttp:\/\/nusmv.fbk.eu\/\n\n. Accessed Nov 2017"},{"key":"23_CR2","unstructured":"Safety Monitoring Framework. LAAS-CNRS Project. \nhttps:\/\/www.laas.fr\/projects\/smof\n\n. Accessed Dec 2017"},{"key":"23_CR3","first-page":"120","volume":"7","author":"S Adam","year":"2016","unstructured":"Adam, S., Larsen, M., Jensen, K., Schultz, U.P.: Rule-based dynamic safety monitoring for mobile robots. J. Softw. Eng. Robot. 7, 120\u2013141 (2016)","journal-title":"J. Softw. Eng. Robot."},{"key":"23_CR4","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1109\/TDSC.2004.2","volume":"1","author":"A Avizienis","year":"2004","unstructured":"Avizienis, A., Laprie, J.C., Randell, B., Landwehr, C.: Basic concepts and taxonomy of dependable and secure computing. IEEE Trans. Dependable Secur. Comput. 1, 11\u201333 (2004)","journal-title":"IEEE Trans. Dependable Secur. Comput."},{"key":"23_CR5","doi-asserted-by":"crossref","first-page":"859","DOI":"10.1109\/TSE.2004.91","volume":"30","author":"N Delgado","year":"2004","unstructured":"Delgado, N., Gates, A.Q., Roach, S.: A taxonomy and catalog of runtime software-fault monitoring tools. Trans. Softw. Eng. 30, 859\u2013872 (2004)","journal-title":"Trans. Softw. Eng."},{"key":"23_CR6","doi-asserted-by":"crossref","first-page":"349","DOI":"10.1007\/s10009-011-0196-8","volume":"14","author":"Y Falcone","year":"2012","unstructured":"Falcone, Y., Fernandez, J.-C., Mounier, L.: What can you verify and enforce at runtime? Int. J. Softw. Tools Technol. Transf. 14, 349\u2013382 (2012)","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"23_CR7","volume-title":"Safe and Sound - Artificial Intelligence in Hazardous Applications","author":"J Fox","year":"2000","unstructured":"Fox, J., Das, S.: Safe and Sound - Artificial Intelligence in Hazardous Applications. AAAI Press\/MIT Press, Palo Alto (2000)"},{"key":"23_CR8","doi-asserted-by":"crossref","first-page":"225","DOI":"10.1016\/j.ssci.2015.12.017","volume":"84","author":"J Guiochet","year":"2016","unstructured":"Guiochet, J.: Hazard analysis of human-robot interactions with HAZOP-UML. Saf. Sci. 84, 225\u2013237 (2016)","journal-title":"Saf. Sci."},{"key":"23_CR9","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/978-3-642-19457-3_16","volume-title":"The 14th International Symposium on Robotics Research (ISRR2011)","author":"S Haddadin","year":"2011","unstructured":"Haddadin, S., Suppa, M., Fuchs, S., Bodenm\u00fcller, T., Albu-Sch\u00e4ffer, A., Hirzinger, G.: Towards the robotic co-worker. In: Pradalier, C., Siegwart, R., Hirzinger, G. (eds.) The 14th International Symposium on Robotics Research (ISRR2011), vol. 70, pp. 261\u2013282. Springer, Heidelberg (2011). \nhttps:\/\/doi.org\/10.1007\/978-3-642-19457-3_16"},{"key":"23_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"247","DOI":"10.1007\/978-3-319-11164-3_20","volume-title":"Runtime Verification","author":"J Huang","year":"2014","unstructured":"Huang, J., Erdogan, C., Zhang, Y., Moore, B., Luo, Q., Sundaresan, A., Rosu, G.: ROSRV: runtime verification for robots. In: Bonakdarpour, B., Smolka, S.A. (eds.) RV 2014. LNCS, vol. 8734, pp. 247\u2013254. Springer, Cham (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-319-11164-3_20"},{"key":"23_CR11","doi-asserted-by":"crossref","first-page":"1027","DOI":"10.1007\/s10514-016-9576-y","volume":"41","author":"H Jiang","year":"2017","unstructured":"Jiang, H., Elbaum, S., Detweiler, C.: Inferring and monitoring invariants in robotic systems. Auton. Robot 41, 1027\u20131046 (2017)","journal-title":"Auton. Robot"},{"key":"23_CR12","doi-asserted-by":"crossref","first-page":"293","DOI":"10.1016\/j.jlap.2008.08.004","volume":"78","author":"M Leucker","year":"2009","unstructured":"Leucker, M., Schallhart, C.: A brief account of runtime verification. J. Log. Algebr. Program. 78, 293\u2013303 (2009)","journal-title":"J. Log. Algebr. Program."},{"key":"23_CR13","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/s10207-004-0046-8","volume":"4","author":"J Ligatti","year":"2005","unstructured":"Ligatti, J., Bauer, L., Walker, D.: Edit automata: enforcement mechanisms for run-time security policies. IJIS 4, 2\u201316 (2005)","journal-title":"IJIS"},{"key":"23_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-319-10506-2_18","volume-title":"Computer Safety, Reliability, and Security","author":"M Machin","year":"2014","unstructured":"Machin, M., Dufoss\u00e9, F., Blanquart, J.-P., Guiochet, J., Powell, D., Waeselynck, H.: Specifying safety monitors for autonomous systems using model-checking. In: Bondavalli, A., Di Giandomenico, F. (eds.) SAFECOMP 2014. LNCS, vol. 8666, pp. 262\u2013277. Springer, Cham (2014). \nhttps:\/\/doi.org\/10.1007\/978-3-319-10506-2_18"},{"key":"23_CR15","unstructured":"Machin, M., Guiochet, J., Waeselynck, H., Blanquart, J.-P., Roy, M., Masson, L.: SMOF - a safety monitoring framework for autonomous systems. IEEE Trans. Syst., Man Cybern. PP, 1\u201314 (2016)"},{"key":"23_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1007\/978-3-642-33704-8_3","volume-title":"Computer Network Security","author":"F Martinelli","year":"2012","unstructured":"Martinelli, F., Matteucci, I., Morisset, C.: From qualitative to quantitative enforcement of security policy. In: Kotenko, I., Skormin, V. (eds.) MMM-ACNS 2012. LNCS, vol. 7531, pp. 22\u201335. Springer, Heidelberg (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-33704-8_3"},{"key":"23_CR17","doi-asserted-by":"crossref","unstructured":"Masson, L., Guiochet, J., Waeselynck, H., Desfosses, A., Laval, M.: Synthesis of safety rules for active monitoring: application to an airport light measurement robot. In: 2017 First IEEE International Conference on Robotic Computing (IRC) (2017)","DOI":"10.1109\/IRC.2017.11"},{"key":"23_CR18","unstructured":"Pace, C., Seward, D.: A safety integrated architecture for an autonomous safety excavator. In: International Symposium on Automation and Robotics in Construction (2000)"},{"key":"23_CR19","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1109\/MIS.2004.53","volume":"19","author":"S Roderick","year":"2004","unstructured":"Roderick, S., Roberts, B., Atkins, E., Akin, D.: The ranger robotic satellite servicer and its autonomous software-based safety system. Intell. Syst. 19, 12\u201319 (2004)","journal-title":"Intell. Syst."},{"key":"23_CR20","unstructured":"SAPHARI: Safe and Autonomous Physical Human-Aware Robot Interaction. Project supported by the European Commission under the 7th Framework Programme. (2011\u20132015). \nwww.saphari.eu\n\n. Accessed Nov 2017"},{"key":"23_CR21","doi-asserted-by":"crossref","first-page":"1603","DOI":"10.1177\/0278364912459665","volume":"31","author":"R Woodman","year":"2012","unstructured":"Woodman, R., Winfield, A.F., Harper, C., Fraser, M.: Building safer robots: safety driven control. Int. J. Robot. Res. 31, 1603\u20131626 (2012)","journal-title":"Int. J. Robot. Res."}],"container-title":["Lecture Notes in Computer Science","NASA Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-77935-5_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,3,10]],"date-time":"2018-03-10T10:12:44Z","timestamp":1520676764000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-77935-5_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319779348","9783319779355"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-77935-5_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}