Review of legal frameworks, standards and best practices in verification and assurance for infrastructure inspection robotics

The purpose of this deliverable is to provide a single point of reference on the safety, regulatory and liability issues for operating robots in the European Union. The deliverable describes a state of the art and the well-known normative frameworks for assuring safety on the one hand and examines the regulatory and legal liability issues related to operating robots on the other. We organised the report based on the required structure of the deliverable with taking into consideration the different robots technologies, as recognised at the European Union and international level. This deliverable is closely related to other deliverables which describe the current state of the arts and normative framework from a different point of view. This review report is intended as a guiding document to be used by all project partners. There is currently no single framework to regulate robotics technology in Europe. Different types of robots, depending on where they operate—which Member State and in the air, on land, or in the waters—may be subject to various existing laws or regulations on the international, European Union, Member State levels. The regulations include legal standards and industry guidelines on the robot technologies themselves and on the developers, manufacturers, suppliers, and operators that must be met before these new technologies can be legally and safely deployed. Specific types of robots are subject to different regulatory regimes, and depending on the type of the robot, the applicable regulations may be harmonised across Europe or differ in each Member State. Current liability regimes on the EU and Member State levels govern the situations in which the humans associated with the robots are civilly liable for the damage they cause to property or injuries to persons. The appropriate legal regime could be fault-based, strict liability, or product liability depending on the particular circumstances. While existing laws are sufficient to address liability issues given the current state of the technology, further scientific advances that lead to increasingly sophisticated robots may raise problems on how to appropriately assign responsibility

Healthcare Robotics

Robots have the potential to be a game changer in healthcare: improving health and well-being, filling care gaps, supporting care givers, and aiding health care workers. However, before robots are able to be widely deployed, it is crucial that both the research and industrial communities work together to establish a strong evidence-base for healthcare robotics, and surmount likely adoption barriers. This article presents a broad contextualization of robots in healthcare by identifying key stakeholders, care settings, and tasks; reviewing recent advances in healthcare robotics; and outlining major challenges and opportunities to their adoption.Comment: 8 pages, Communications of the ACM, 201

Implementation of explosion safety regulations in design of a mobile robot for coal mines

The article focuses on specific challenges of the design of a reconnaissance mobile robotic system aimed for inspection in underground coal mine areas after a catastrophic event. Systems that are designated for these conditions must meet specific standards and regulations. In this paper is discussed primarily the main conception of meeting explosion safety regulations of European Union 2014/34/EU (also called ATEX-from French "Appareils destines a etre utilises en ATmospheres Explosives") for Group I (equipment intended for use in underground mines) and Category M1 (equipment designed for operation in the presence of an explosive atmosphere). An example of a practical solution is described on main subsystems of the mobile robot TeleRescuera teleoperated robot with autonomy functions, a sensory subsystem with multiple cameras, three-dimensional (3D) mapping and sensors for measurement of gas concentration, airflow, relative humidity, and temperatures. Explosion safety is ensured according to the Technical Report CLC/TR 60079-33 "s" by two main independent protections-mechanical protection (flameproof enclosure) and electrical protection (automatic methane detector that disconnects power when methane breaches the enclosure and gets inside the robot body).Web of Science811art. no. 230

Specification Patterns for Robotic Missions

Mobile and general-purpose robots increasingly support our everyday life, requiring dependable robotics control software. Creating such software mainly amounts to implementing their complex behaviors known as missions. Recognizing the need, a large number of domain-specific specification languages has been proposed. These, in addition to traditional logical languages, allow the use of formally specified missions for synthesis, verification, simulation, or guiding the implementation. For instance, the logical language LTL is commonly used by experts to specify missions, as an input for planners, which synthesize the behavior a robot should have. Unfortunately, domain-specific languages are usually tied to specific robot models, while logical languages such as LTL are difficult to use by non-experts. We present a catalog of 22 mission specification patterns for mobile robots, together with tooling for instantiating, composing, and compiling the patterns to create mission specifications. The patterns provide solutions for recurrent specification problems, each of which detailing the usage intent, known uses, relationships to other patterns, and---most importantly---a template mission specification in temporal logic. Our tooling produces specifications expressed in the LTL and CTL temporal logics to be used by planners, simulators, or model checkers. The patterns originate from 245 realistic textual mission requirements extracted from the robotics literature, and they are evaluated upon a total of 441 real-world mission requirements and 1251 mission specifications. Five of these reflect scenarios we defined with two well-known industrial partners developing human-size robots. We validated our patterns' correctness with simulators and two real robots

Resilience of multi-robot systems to physical masquerade attacks

The advent of autonomous mobile multi-robot systems has driven innovation in both the industrial and defense sectors. The integration of such systems in safety-and security-critical applications has raised concern over their resilience to attack. In this work, we investigate the security problem of a stealthy adversary masquerading as a properly functioning agent. We show that conventional multi-agent pathfinding solutions are vulnerable to these physical masquerade attacks. Furthermore, we provide a constraint-based formulation of multi-agent pathfinding that yields multi-agent plans that are provably resilient to physical masquerade attacks. This formalization leverages inter-agent observations to facilitate introspective monitoring to guarantee resilience.Accepted manuscrip

cRRT*: Planning loosely-coupled motions for multiple mobile robots

The planning of collision-free paths of a team of mobile robots involves many degrees of freedom and therefore the use of sampling-based methods is a good alternative. Among them, the RRT planner has been proposed to cope with optimization problems, and has been proven to be asymptotically optimal. Any optimization function can be defined, although optimization has been usually focused on the traveled distance or on safety, i.e. to find paths of minimum length or maximum clearance. Other constraints to be considered are related to the coordinate movements of the robots, including aspects like keeping a desired formation o having some similar behavior. In this paper we propose the use of an RRT to optimize the traveled distance but subject to a coupled behavior between robots, i.e. it is desired that the robots behave as a group with similar or coordinated movements. To achieve so, a cost function has been defined that evaluates the alignment of the edges of the RRT with the vectors that define the coupling between the motion directions of the robots. The method establishes a compromise between the independence required to avoid obstacles in a flexible way and the desired coupling to behave as a team. The method is illustrated with several examples.Preprin

Evaluating Trust and Safety in HRI : Practical Issues and Ethical Challenges

Permission to make digital or hard copies of part or all of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage, and that copies bear this notice and the full citation on the first page. Copyrights for third-party components of this work must be honored. For all other uses, contact the owner/author(s). Copyright is held by the owner/author(s). Date of Acceptance: 11/02/2015In an effort to increase the acceptance and persuasiveness of socially assistive robots in home and healthcare environments, HRI researchers attempt to identify factors that promote human trust and perceived safety with regard to robots. Especially in collaborative contexts in which humans are requested to accept information provided by the robot and follow its suggestions, trust plays a crucial role, as it is strongly linked to persuasiveness. As a result, human- robot trust can directly affect people's willingness to cooperate with the robot, while under- or overreliance could have severe or even dangerous consequences. Problematically, investigating trust and human perceptions of safety in HRI experiments is not a straightforward task and, in light of a number of ethical concerns and risks, proves quite challenging. This position statement highlights a few of these points based on experiences from HRI practice and raises a few important questions that HRI researchers should consider.Final Accepted Versio