Safety verification method for preventing friction blisters during utilization of physical assistant robots

2017 ◽  
Vol 31 (13) ◽  
pp. 680-694 ◽  
Author(s):  
Xuewei Mao ◽  
Yoji Yamada ◽  
Yasuhiro Akiyama ◽  
Shogo Okamoto ◽  
Kengo Yoshida
Keyword(s):  
Safety Verification ◽  
Verification Method ◽  
Assistant Robots

Safecharts Model Checking for the Verfication of Safety-Critical Systems

2007 ◽  
pp. 427-466 ◽  
Author(s):  
Pao-Ann. Hsiung ◽  
Yen-Hung Lin ◽  
Yean-Ru Chen
Keyword(s):  
Timed Automata ◽  
Hazard Analysis ◽  
Mutual Exclusion ◽  
Critical Systems ◽  
Safety Verification ◽  
Verification Method ◽  
Safety Critical ◽  
Model Driven ◽  
Safety Constraints ◽  
Safety Critical Systems

Unintentional design faults in safety-critical systems might result in injury or even death to human beings. However, the safety verification of such systems is getting very difficult because designs are becoming very complex. To cope with high design complexity, model-driven architecture (MDA) design is becoming a well-accepted trend. However, conventional methods of code testing and hazard analysis do not fit very well with MDA. To bridge this gap, we propose a safecharts model-based formal verification technique for safety-critical systems. The safety constraints in safecharts are mapped to semantic equivalents in timed automata. The theory for safety verification is proved and implemented in the SGM model checker. Prioritized and urgent transitions are implemented in SGM to model the safe chart risk semantics. Finally, it is shown that priority-based approach to mutual exclusion of resource usage in safecharts is unsafe and solutions are proposed. Application examples show the benefits of the proposed model-driven verification method.

Texture measurements in Al2O3 using BEKP

1994 ◽  
Vol 52 ◽  
pp. 608-609
Author(s):  
M. D. Vaudin ◽  
J. P. Cline
Keyword(s):  
Neutron Diffraction ◽  
Rapid Method ◽  
Crystallographic Orientation ◽  
Specimen Surface ◽  
X Ray Diffraction ◽  
Anisotropic Crystal ◽  
X Ray ◽  
Verification Method ◽  
Crystal Properties ◽  
Backscattered Electron

The study of preferred crystallographic orientation (texture) in ceramics is assuming greater importance as their anisotropic crystal properties are being used to advantage in an increasing number of applications. The quantification of texture by a reliable and rapid method is required. Analysis of backscattered electron Kikuchi patterns (BEKPs) can be used to provide the crystallographic orientation of as many grains as time and resources allow. The technique is relatively slow, particularly for noncubic materials, but the data are more accurate than any comparable technique when a sufficient number of grains are analyzed. Thus, BEKP is well-suited as a verification method for data obtained in faster ways, such as x-ray or neutron diffraction. We have compared texture data obtained using BEKP, x-ray diffraction and neutron diffraction. Alumina specimens displaying differing levels of axisymmetric (0001) texture normal to the specimen surface were investigated.BEKP patterns were obtained from about a hundred grains selected at random in each specimen.

Sign in / Sign up

Export Citation Format

Share Document