Verification of Liveness and Safety Properties of Behavioral Programs Using BPjs

2021 ◽  
pp. 199-215 ◽  
Author(s):  
Michael Bar-Sinai ◽  
Gera Weiss
Keyword(s):  
Safety Properties

scholarly journals Molecular Dynamics Simulation of the Influence of RDX Internal Defects on Sensitivity

Crystals ◽  
2021 ◽  
Vol 11 (4) ◽  
pp. 329
Author(s):  
Pengmin Yan ◽  
Xue Zhao ◽  
Jiuhou Rui ◽  
Juan Zhao ◽  
Min Xu ◽  
...  
Keyword(s):  
Energetic Materials ◽  
Low Cost ◽  
Relative Sensitivity ◽  
Dynamics Simulation ◽  
Safety Properties ◽  
Internal Defects ◽  
X Ray ◽  
X Ray Computed ◽  
Low Sensitivity ◽  
Higher Sensitivity

The internal defect is an important factor that could influence the energy and safety properties of energetic materials. RDX samples of two qualities were characterized and simulated to reveal the influence of different defects on sensitivity. The internal defects were characterized with optical microscopy, Raman spectroscopy and microfocus X-ray computed tomography technology. The results show that high-density RDX has fewer defects and a more uniform distribution. Based on the characterization results, defect models with different defect rates and distribution were established. The simulation results show that the models with fewer internal defects lead to shorter N-NO2 maximum bond lengths and greater cohesive energy density (CED). The maximum bond length and CED can be used as the criterion for the relative sensitivity of RDX, and therefore defect models doped with different solvents are established. The results show that the models doped with propylene carbonate and acetone lead to higher sensitivity. This may help to select the solvent to prepare low-sensitivity RDX. The results reported in this paper are aiming at the development of a more convenient and low-cost method for studying the influence of internal defects on the sensitivity of energetic materials.

Verifying safety properties using separation and heterogeneous abstractions

2004 ◽  
Vol 39 (6) ◽  
pp. 25-34 ◽  
Author(s):  
Eran Yahav ◽  
G. Ramalingam
Keyword(s):  
Safety Properties

scholarly journals Study on Formal Modeling and Safety Verification of Train-to-Train Communication

2018 ◽  
Vol 2018 ◽  
pp. 1-9
Author(s):  
Haonan Feng
Keyword(s):  
Transition System ◽  
Research Trend ◽  
Safety Properties ◽  
Safety Verification ◽  
Critical System ◽  
Real Time System ◽  
Vehicle Communication ◽  
Train Control ◽  
Safety Critical System ◽  
Labelled Transition System

VBTC (vehicle-to-vehicle communication based train control) has gradually become an important research trend in the field of rail transit. This has resulted in advantages of decreasing the number of pieces of wayside equipment and improving the efficiency of real-time system communication. Characteristics and mechanism of train-to-train communication, as key implementation technology of safety critical system, are given and discussed. A new method, based on the LTS (labelled transition system) model checking, is proposed for verifying the safety properties in the communication procedure. The LTS method is adapted to model system behaviours; analysis and safety verification are checked by means of LTSA (labelled transition system analyzer) software. The results show that it is an efficient method to verify safety properties, as well as to assist the complex system’s design and development.

Sign in / Sign up

Export Citation Format

Share Document