Abstract
Robotics has recently seen an increasing development, and the areas addressed within robotics has extended into domains we consider safety-critical, fostering the development of standards that facilitate the development of safe robots. Safety standards describe concepts to maintain desired reactions or performance in malfunctioning systems, and influence industry regarding software development and project management. However, academia seemingly did not reach the same degree of utilisation of standards. This paper presents the findings from a systematic mapping study in which we study the state-of-the-art in developing software for safety-critical software for autonomous field robots. The purpose of the study is to identify practices used for the development of autonomous field robots and how these practices relate to available safety standards. Our findings from reviewing 49 papers show that standards, if at all, are barely used. The majority of the papers propose various solutions to achieve safety, and about half of the papers refer to non-standardised approaches that mainly address the methodical rather than the development level. The present study thus shows an emerging field still on the quest for suitable approaches to develop safety-critical software, awaiting appropriate standards for this support.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
Notes
- 1.
Note: For technical reasons, we decided to define multiple search queries. For example, Wiley did not have the NEAR operator which was changed to and AND. ScienceDirect used W/n instead of the NEAR operator. IEEE had limitations on the search string length resulting in the asterisk (*) was used, further the NEAR operator could not be used if an asterisk was used resulting in NEAR was changed to an AND operator. In addition S\(_{1}\) in connection with C\(_{1}\) was too long, resulting in only surg* and medicin* from C\(_{1}\) was used.
References
Adam, S., Larsen, M., Jensen, K., Schultz, U.P.: Towards rule-based dynamic safety monitoring for mobile robots. In: Brugali, D., Broenink, J.F., Kroeger, T., MacDonald, B.A. (eds.) SIMPAR 2014. LNCS, vol. 8810, pp. 207–218. Springer, Heidelberg (2014)
Biber, P., Weiss, U., Dorna, M., Albert, A.: Navigation system of the autonomous agricultural robot Bonirob. In: Workshop on Agricultural Robotics: Enabling Safe, Efficient, and Affordable Robots for Food Production (2012)
Biggs, G., Fujiwara, K., Anada, K.: Modelling and analysis of a redundant mobile robot architecture using AADL. In: Brugali, D., Broenink, J.F., Kroeger, T., MacDonald, B.A. (eds.) SIMPAR 2014. LNCS, vol. 8810, pp. 146–157. Springer, Heidelberg (2014)
Biggs, G., Sakamoto, T., Fujiwara, K., Anada, K.: Experiences with model-centred design methods and tools in safe robotics. In: International Conference on Intelligent Robots and Systems, pp. 3915–3922. IEEE (2013)
Board, M.I.: Mars Climate Orbiter Mishap Investigation Board Phase I Report, 10 November 1999
Bouraine, S., Fraichard, T., Salhi, H.: Provably safe navigation for mobile robots with limited field-of-views in dynamic environments. Auton. Robots 32(3), 267–283 (2012)
Carlson, J., Murphy, R.R., Nelson, A.: Follow-up analysis of mobile robot failures. In: IEEE International Conference on Robotics and Automation, vol. 5, pp. 4987–4994. IEEE (2004)
de Silva, L., Yan, R., Ingrand, F., Alami, R., Bensalem, S.: A verifiable and correct-by-construction controller for robots in human environments. In: International Conference on Human-Robot Interaction Extended Abstracts, pp. 281–281. ACM (2015)
Dogramadzi, S., Giannaccini, M.E., Harper, C., Sobhani, M., Woodman, R., Choung, J.: Environmental hazard analysis - a variant of preliminary hazard analysis for autonomous mobile robots. J. Intell. Rob. Syst. 76(1), 73–117 (2014)
Emmi, L., Gonzalez-de-Soto, M., Pajares, G., Gonzalez-de Santos, P.: New trends in robotics for agriculture: integration and assessment of a real fleet of robots. Sci. World J. 2014, 1–21 (2014)
Frese, U., Hausmann, D., Lüth, C., Täubig, H., Walter, D.: The importance of being formal. Electron. Notes Theoret. Comput. Sci. 238(4), 57–70 (2009)
Frobomind. http://www.frobomind.org
Gribov, V., Voos, H.: Safety oriented software engineering process for autonomous robots. In: Conference on Emerging Technologies & Factory Automation, pp. 1–8. IEEE (2013)
Hanai, R., Saito, H., Nakabo, Y., Fujiwara, K., Ogure, T., Mizuguchi, D., Homma, K., Ohba, K.: RT-component based integration for IEC 61508 ready system using SysML and IEC 61499 function blocks. In: IEEE/SICE International Symposium on System Integration, pp. 105–110. IEEE (2012)
Hochgeschwender, N., Schneider, S., Voos, H., Kraetzschmar, G.K.: Declarative specification of robot perception architectures. In: Brugali, D., Broenink, J.F., Kroeger, T., MacDonald, B.A. (eds.) SIMPAR 2014. LNCS, vol. 8810, pp. 291–302. Springer, Heidelberg (2014)
IFR: World Robotics 2014 Industrial Robots (2014)
Ingibergsson, J.T.M., Schultz, U.P., Kraft, D.: Towards declarative safety rules for perception specification architectures. In: International Workshop on Domain-Specific Languages and models for ROBotic systems (DSLRob 2015) (2015, in press)
Ingibergsson, J.T.M., Suvei, S.-D., Hansen, M.K., Christiansen, P., Schultz, U.P.: Towards a DSL for perception-based safety systems. In: International Workshop on Domain-Specific Languages and models for ROBotic systems (DSLRob 2015) (2015, in press)
Jacobs, T., Reiser, U., Haegele, M., Verl, A.: Development of validation methods for the safety of mobile service robots with manipulator. In: German Conference on Robotics (ROBOTIK 2012), pp. 1–5. VDE-Verl (2012)
Jacobs, T., Virk, G.S.: ISO 13482 - the new safety standard for personal care robots. In: International Symposium on Robotics (ROBOTIK 2014), pp. 1–6. VDE-Verl (2014)
Kalus, G., Kuhrmann, M.: Criteria for software process tailoring: a systematic review. In: Proceedings of the 2013 International Conference on Software and System Process, pp. 171–180. ACM (2013)
Kitchenham, B.: Procedures for performing systematic reviews, vol. 33, pp. 1–26. Keele University, Keele, UK (2004)
Kitchenham, B., Pfleeger, S.L.: Software quality: the elusive target. IEEE Softw. 13(1), 12–21 (1996)
Kuhrmann, M., Fernández, D.M., Tiessler, M.: A mapping study on the feasibility of method engineering. J. Softw. Evol. Process 26(12), 1053–1073 (2014)
Leveson, N., Turner, C.: An investigation of the Therac-25 accidents. Computer 26(7), 18–41 (1993)
Machin, M., Dufossé, 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–277. Springer, Heidelberg (2014)
Masehian, E., Katebi, Y.: Sensor-based motion planning of wheeled mobile robots in unknown dynamic environments. J. Int. Rob. Syst. 74(3–4), 893–914 (2014)
METI: Trends in the Market for the Robot Industry in 2012, July 2013
MISRA: MISRA-C Guidelines for the Use of the C Language in Critical Systems (2012)
Mitchell, R.L.: Toyota’s lesson: software can be unsafe at any speed, February 2010
Moorehead, S.J., Kise, M., Reid, J.F.: Autonomous tractors for citrus grove operations. In: International Conference on Machine Control & Guidance, pp. 309–313 (2010)
Petersen, K., Feldt, R., Mujtaba, S., Mattsson, M.: Systematic mapping studies in software engineering. In: International Conference on Evaluation and Assessment in Software Engineering, pp. 68–77. British Computer Society (2008)
Rahimi, M., Xiadong, X.: A framework for software safety verification of industrial robot operations. Comput. Ind. Eng. 20(2), 279–287 (1991)
Reichardt, M., Föhst, 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)
Rovira-Más, F.: Sensor architecture and task classification for agricultural vehicles and environments. Sensors 10(12), 11226–11247 (2010)
Täubig, H., Frese, U., Hertzberg, C., Lüth, C., Mohr, S., Vorobev, E., Walter, D.: Guaranteeing functional safety: design for provability and computer-aided verification. Auton. Robots 32(3), 303–331 (2012)
TC 184: Robots and robotic devices - Safety requirements for personal care robots. International Standard ISO 13482:2014, International Organization for Standardization (2014)
TC 22: Road Vehicles Functional Safety. International Standard ISO 26262:2011, International Organization for Standardization (2011)
TC 23: Tractors and machinery for agriculture and forestry - safety-related parts of control systems. International Standard ISO 25119-2010, International Organization for Standardization (2010)
TC 23: Agricultural machinery and tractors - Safety of highly automated machinery. International Standard ISO/DIS 18497, International Organization for Standardization (2014)
TC 44: Safety of machinery - electro-sensitive protective equipment. International Standard IEC 61496-2012, International Electronical Commission (2012)
Wieringa, R., Maiden, N., Mead, N., Rolland, C.: Requirements engineering paper classification and evaluation criteria: a proposal and a discussion. Requirements Eng. 11(1), 102–107 (2006)
Winfield, A.F.T., Blum, C., Liu, W.: Towards an ethical robot: internal models, consequences and ethical action selection. In: Mistry, M., Leonardis, A., Witkowski, M., Melhuish, C. (eds.) TAROS 2014. LNCS, vol. 8717, pp. 85–96. Springer, Heidelberg (2014)
Yang, L., Noguchi, N.: Human detection for a robot tractor using omni-directional stereo vision. Comput. Electron. Agric. 89, 116–125 (2012)
Yang, S.-Y., Jin, S.-M., Kwon, S.-K.: Remote control system of industrial field robot. In: IEEE International Conference on Industrial Informatics, pp. 442–447. IEEE (2008)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Ingibergsson, J.T.M., Schultz, U.P., Kuhrmann, M. (2015). 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) Product-Focused Software Process Improvement. PROFES 2015. Lecture Notes in Computer Science(), vol 9459. Springer, Cham. https://doi.org/10.1007/978-3-319-26844-6_25
Download citation
DOI: https://doi.org/10.1007/978-3-319-26844-6_25
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-26843-9
Online ISBN: 978-3-319-26844-6
eBook Packages: Computer ScienceComputer Science (R0)