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 ◽  
...  
Keyword(s):  
Safety Standards ◽  
Model Based ◽  
Standards Compliance

A Method for Parallel Software Refactoring for Safety Standards Compliance

2013 ◽  
pp. 42-48
Author(s):  
Peter Jurnecka ◽  
Petr Hanacek ◽  
Maros Barabas ◽  
Martin Henzl ◽  
Matej Kacic
Keyword(s):  
Safety Standards ◽  
Software Refactoring ◽  
Standards Compliance ◽  
Parallel Software

scholarly journals Code Search API, Base of Parallel Code Refactoring System For Safety Standards Compliance

2014 ◽  
Vol 3 (1) ◽  
pp. 47-66
Author(s):  
Peter Jurneˇcka ◽  
Petr Hanˇcek ◽  
Matej Kaˇcic ◽  
◽  
◽  
...  
Keyword(s):  
Safety Standards ◽  
Code Search ◽  
Standards Compliance ◽  
Code Refactoring ◽  
Parallel Code

Model-Based Development and Spatiotemporal Behavior of Cyber-Physical Systems

2019 ◽  
pp. 69-93
Author(s):  
Peter Herrmann ◽  
Jan Olaf Blech ◽  
Fenglin Han ◽  
Heinz Schmidt
Keyword(s):  
Real Time ◽  
Physical Space ◽  
Cyber Physical Systems ◽  
Control Software ◽  
Actual System ◽  
Time Model ◽  
Physical Systems ◽  
Safety Standards ◽  
Model Based ◽  
Spatiotemporal Behavior

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.

Towards a Model-Based Evolutionary Chain of Evidence for Compliance with Safety Standards

2012 ◽  
pp. 64-78 ◽  
Author(s):  
Jose Luis de la Vara ◽  
Sunil Nair ◽  
Eric Verhulst ◽  
Janusz Studzizba ◽  
Piotr Pepek ◽  
...  
Keyword(s):  
Safety Standards ◽  
Model Based ◽  
Chain Of Evidence

scholarly journals A knowledge-based approach to the layout optimization of human–robot collaborative workplace

2020 ◽  
Author(s):  
A. Rega ◽  
F. Vitolo ◽  
C. Di Marino ◽  
S. Patalano
Keyword(s):  
Production Systems ◽  
Industrial Robot ◽  
Safety Standards ◽  
Knowledge Based ◽  
Standards Compliance ◽  
Main Challenge ◽  
Flexible Production Systems ◽  
Robot Systems ◽  
Human Robot Collaboration ◽  
Collaborative Robot

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