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

@inproceedings{Ingibergsson2015OnTU,
  title={On the Use of Safety Certification Practices in Autonomous Field Robot Software Development: A Systematic Mapping Study},
  author={Johann Thor Mogensen Ingibergsson and Ulrik Pagh Schultz and Marco Kuhrmann},
  booktitle={PROFES},
  year={2015}
}
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… 
Software Quality Assessment for Robot Operating System
TLDR
This paper uses PMD1, an off-the-shelf static analysis tool, to conduct an empirical study over a set of ROS repositories implemented using Java and shows that the Java code of ROS2 does not suffer from serious issues and the majority of the detected alerts are code style issues.
Rule-based Dynamic Safety Monitoring for Mobile Robots
TLDR
This paper uses a Domain-Specific Language (DSL) to declaratively specify a set of safety-related rules that the robot software must obey, as well as corresponding corrective actions that trigger when rules are violated.
Declarative Rule-based Safety for Robotic Perception Systems
TLDR
A novel domain-specific language that allows the programmer to express image quality detection rules for enforcing safety constraints and allows developers to increase trustworthiness in the robot perception system, which it is argued would increase compliance with safety standards.
A Systematic Review on Software Engineering for Autonomous Robot
TLDR
A systematic survey on the researches and practices of software engineering for autonomous robot from five research branches, including software architecture, construction technology, model-driven development, quality assurance method, and supporting software platform.
Increasing Safety by Combining Multiple Declarative Rules in Robotic Perception Systems
TLDR
This paper presents an evaluation of different methods for modelling combinations of simple explicit computer vision rules designed to increase the trustworthiness of the perception system, finding that it is possible to improve the safety of the system with some performance cost, depending on the acceptable risk level.
A framework for quality assessment of ROS repositories
TLDR
HAROS is presented, a generic, plug-in-driven, framework to evaluate code quality, through static analysis, in the context of the Robot Operating System (ROS), one of the most widely used robotic middleware.
Safety Computer Vision Rules for Improved Sensor Certification
TLDR
A novel domain-specific language is presented that allows the programmer to express image quality detection rules for enforcing safety constraints and allows developers to increase trustworthiness in the robot perception system, which it is argued would increase compliance with safety standards.
A Case Study on Improving the Software Dependability of a ROS Path Planner for Steep Slope Vineyards
TLDR
This paper explains how a specialized path planner for steep-slope vineyards regarding its software dependability was analyzed and improved, and revealed previously unknown bugs in the system with a relatively low property specification effort.
Model-driven engineering for mobile robotic systems: a systematic mapping study
TLDR
A map of software engineering research in MDE is provided that investigates which types of robots are supported by existing MDE approaches, the types and characteristics of MRSs that are engineered using MDE approach, and how tools support existing Mde approaches.
Explicit Image Quality Detection Rules for Functional Safety in Computer Vision
TLDR
It is hypothesised that low-level and primitive image analysis driven by explicit rules facilitates complying with safety standards, which improves the real-world applicability of existing proposed solutions.
...
...

References

SHOWING 1-10 OF 57 REFERENCES
Experiences with model-centred design methods and tools in safe robotics
TLDR
This paper has experimented with applying a process, the Object-Oriented Systems Engineering Method, to the design of a robotic wheelchair, as well as the use of SysML for managing design information and ZipC for code generation and verification.
Guaranteeing functional safety: design for provability and computer-aided verification
TLDR
It is argued that formal analysis deepens the understanding of the algorithm, and hence is valuable even outside the safety context, while the implementation and methodology have been certified for use in applications up to SIL 3 of IEC 61508 by a certification authority.
Towards Rule-Based Dynamic Safety Monitoring for Mobile Robots
TLDR
This paper uses a Domain-Specific Language (DSL) to declaratively specify a set of safety-related rules that the robot software must obey, as well as corresponding corrective actions that trigger when rules are violated.
A framework for software safety verification of industrial robot operations
Safety oriented software engineering process for autonomous robots
  • V. Gribov, H. Voos
  • Computer Science, Materials Science
    2013 IEEE 18th Conference on Emerging Technologies & Factory Automation (ETFA)
  • 2013
TLDR
The main focus is on the modeling of the safety case based on the standard ISO/DIS 13482, which allows to trace the safety requirements and to model safety relevant properties on the early design stages in order to build a reliable chain of evidence.
On Software Quality-motivated Design of a Real-time Framework for Complex Robot Control Systems
TLDR
This work proposes systematic framework design aiming at high levels of support for all quality attributes that are relevant in the robotics domain, and argues that certain areas of design are especially critical, as changing decisions there would likely require rewriting significant parts of the implementation.
Environmental Hazard Analysis - a Variant of Preliminary Hazard Analysis for Autonomous Mobile Robots
TLDR
This paper develops a new variant of preliminary hazard analysis that is explicitly aimed at identifying non-mission interactions by means of new sets of guidewords not normally found in existing variants.
A Verifiable and Correct-by-Construction Controller for Robots in Human Environments
TLDR
This work provides a framework and software engineering methodology for developing safe and dependable real-world robotic architectures, with a focus on the functional level--the lowest level of a typical layered robotic architecture--which has all the basic action and perception capabilities such as image processing, obstacle avoidance, and motion control.
ISO 13482 - The new safety standard for personal care robots
In the future, personal care robots will work in close interaction with humans. This poses a great challenge to the manufacturers of such robots who have to ensure the safety of their systems. Up to
Modelling and Analysis of a Redundant Mobile Robot Architecture Using AADL
TLDR
This paper presents a formal specification of a redundant control architecture for a mobile robot in the form of a model and presents the results of these analyses with the goal of proving that the architecture is sufficiently safe for use in a safe robot wheelchair.
...
...