SAFER-HRC: Safety analysis through formal vERification in human-robot collaboration

Whereas in classic robotic applications there is a clear segregation between robots and operators, novel robotic and cyber-physical systems have evolved in size and functionality to include the collaboration with human operators within common workspaces. This new application field, often referred to as Human-Robot Collaboration (HRC), raises new challenges to guarantee system safety, due to the presence of operators. We present an innovative methodology, called SAFER-HRC, centered around our logic language TRIO and the companion bounded satisfiability checker Zot, to assess the safety risks in an HRC application. The methodology starts from a generic modular model and customizes it for the target system; it then analyses hazards according to known standards, to study the safety of the collaborative environment

A robotic arm for safe and accurate control of biomedical equipment during COVID-19

Purpose Hospital facilities and social life, along with the global economy, have been severely challenged by COVID-19 since the World Health Organization (WHO) declared it a pandemic in March 2020. Since then, countless ordinary citizens, as well as healthcare workers, have contracted the virus by just coming into contact with infected surfaces. In order to minimise the risk of getting infected by contact with such surfaces, our study aims to design, prototype, and test a new device able to connect users, such as common citizens, doctors or paramedics, with either common-use interfaces (e.g., lift and snack machine keyboards, trafc light push-buttons) or medical-use interfaces (e.g., any medical equipment keypad) Method To this purpose, the device was designed with the help of Unifed Modelling Language (UML) schemes, and was informed by a risk analysis, that highlighted some of its essential requirements and specifcations. Consequently, the chosen constructive solution of the robotic system, i.e., a robotic-arm structure, was designed and manufactured using computeraided design and 3D printing. Result The fnal prototype included a properly programmed micro-controller, linked via Bluetooth to a multi-platform mobile phone app, which represents the user interface. The system was then successfully tested on diferent physical keypads and touch screens. Better performance of the system can be foreseen by introducing improvements in the industrial production phase. Conclusion This frst prototype paves the way for further research in this area, allowing for better management and preparedness of next pandemic emergencies. © 2023, The Author(s)

Simulation-based Testing for Early Safety-Validation of Robot Systems

Industrial human-robot collaborative systems must be validated thoroughly with regard to safety. The sooner potential hazards for workers can be exposed, the less costly is the implementation of necessary changes. Due to the complexity of robot systems, safety flaws often stay hidden, especially at early design stages, when a physical implementation is not yet available for testing. Simulation-based testing is a possible way to identify hazards in an early stage. However, creating simulation conditions in which hazards become observable can be difficult. Brute-force or Monte-Carlo-approaches are often not viable for hazard identification, due to large search spaces. This work addresses this problem by using a human model and an optimization algorithm to generate high-risk human behavior in simulation, thereby exposing potential hazards. A proof of concept is shown in an application example where the method is used to find hazards in an industrial robot cell

A survey of agent-oriented methodologies

This article introduces the current agent-oriented methodologies. It discusses what approaches have been followed (mainly extending existing object oriented and knowledge engineering methodologies), the suitability of these approaches for agent modelling, and some conclusions drawn from the survey

A gentle transition from Java programming to Web Services using XML-RPC

Exposing students to leading edge vocational areas of relevance such as Web Services can be difficult. We show a lightweight approach by embedding a key component of Web Services within a Level 3 BSc module in Distributed Computing. We present a ready to use collection of lecture slides and student activities based on XML-RPC. In addition we show that this material addresses the central topics in the context of web services as identified by Draganova (2003)

Predicting and preventing mistakes in human-robot collaborative assembly

The human-robot collaboration (HRC) in industrial assembly cells leads to great benefits by combining the flexibility of human worker with the accuracy and strength of robot. On the other hand, collaborative works between such different operators can generate risks and faults unknown in current industrial processes, either manual or automatic. To fully exploit the new collaborative paradigm, it is therefore essential to identify these risks before the collaborative robots are introduced in industry and start working together with humans. In the present study the authors analyze a benchmark set of general assembly tasks performed by HRC in a laboratory environment. The analyses are executed with the use of an adapted Process Failure Mode and Effects Analysis (PFMEA) to identify potential mistakes which can be made by human operator and robot. The outcomes are employed to define proper mistake proofing methods to be applied in the HRC assembly work cell

Systems, methods and apparatus for modeling, specifying and deploying policies in autonomous and autonomic systems using agent-oriented software engineering

Systems, methods and apparatus are provided through which in some embodiments, an agent-oriented specification modeled with MaCMAS, is analyzed, flaws in the agent-oriented specification modeled with MaCMAS are corrected, and an implementation is derived from the corrected agent-oriented specification. Described herein are systems, method and apparatus that produce fully (mathematically) tractable development of agent-oriented specification(s) modeled with methodology fragment for analyzing complex multiagent systems (MaCMAS) and policies for autonomic systems from requirements through to code generation. The systems, method and apparatus described herein are illustrated through an example showing how user formulated policies can be translated into a formal mode which can then be converted to code. The requirements-based programming systems, method and apparatus described herein may provide faster, higher quality development and maintenance of autonomic systems based on user formulation of policies