A Model-Based Safety Analysis Method for Hybrid Systems Based on Multiple Hazard Factor Categories

Author(s):  
Hao Wang ◽  
Deming Zhong ◽  
Yukun Zhao ◽  
Rui Sun



2013 ◽  
Vol 347-350 ◽  
pp. 2605-2609 ◽  
Author(s):  
Juan Zhang ◽  
Guo Qi Li

FMEA is a popular safety analysis method for embedded software and its automatic generation is a hot topic recently. In this paper, a novel model-based method for automatic generation of FMEA is presented, which is hopeful to overcome the shortages of exit automatic generation methods. The methodology and procedures of the method are described in detail.





2015 ◽  
Vol 80 ◽  
pp. 56-65 ◽  
Author(s):  
Ying Dai ◽  
Jin Tian ◽  
Hao Rong ◽  
Tingdi Zhao


2021 ◽  
Vol 55 (4) ◽  
pp. 132-142
Author(s):  
Paolo Masci ◽  
Sandy Weininger

Abstract This article reports on the development of usability engineering recommendations for next-generation integrated interoperable medical devices. A model-based hazard analysis method is used to reason about possible design anomalies in interoperability functions that could lead to use errors. Design recommendations are identified that can mitigate design problems. An example application of the method is presented based on an integrated medical system prototype for postoperative care. The AAMI/UL technical committee used the results of the described analysis to inform the creation of the Interoperability Usability Concepts, Annex J, which is included in the first edition of the new ANSI/AAMI/UL 2800-1:2019 standard on medical device interoperability. The presented work is valuable to experts developing future revisions of the interoperability standard, as it documents key aspects of the analysis method used to create part of the standard. The contribution is also valuable to manufacturers, as it demonstrates how to perform a model-based analysis of use-related aspects of a medical system at the early stages of development, when a concrete implementation of the system is not yet available.



Author(s):  
Sven Scholz ◽  
Kleanthis Thramboulidis


2020 ◽  
Vol 32 (4) ◽  
pp. 822-831
Author(s):  
Hokuto Miyakawa ◽  
◽  
Takuma Nemoto ◽  
Masami Iwase

This paper presents a method for analyzing the throwing motion of a yo-yo based on an integrated model of a yo-yo and a manipulator. Our previous integrated model was developed by constraining a model of a white painted commercial yo-yo and a model of a plain single-link manipulator with certain constraining conditions placed between two models. However, for the yo-yo model, the collisions between the string and the axle of the yo-yo were not taken into account. To avoid this problem, we estimate some of the yo-yo parameters from the experiments, thereby preserving the functionality of the model. By applying the new integrated model with the identified parameters, we analyze the throwing motion of the yo-yo through numerical simulations. The results of which show the ranges of the release angle and the angular velocity of the joint of the manipulator during a successful throw. In conclusion, the proposed analysis method is effective in analyzing the throwing motion of a manipulator.



Sign in / Sign up

Export Citation Format

Share Document