Correction: Efficient Verification and Validation of Performance-Based Safety Requirements using Subset Simulation

Author(s):  
Chinmaya Mishra ◽  
Florian Schwaiger ◽  
Niclas M. Bähr ◽  
Franz Sax ◽  
Marc Andreas Kleser ◽  
...  
2021 ◽  
Author(s):  
Chinmaya Mishra ◽  
Florian Schwaiger ◽  
Niclas M. Bähr ◽  
Franz Sax ◽  
Marc Andreas Kleser ◽  
...  

2011 ◽  
Vol 2011 ◽  
pp. 1-18 ◽  
Author(s):  
Asadullah Shaikh ◽  
Uffe Kock Wiil ◽  
Nasrullah Memon

UML/OCL class diagrams provide high-level descriptions of software systems. Currently, UML/OCL class diagrams are highly used for code generation through several transformations in order to save time and effort of software developers. Therefore, verification of these class diagrams is essential in order to generate accurate transformations. Verification of UML/OCL class diagrams is a quite challenging task when the input is large (i.e., a complex UML/OCL class diagram). In this paper, we present (1) a benchmark for UML/OCL verification and validation tools, (2) an evaluation and analysis of tools available for verification and validation of UML/OCL class diagrams including the range of UML support for each tool, (3) the problems with efficiency of the verification process for UML/OCL class diagrams, and (4) solution for efficient verification of complex class diagrams.


Author(s):  
K.O. Kobzev ◽  
S.A. Vyalov ◽  
E.S. Bozhko ◽  
I.A. Zolotuhina ◽  
◽  
...  

This article discusses the General safety requirements for the main production equipment, as well as General safety requirements for the tool and die tooling. Possible difficulties in hot-die forging shopsand ways to solve them in various situations are described.


2020 ◽  
Vol 90 ◽  
pp. 19-31
Author(s):  
D. V. Zobkov ◽  
◽  
A. A. Poroshin ◽  
A. A. Kondashov ◽  
◽  
...  

Introduction. A mathematical model is presented for assigning protection objects to certain risk categories in the field of fire safety. The model is based on the concepts of the probability of adverse effects of fires causing harm (damage) of various extent and severity to the life or health of citizens, and the acceptable risk of harm (damage) from fires. Goals and objectives. The purpose of the study is to develop the procedure for assigning protection objects to a certain category of risk of harm (damage) based on estimates of the probability of fires with the corresponding severity consequences, to determine the acceptable level of risk of harm (damage) due to the fires, to calculate and develop numerical values of criteria for assigning objects of protection to the appropriate risk categories. Methods. The boundaries of the intervals corresponding to certain risk categories are determined by dividing the logarithmic scale of severity of adverse effects of fires into equal segments. Classification methods are used to assign objects of protection to a specific risk category. Results and discussion. Based on the level of severity of potential negative consequences of a fire, risk categories were determined for groups of protection objects that are homogeneous by type of economic activity and by functional fire hazard classes. The risk category for each individual object of protection is proposed to be determined using the so-called index of "identification of a controlled person" within a group of objects that are homogeneous by type of economic activity and class of functional fire hazard. Depending on the risk category, the periodicity of planned control and supervision measures in relation to the specific object of protection under consideration is determined, taking into account its socio-economic characteristics and the state of compliance with fire safety requirements by the controlled person. Conclusions. To develop criteria for classifying protection objects that are homogeneous in terms of economic activity and functional fire hazard classes, the probability of negative consequences of fires, that are causing harm (damage) of various extent and severity to the life or health of citizens, and the acceptable risk of causing harm (damage) as a result of fires, is used. The risk category for each individual object of protection is determined taking into account socio-economic characteristics of the object that affect the level of ensuring its fire safety, as well as the criteriaof integrity of the subordinate person that characterize the probability of non-compliance with mandatory fire safety requirements at the object of protection. Calculations are made and numerical values of criteria for assigning protection objects that are homogeneous in terms of economic activity and functional fire hazard classes to a certain category of risk are proposed. Key words: object of protection, probability of fire, acceptable level of risk, risk category, dangerous factor of fire, death and injury of people.


Sign in / Sign up

Export Citation Format

Share Document