{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T08:46:48Z","timestamp":1743151608460,"version":"3.40.3"},"publisher-location":"Cham","reference-count":40,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030179090"},{"type":"electronic","value":"9783030179106"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-030-17910-6_4","type":"book-chapter","created":{"date-parts":[[2019,4,12]],"date-time":"2019-04-12T09:06:16Z","timestamp":1555059976000},"page":"43-60","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Increasing Safety by Combining Multiple Declarative Rules in Robotic Perception Systems"],"prefix":"10.1007","author":[{"given":"Johann Thor Mogensen","family":"Ingibergsson","sequence":"first","affiliation":[]},{"given":"Dirk","family":"Kraft","sequence":"additional","affiliation":[]},{"given":"Ulrik Pagh","family":"Schultz","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,4,13]]},"reference":[{"key":"4_CR1","first-page":"161","volume":"12","author":"R Baheti","year":"2011","unstructured":"Baheti, R., Gill, H.: Cyber-physical systems. Impact Control Technol. 12, 161\u2013166 (2011)","journal-title":"Impact Control Technol."},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1007\/978-3-319-10599-4_24","volume-title":"Computer Vision \u2013 ECCV 2014","author":"A Bansal","year":"2014","unstructured":"Bansal, A., Farhadi, A., Parikh, D.: Towards transparent systems: semantic characterization of failure modes. In: Fleet, D., Pajdla, T., Schiele, B., Tuytelaars, T. (eds.) ECCV 2014. LNCS, vol. 8694, pp. 366\u2013381. Springer, Cham (2014). \n                      https:\/\/doi.org\/10.1007\/978-3-319-10599-4_24"},{"issue":"2","key":"4_CR3","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1109\/TRO.2007.895081","volume":"23","author":"MJ Daigle","year":"2007","unstructured":"Daigle, M.J., Koutsoukos, X.D., Biswas, G.: Distributed diagnosis in formations of mobile robots. IEEE Trans. Robo. 23(2), 353\u2013369 (2007)","journal-title":"IEEE Trans. Robo."},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Davis, J., Goadrich, M.: The relationship between precision-recall and roc curves. In: Proceedings of the 23rd International Conference on Machine Learning, pp. 233\u2013240 (2006)","DOI":"10.1145\/1143844.1143874"},{"issue":"2","key":"4_CR5","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1007\/s11633-008-0174-0","volume":"5","author":"A Cabrol De","year":"2008","unstructured":"De Cabrol, A., Garcia, T., Bonnin, P., Chetto, M.: A concept of dynamically reconfigurable real-time vision system for autonomous mobile robotics. Int. J. Autom. Comput. 5(2), 174\u2013184 (2008)","journal-title":"Int. J. Autom. Comput."},{"key":"4_CR6","unstructured":"Fields, C., David, R., Nielsen, P.: Defense science board 2016 summer study on autonomy. Defense Science Board (2016)"},{"issue":"4","key":"4_CR7","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1007\/s11554-015-0541-3","volume":"10","author":"U Frese","year":"2015","unstructured":"Frese, U., Hirschm\u00fcller, H.: Special issue on robot vision: what is robot vision? J. Real-Time Image Process. 10(4), 597\u2013598 (2015)","journal-title":"J. Real-Time Image Process."},{"key":"4_CR8","unstructured":"Gupta, P., Loparo, K., Mackall, D., Schumann, J., Soares, F.: Verification and validation methodology of real-time adaptive neural networks for aerospace applications. In: International Conference on Computational Intelligence for Modeling, Control, and Automation (2004)"},{"key":"4_CR9","unstructured":"Hauge, A., Tonnesen, A.: Use of artificial neural networks in safety critical systems. Faculty of Computer Sciences (2004)"},{"key":"4_CR10","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-23866-6_18","volume-title":"Knowledge-Based and Intelligent Information and Engineering Systems","author":"K Heckemann","year":"2011","unstructured":"Heckemann, K., Gesell, M., Pfister, T., Berns, K., Schneider, K., Trapp, M.: Safe automotive software. In: K\u00f6nig, A., Dengel, A., Hinkelmann, K., Kise, K., Howlett, R.J., Jain, L.C. (eds.) KES 2011. LNCS (LNAI), vol. 6884, pp. 167\u2013176. Springer, Heidelberg (2011). \n                      https:\/\/doi.org\/10.1007\/978-3-642-23866-6_18"},{"key":"4_CR11","unstructured":"IFR: World Robotics 2014 Industrial Robots (2014)"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"335","DOI":"10.1007\/978-3-319-26844-6_25","volume-title":"Product-Focused Software Process Improvement","author":"JTM Ingibergsson","year":"2015","unstructured":"Ingibergsson, J.T.M., Schultz, U.P., Kuhrmann, M.: On the use of safety certification practices in autonomous field robot software development: a systematic mapping study. In: Abrahamsson, P., Corral, L., Oivo, M., Russo, B. (eds.) PROFES 2015. LNCS, vol. 9459, pp. 335\u2013352. Springer, Cham (2015). \n                      https:\/\/doi.org\/10.1007\/978-3-319-26844-6_25"},{"key":"4_CR13","unstructured":"Ingibergsson, J.T.M., Hanenberg, S., Sunshine, J., Schultz, U.P.: Readability study of a domain specific language: process and outcome. In: Accepted for the 33rd ACM\/SIGAPP Symposium on Applied Computing (SAC-18) (2018)"},{"issue":"1","key":"4_CR14","first-page":"17","volume":"8","author":"JTM Ingibergsson","year":"2017","unstructured":"Ingibergsson, J.T.M., Kraft, D., Schultz, U.P.: Declarative rule-based safety for robotic perception systems. J. Software Eng. Rob. (JOSER) 8(1), 17\u201331 (2017)","journal-title":"J. Software Eng. Rob. (JOSER)"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Ingibergsson, J.T.M., Kraft, D., Schultz, U.P.: Explicit image quality detection rules for functional safety in computer vision. In: 12th International Conference on Computer Vision Theory and Applications (VISAPP), p. 12, Marts 2017","DOI":"10.5220\/0006125604330444"},{"key":"4_CR16","unstructured":"ISO TC22\/SC3\/WG16. ISO\/IEC 26262:2011: Road vehicles - Functional safety. Technical report, International Organization for Standardization (2011)"},{"issue":"11","key":"4_CR17","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/2994577","volume":"59","author":"E Klarreich","year":"2016","unstructured":"Klarreich, E.: Learning securely. Commun. ACM 59(11), 12\u201314 (2016)","journal-title":"Commun. ACM"},{"key":"4_CR18","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"163","DOI":"10.1007\/978-3-540-45224-9_24","volume-title":"Knowledge-Based Intelligent Information and Engineering Systems","author":"Z Kurd","year":"2003","unstructured":"Kurd, Z., Kelly, T.: Establishing safety criteria for artificial neural networks. In: Palade, V., Howlett, R.J., Jain, L. (eds.) KES 2003. LNCS (LNAI), vol. 2773, pp. 163\u2013169. Springer, Heidelberg (2003). \n                      https:\/\/doi.org\/10.1007\/978-3-540-45224-9_24"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Kurd, Z., Kelly, T., Austin, J.: Safety criteria and safety lifecycle for artificial neural networks. In: Proceedings of Eunite, vol. 2003 (2003)","DOI":"10.1007\/978-3-540-45224-9_24"},{"key":"4_CR20","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). \n                      https:\/\/doi.org\/10.1007\/978-3-319-10506-2_18"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Mekki-Mokhtar, A., Blanquart, J.-P., Guiochet, J., Powell, D., Roy, M.: Safety trigger conditions for critical autonomous systems. In: 18th Pacific Rim International Symposium on Dependable Computing, pp. 61\u201369. IEEE (2012)","DOI":"10.1109\/PRDC.2012.22"},{"key":"4_CR22","unstructured":"METI: Trends in the Market for the Robot Industry in 2012, July 2013"},{"issue":"4","key":"4_CR23","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1177\/02783649922066286","volume":"18","author":"RR Murphy","year":"1999","unstructured":"Murphy, R.R., Hershberger, D.: Handling sensing failures in autonomous mobile robots. Int. J. Robot. Res. 18(4), 382\u2013400 (1999)","journal-title":"Int. J. Robot. Res."},{"issue":"6","key":"4_CR24","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1002\/cem.873","volume":"18","author":"AJ Myles","year":"2004","unstructured":"Myles, A.J., Feudale, R.N., Liu, Y., Woody, N.A., Brown, S.D.: An introduction to decision tree modeling. J. Chemom. 18(6), 275\u2013285 (2004)","journal-title":"J. Chemom."},{"key":"4_CR25","doi-asserted-by":"crossref","unstructured":"Nguyen, A., Yosinski, J., Clune, J.: Deep neural networks are easily fooled: High confidence predictions for unrecognizable images. In: Conference on Computer Vision and Pattern Recognition (CVPR), pp. 427\u2013436. IEEE (2015)","DOI":"10.1109\/CVPR.2015.7298640"},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Redmon, J., Farhadi, A.: YOLO9000: Better, faster, stronger. arXiv preprint \n                      arXiv:1612.08242\n                      \n                     (2016)","DOI":"10.1109\/CVPR.2017.690"},{"key":"4_CR27","unstructured":"Reichardt, M., F\u00f6hst, T., Berns, K.: On software quality-motivated design of a real-time framework for complex robot control systems. In: International Workshop on Software Quality and Maintainability (2013)"},{"issue":"3","key":"4_CR28","doi-asserted-by":"publisher","first-page":"660","DOI":"10.1109\/21.97458","volume":"21","author":"SR Safavian","year":"1991","unstructured":"Safavian, S.R., Landgrebe, D.: A survey of decision tree classifier methodology. IEEE Trans. Syst. Man Cybern. 21(3), 660\u2013674 (1991)","journal-title":"IEEE Trans. Syst. Man Cybern."},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"Saito, T., Rehmsmeier, M.: The precision-recall plot is more informative than the ROC plot when evaluating binary classifiers on imbalanced datasets. In: PLoS ONE, pp. 1\u201321 (2015)","DOI":"10.1371\/journal.pone.0118432"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"Santosuosso, A., Boscarato, C., Caroleo, F., Labruto, R., Leroux, C.: Robots, market and civil liability: a european perspective. In: RO-MAN, pp. 1051\u20131058. IEEE (2012)","DOI":"10.1109\/ROMAN.2012.6343888"},{"key":"4_CR31","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-10690-3_1","volume-title":"Applications of Neural Networks in High Assurance Systems","author":"J Schumann","year":"2010","unstructured":"Schumann, J., Gupta, P., Liu, Y.: Application of neural networks in high assurance systems: a survey. In: Schumann, J., Liu, Y. (eds.) Applications of Neural Networks in High Assurance Systems, pp. 1\u201319. Springer, Heidelberg (2010). \n                      https:\/\/doi.org\/10.1007\/978-3-642-10690-3_1"},{"key":"4_CR32","unstructured":"SDU: Marken er mejet af en robot (2017)"},{"issue":"1","key":"4_CR33","doi-asserted-by":"publisher","first-page":"6","DOI":"10.3390\/jimaging2010006","volume":"2","author":"KA Steen","year":"2016","unstructured":"Steen, K.A., Christiansen, P., Karstoft, H., J\u00f8rgensen, R.N.: Using deep learning to challenge safety standard for highly autonomous machines in agriculture. J. Imaging 2(1), 6 (2016)","journal-title":"J. Imaging"},{"key":"4_CR34","unstructured":"TC 127: Earth-moving machinery - autonomous machine system safety. In: International Standard ISO 17757\u20132015, International Organization for Standardization (2015)"},{"key":"4_CR35","unstructured":"TC 23: Agricultural machinery and tractors - Safety of highly automated machinery. International Standard ISO\/DIS 18497, International Organization for Standardization (2014)"},{"key":"4_CR36","unstructured":"TC 44: Safety of machinery - electro-sensitive protective equipment. International Standard IEC 61496\u20132012, International Electronical Commission (2012)"},{"key":"4_CR37","unstructured":"TC 65: Safety of machinery - electro-sensitive protective equipment. International Standard IEC 61508\u20132011, International Electronical Commission (2011)"},{"key":"4_CR38","unstructured":"Veres, S.M., Lincoln, N.K., Molnar, L.: Control engineering of autonomous cognitive vehicles-a practical tutorial. Technical report, Faculty of Engineering and the Environment, University of Southampton, Technical report (2011)"},{"key":"4_CR39","unstructured":"Yang, Y., Keller, P., Livnat, Y., Liggesmeyer, P.: Improving safety-critical systems by visual analysis. In: OASIcs-OpenAccess Series in Informatics, vol. 27. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik (2012)"},{"key":"4_CR40","doi-asserted-by":"crossref","unstructured":"Zhang, P., Wang, J., Farhadi, A., Hebert, M., Parikh, D.: Predicting failures of vision systems. In: Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition, pp. 3566\u20133573 (2014)","DOI":"10.1109\/CVPR.2014.456"}],"container-title":["Lecture Notes in Computer Science","Cyber Physical Systems. Design, Modeling, and Evaluation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-17910-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T09:57:18Z","timestamp":1558346238000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-17910-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030179090","9783030179106"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-17910-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"13 April 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CyPhy","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Design, Modeling, and Evaluation of Cyber Physical Systems","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Seoul","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Korea (Republic of)","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 October 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20 October 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"cyphy2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/2017.cyphy.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"16","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"10","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"2","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"63% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"2,5","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"1,3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information"}}]}}