Planning for Safety Standards Compliance: A Model-Based Tool-Supported Approach

IEEE Software ◽  
2012 ◽  
Vol 29 (3) ◽  
pp. 64-70 ◽  
Author(s):  
Davide Falessi ◽  
Mehrdad Sabetzadeh ◽  
Lionel Briand ◽  
Emanuele Turella ◽  
Thierry Coq ◽  
...  
Author(s):  
Peter Jurnecka ◽  
Petr Hanacek ◽  
Maros Barabas ◽  
Martin Henzl ◽  
Matej Kacic

2014 ◽  
Vol 3 (1) ◽  
pp. 47-66
Author(s):  
Peter Jurneˇcka ◽  
Petr Hanˇcek ◽  
Matej Kaˇcic ◽  
◽  
◽  
...  

Author(s):  
Peter Herrmann ◽  
Jan Olaf Blech ◽  
Fenglin Han ◽  
Heinz Schmidt

Many cyber-physical systems operate together with others and with humans in a joint physical space. Because of their operation in proximity to humans, they have to operate according to very high safety standards. This chapter presents a method for developing the control software of cyber-physical systems. The method is model-based and assists engineers with spatial and real-time property verification. In particular, the authors describe a toolchain consisting of the model-based development toolset Reactive Blocks, the spatial analyzer BeSpaceD in conjunction with the real-time model checkers UPPAAL and PRISM. The combination of these tools makes it possible to create models of the control software and, if necessary, simulators for the actual system behavior with Reactive Blocks. These models can then be checked for various correctness properties using the analysis tools. If all properties are fulfilled, Reactive Blocks transforms the models automatically into executable code.


Author(s):  
Jose Luis de la Vara ◽  
Sunil Nair ◽  
Eric Verhulst ◽  
Janusz Studzizba ◽  
Piotr Pepek ◽  
...  

Author(s):  
A. Rega ◽  
F. Vitolo ◽  
C. Di Marino ◽  
S. Patalano

Abstract Human–robot collaboration (HRC) solutions are replacing classic industrial robot due to the possibility of realizing more flexible production systems. Collaborative robot systems, named cobot, can work side by side with humans combining their strengths. However, obtaining an efficient HRC is not trivial; indeed, the potential advantages of the collaborative robotics increase as complexity increases. In this context, the main challenge is to design the layout of collaborative workplaces facing the facility layout problem and ensuring the safety of the human being. To move through the high number of safety standards could be very tiring and unproductive. Therefore, in this work a list of key elements, linked to reference norms and production needs, characterizing the collaborative workplace has been identified. Then, a graph-based approach has been used in order to organize and easily manage this information. The management by means graphs has facilitated the implementation of the acquired knowledge in a code, developed in Matlab environment. This code aims to help the designer in the layout organization of human–robot collaborative workplaces in standards compliance. The paper presents the optimization code, named Smart Positioner, and the operation is explained through a workflow diagram.


Sign in / Sign up

Export Citation Format

Share Document