Deriving Functional Safety Requirements using Undesired Combination State Templates

被引:1
作者
Aceituna, Daniel [1 ]
Madala, Kaushik [2 ]
Do, Hyunsook [2 ]
机构
[1] DISTek Integrat, Fargo, ND 58102 USA
[2] Univ North Texas, Dept Comp Sci & Engn, Denton, TX 76203 USA
来源
2018 4TH INTERNATIONAL WORKSHOP ON REQUIREMENTS ENGINEERING FOR SELF-ADAPTIVE, COLLABORATIVE, AND CYBER PHYSICAL SYSTEMS (RESACS 2018) | 2018年
关键词
Functional Safety; safety requirements; hazard assessment;
D O I
10.1109/RESACS.2018.00006
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
Functional Safety (FS) has become a major consideration during the development of embedded and reactive systems. When incorporating functional safety into a system under development, the engineer must be cognitive of not just system requirements, but safety requirements as well. These safety requirements are typically derived from an initial set of hazard and risk assessments. While there are various means of performing these assessments, there is a particular classification of hazards, based on undesired combination states that may be overlooked by other techniques. In this paper, we propose a technique that addresses these hazards, using Undesired Combination States Templates (UDCST). The technique has been conceived to accommodate the constraints on time and cost typically encountered in industry. We demonstrate the technique with two real world applications.
引用
收藏
页码:1 / 8
页数:8
相关论文
共 16 条
[1]  
Aceituna D, 2015, INT REQUIR ENG CONF, P136, DOI 10.1109/RE.2015.7320416
[2]  
Cabrera E. J. P., 2008, U.S. Patent Application, Patent No. [11/516,029, 11516029]
[3]   Modeling System Safety Requirements Using Input/Output Constraint Meta-Automata [J].
Chen, Zhe ;
Motet, Gilles .
2009 FOURTH INTERNATIONAL CONFERENCE ON SYSTEMS (ICONS), 2009, :228-233
[4]  
Ericson C. A., 1999, P SYST SAF C ORL FLO, V1, P1
[5]  
George A., 2017, SAE TECHNICAL PAPER
[6]   A simple reliability block diagram method for safety integrity verification [J].
Guo, Haitao ;
Yang, Xianhui .
RELIABILITY ENGINEERING & SYSTEM SAFETY, 2007, 92 (09) :1267-1273
[7]   Particular risk analysis: impact on hybrid aircraft design [J].
Kale, Nachiket Vinayak ;
Ilkay, Firat ;
Zysk, Oliver .
INTERNATIONAL JOURNAL OF STRUCTURAL INTEGRITY, 2015, 6 (03) :402-409
[8]   Eliciting Software Safety Requirements in Complex Systems [J].
Menon, Catherine ;
Kelly, Tim .
2010 IEEE INTERNATIONAL SYSTEMS CONFERENCE, 2010, :616-621
[9]  
Raspotnig C, 2012, LECT NOTES BUS INF P, V113, P347
[10]  
Reason J., 1991, HUMAN ERROR