Skip to main content

2015 | OriginalPaper | Buchkapitel

On the Use of Safety Certification Practices in Autonomous Field Robot Software Development: A Systematic Mapping Study

verfasst von : Johann Thor Mogensen Ingibergsson, Ulrik Pagh Schultz, Marco Kuhrmann

Erschienen in: Product-Focused Software Process Improvement

Verlag: Springer International Publishing

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

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.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
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.
 
Literatur
1.
Zurück zum Zitat 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) 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)
2.
Zurück zum Zitat 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) 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)
3.
Zurück zum Zitat 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., 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)
4.
Zurück zum Zitat 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) 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)
5.
Zurück zum Zitat Board, M.I.: Mars Climate Orbiter Mishap Investigation Board Phase I Report, 10 November 1999 Board, M.I.: Mars Climate Orbiter Mishap Investigation Board Phase I Report, 10 November 1999
6.
Zurück zum Zitat 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)CrossRef 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)CrossRef
7.
Zurück zum Zitat 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) 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)
8.
Zurück zum Zitat 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) 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)
9.
Zurück zum Zitat 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)CrossRef 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)CrossRef
10.
Zurück zum Zitat 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) 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)
11.
Zurück zum Zitat 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)CrossRef 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)CrossRef
13.
Zurück zum Zitat Gribov, V., Voos, H.: Safety oriented software engineering process for autonomous robots. In: Conference on Emerging Technologies & Factory Automation, pp. 1–8. IEEE (2013) Gribov, V., Voos, H.: Safety oriented software engineering process for autonomous robots. In: Conference on Emerging Technologies & Factory Automation, pp. 1–8. IEEE (2013)
14.
Zurück zum Zitat 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) 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)
15.
Zurück zum Zitat 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) 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)
16.
Zurück zum Zitat IFR: World Robotics 2014 Industrial Robots (2014) IFR: World Robotics 2014 Industrial Robots (2014)
17.
Zurück zum Zitat 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., 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)
18.
Zurück zum Zitat 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) 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)
19.
Zurück zum Zitat 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., 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)
20.
Zurück zum Zitat 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) 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)
21.
Zurück zum Zitat 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) 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)
22.
Zurück zum Zitat Kitchenham, B.: Procedures for performing systematic reviews, vol. 33, pp. 1–26. Keele University, Keele, UK (2004) Kitchenham, B.: Procedures for performing systematic reviews, vol. 33, pp. 1–26. Keele University, Keele, UK (2004)
23.
Zurück zum Zitat Kitchenham, B., Pfleeger, S.L.: Software quality: the elusive target. IEEE Softw. 13(1), 12–21 (1996)CrossRef Kitchenham, B., Pfleeger, S.L.: Software quality: the elusive target. IEEE Softw. 13(1), 12–21 (1996)CrossRef
24.
Zurück zum Zitat 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)CrossRef 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)CrossRef
25.
Zurück zum Zitat Leveson, N., Turner, C.: An investigation of the Therac-25 accidents. Computer 26(7), 18–41 (1993)CrossRef Leveson, N., Turner, C.: An investigation of the Therac-25 accidents. Computer 26(7), 18–41 (1993)CrossRef
26.
Zurück zum Zitat 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) 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)
27.
Zurück zum Zitat 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)CrossRef 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)CrossRef
28.
Zurück zum Zitat METI: Trends in the Market for the Robot Industry in 2012, July 2013 METI: Trends in the Market for the Robot Industry in 2012, July 2013
29.
Zurück zum Zitat MISRA: MISRA-C Guidelines for the Use of the C Language in Critical Systems (2012) MISRA: MISRA-C Guidelines for the Use of the C Language in Critical Systems (2012)
30.
Zurück zum Zitat Mitchell, R.L.: Toyota’s lesson: software can be unsafe at any speed, February 2010 Mitchell, R.L.: Toyota’s lesson: software can be unsafe at any speed, February 2010
31.
Zurück zum Zitat 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) 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)
32.
Zurück zum Zitat 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) 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)
33.
Zurück zum Zitat Rahimi, M., Xiadong, X.: A framework for software safety verification of industrial robot operations. Comput. Ind. Eng. 20(2), 279–287 (1991)CrossRef Rahimi, M., Xiadong, X.: A framework for software safety verification of industrial robot operations. Comput. Ind. Eng. 20(2), 279–287 (1991)CrossRef
34.
Zurück zum Zitat 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) 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)
35.
Zurück zum Zitat Rovira-Más, F.: Sensor architecture and task classification for agricultural vehicles and environments. Sensors 10(12), 11226–11247 (2010)CrossRef Rovira-Más, F.: Sensor architecture and task classification for agricultural vehicles and environments. Sensors 10(12), 11226–11247 (2010)CrossRef
36.
Zurück zum Zitat 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)CrossRef 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)CrossRef
37.
Zurück zum Zitat TC 184: Robots and robotic devices - Safety requirements for personal care robots. International Standard ISO 13482:2014, International Organization for Standardization (2014) TC 184: Robots and robotic devices - Safety requirements for personal care robots. International Standard ISO 13482:2014, International Organization for Standardization (2014)
38.
Zurück zum Zitat TC 22: Road Vehicles Functional Safety. International Standard ISO 26262:2011, International Organization for Standardization (2011) TC 22: Road Vehicles Functional Safety. International Standard ISO 26262:2011, International Organization for Standardization (2011)
39.
Zurück zum Zitat 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: Tractors and machinery for agriculture and forestry - safety-related parts of control systems. International Standard ISO 25119-2010, International Organization for Standardization (2010)
40.
Zurück zum Zitat TC 23: Agricultural machinery and tractors - Safety of highly automated machinery. International Standard ISO/DIS 18497, International Organization for Standardization (2014) TC 23: Agricultural machinery and tractors - Safety of highly automated machinery. International Standard ISO/DIS 18497, International Organization for Standardization (2014)
41.
Zurück zum Zitat TC 44: Safety of machinery - electro-sensitive protective equipment. International Standard IEC 61496-2012, International Electronical Commission (2012) TC 44: Safety of machinery - electro-sensitive protective equipment. International Standard IEC 61496-2012, International Electronical Commission (2012)
42.
Zurück zum Zitat 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)CrossRef 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)CrossRef
43.
Zurück zum Zitat 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) 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)
44.
Zurück zum Zitat Yang, L., Noguchi, N.: Human detection for a robot tractor using omni-directional stereo vision. Comput. Electron. Agric. 89, 116–125 (2012)CrossRef Yang, L., Noguchi, N.: Human detection for a robot tractor using omni-directional stereo vision. Comput. Electron. Agric. 89, 116–125 (2012)CrossRef
45.
Zurück zum Zitat 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) 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)
Metadaten
Titel
On the Use of Safety Certification Practices in Autonomous Field Robot Software Development: A Systematic Mapping Study
verfasst von
Johann Thor Mogensen Ingibergsson
Ulrik Pagh Schultz
Marco Kuhrmann
Copyright-Jahr
2015
DOI
https://doi.org/10.1007/978-3-319-26844-6_25

Premium Partner