期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
Safety analysis of wheel brake system based on STAMP/STPA and Monte Carlo simulation 被引量:8
1
作者 HU Jianbo ZHENG Lei XU Shukui 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2018年第6期1327-1339,共13页
The wheel brake system safety is a complex problem which refers to its technical state, operating environment, human factors, etc., in aircraft landing taxiing process. Usually, professors consider system safety with ... The wheel brake system safety is a complex problem which refers to its technical state, operating environment, human factors, etc., in aircraft landing taxiing process. Usually, professors consider system safety with traditional probability techniques based on the linear chain of events. However, it could not comprehensively analyze system safety problems, especially in operating environment, interaction of subsystems, and human factors. Thus,we consider system safety as a control problem based on the system-theoretic accident model, the processes(STAMP) model and the system theoretic process analysis(STPA) technique to compensate the deficiency of traditional techniques. Meanwhile,system safety simulation is considered as system control simulation, and Monte Carlo methods are used which consider the range of uncertain parameters and operation deviation to quantitatively study system safety influence factors in control simulation. Firstly,we construct the STAMP model and STPA feedback control loop of the wheel brake system based on the system functional requirement. Then four unsafe control actions are identified, and causes of them are analyzed. Finally, we construct the Monte Carlo simulation model to analyze different scenarios under disturbance. The results provide a basis for choosing corresponding process model variables in constructing the context table and show that appropriate brake strategies could prevent hazards in aircraft landing taxiing. 展开更多
关键词 safety analysis landing taxiing system-theoretic accident model and processes(STAMP) model and system theoretic process analysis(stpa)(STAMP/stpa) feedback control loop Monte Carlo simulation
在线阅读 下载PDF
STPA和CREAM方法在飞行冲突调配人因差错研究中的应用 被引量:3
2
作者 袁乐平 吴昊 《安全与环境学报》 CAS CSCD 北大核心 2024年第5期1886-1893,共8页
为了研究管制员飞行冲突调配的人因差错问题,进而有效评估管制员解决飞行冲突的可靠性,以保障空中交通的安全运行,提出系统理论过程分析(System Theoretic Process Analysis, STPA)与认知可靠性与失误分析方法(Cognitive Reliability an... 为了研究管制员飞行冲突调配的人因差错问题,进而有效评估管制员解决飞行冲突的可靠性,以保障空中交通的安全运行,提出系统理论过程分析(System Theoretic Process Analysis, STPA)与认知可靠性与失误分析方法(Cognitive Reliability and Error Analysis Method, CREAM)相结合的人因可靠性分析方法。首先,通过STPA方法构建系统控制模型,识别不安全控制行为(Unsafe Control Action, UCA)以及致因因素,找到管制员在调配飞行冲突过程中可能存在的差错行为;其次,基于CREAM扩展法对管制员的差错行为进行定量分析,得到管制员调配飞行冲突的人因失误概率。研究显示:使用该方法能够系统、全面地识别出管制员在调配飞行冲突过程中出现的差错行为,进而计算管制员飞行冲突调配的人因失误概率。实例分析表明该方法可以预测管制员在飞行冲突调配过程中的人因失误概率及可靠性,为管制员人因可靠性分析提供了新思路。 展开更多
关键词 安全工程 空中交通管制员 飞行冲突 系统理论过程分析(stpa) 认知可靠性与失误分析方法(CREAM) 人因可靠性
在线阅读 下载PDF
STPA危险分析方法及其在ATSA-ITP设计中的应用 被引量:6
3
作者 甘旭升 崔浩林 +2 位作者 刘卫东 戴哲 李玉彬 《中国安全科学学报》 CAS CSCD 北大核心 2015年第5期80-86,共7页
传统危险分析方法无法胜任对复杂的非线性社会技术系统的分析。系统理论过程分析(STPA)方法是建立在系统理论事故建模和过程(STAMP)基础上的一种新型的危险分析方法,它将安全视为系统的一种涌现特性,认为除了组件失效,组件间的非功能交... 传统危险分析方法无法胜任对复杂的非线性社会技术系统的分析。系统理论过程分析(STPA)方法是建立在系统理论事故建模和过程(STAMP)基础上的一种新型的危险分析方法,它将安全视为系统的一种涌现特性,认为除了组件失效,组件间的非功能交互也是导致危险的主要原因,并通过定义系统危险、绘制安全控制结构、识别不安全控制行为、确定不安全控制行为起因等4个步骤完成危险分析过程。美国的空中交通态势感知尾随程序(ATSA-ITP)设计案例分析表明,STPA方法的组织形式有序,逻辑结构严谨,分析过程透彻。 展开更多
关键词 系统理论过程分析(stpa) 危险分析方法 涌现特性 安全约束 安全控制结构 不安全控制行为
在线阅读 下载PDF
塔吊安装与拆卸作业安全性分析 被引量:19
4
作者 赵挺生 胡俊杰 +1 位作者 师玉栋 姜雯茜 《中国安全科学学报》 CAS CSCD 北大核心 2021年第10期32-38,共7页
为提高建筑施工塔吊安装与拆卸作业安全管理水平,采用系统理论事故模型及过程(STAMP)分析方法,构建塔吊安装与拆卸作业模型;利用系统危害分析(STPA)方法从组件失效、组件间交互作用、系统外部影响3个方面分析建立模型的安全性,得出60个... 为提高建筑施工塔吊安装与拆卸作业安全管理水平,采用系统理论事故模型及过程(STAMP)分析方法,构建塔吊安装与拆卸作业模型;利用系统危害分析(STPA)方法从组件失效、组件间交互作用、系统外部影响3个方面分析建立模型的安全性,得出60个隐患点;再将60个隐患点分为文档资料、人员、机械设备、管理、外部环境和流程等6个方面共15项,并据此分类统计和分析70起塔吊安装与拆卸阶段事故报告中的事故原因。结果表明:塔吊安装与拆卸作业现场安全管理中,现场管理监督人员缺失或失职、作业工人无证作业、塔吊施工方案的缺失或不合理、安全教育培训和技术交底不到位以及工序执行的正确性是应着重关注的隐患点。 展开更多
关键词 塔吊 安装与拆卸 系统理论事故模型及过程(STAMP)模型 系统危害分析(stpa)方法 安全性分析
在线阅读 下载PDF
基于系统理论过程分析的软件安全性需求分析与验证方法 被引量:2
5
作者 秦楠 马亮 黄锐 《计算机应用》 CSCD 北大核心 2020年第11期3261-3266,共6页
针对传统系统理论过程分析(STPA)方法缺乏自动化实现手段、自然语言结果分析存在歧义性的问题,提出一种基于STPA的软件安全性需求分析与验证方法。首先,提取软件安全性需求,并利用算法将其转化为形式化表达式;其次,建立状态图模型来描... 针对传统系统理论过程分析(STPA)方法缺乏自动化实现手段、自然语言结果分析存在歧义性的问题,提出一种基于STPA的软件安全性需求分析与验证方法。首先,提取软件安全性需求,并利用算法将其转化为形式化表达式;其次,建立状态图模型来描述软件安全控制行为逻辑,并将其转化为程序可读的形式化语言;最后,采用模型检验技术进行形式化验证。结合某武器发射控制系统案例验证了方法的有效性,结果表明,该方法能够实现安全需求分析的自动化生成与形式化验证,解决了传统方法对于人工干预的依赖问题及自然语言描述问题。 展开更多
关键词 系统理论过程分析 软件安全需求 形式化方法 模型检验 武器发射控制系统
在线阅读 下载PDF
系统理论过程分析在城市轨道交通列车运行控制系统设计中的应用 被引量:11
6
作者 闫宏伟 燕飞 +2 位作者 张仕杰 牛儒 唐涛 《城市轨道交通研究》 北大核心 2017年第11期55-59,63,共6页
使用STPA(系统理论过程分析)安全分析方法,针对北京燕房线实际设计案例中的典型系统级危险源,选取列车进站停车运营场景建立相应的分层控制结构模型,辨识不安全控制行为,分析列车运行过程中的危险致因和安全约束,结合实际工程项目转化... 使用STPA(系统理论过程分析)安全分析方法,针对北京燕房线实际设计案例中的典型系统级危险源,选取列车进站停车运营场景建立相应的分层控制结构模型,辨识不安全控制行为,分析列车运行过程中的危险致因和安全约束,结合实际工程项目转化为切实可行的安全需求和防护措施。表明STPA方法分析过程全面深入,不仅可以分析技术系统,还可以分析运营组织中的人为因素,可以更加全面辨识运营场景中所涉及的危险致因。 展开更多
关键词 轨道交通 全自动运行系统 安全分析方法 系统理论过程分析 安全约束 系统分层控制结构图
在线阅读 下载PDF
基于系统理论过程分析的安全关键软件安全性验证方法 被引量:5
7
作者 王鹏 吴康 +2 位作者 阎芳 汪克念 张啸晨 《计算机应用》 CSCD 北大核心 2019年第11期3298-3303,共6页
现代安全关键系统的功能实现越来越依赖于软件,这导致软件的安全性对系统安全至关重要,而软件的复杂性使得采用传统安全性分析方法很难捕获组件交互过程带来的危险。为保证安全关键系统的安全性,提出一种基于系统理论过程分析(STPA)的... 现代安全关键系统的功能实现越来越依赖于软件,这导致软件的安全性对系统安全至关重要,而软件的复杂性使得采用传统安全性分析方法很难捕获组件交互过程带来的危险。为保证安全关键系统的安全性,提出一种基于系统理论过程分析(STPA)的软件安全性验证方法。在安全控制结构基础上,通过构建带有软件过程模型变量的过程模型,细化分析危险行为发生的系统上下文信息,并以此生成软件安全性需求。然后通过设计起落架控制系统软件,采用模型检验技术对软件进行安全性验证。结果表明,所提方法能够在系统级层面有效识别出软件中潜在的危险控制路径,并可以减少对人工分析的依赖。 展开更多
关键词 系统理论过程分析方法 软件安全 形式化 模型检验 起落架控制软件
在线阅读 下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部