首页>外文会议>其他>IET International Conference on System Safety, Incorporating the SaRS Annual Conference

IET International Conference on System Safety, Incorporating the SaRS Annual Conference

召开年：
召开地：
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.FUNCTIONAL SAFETY ENGINEERING JUDGEMENT

机译：功能安全与工程判断
- 作者：H. T. Dearden
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Functional;
- Safety;
- Judgement;
- 61508;
- 61511;
2.Process and Structural Safety: Do we need to have hazards?

机译：过程和结构安全：我们需要有危害吗？
- 作者：A. B. Buchan;C. J. Bolton
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Passive;
- Safety Nuclear;
- Structural;
3.Process and Structural Safety: Do we need to have hazards?

机译：过程和结构安全：我们需要有危害吗？
- 作者：A. B. Buchan;C. J. Bolton
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Passive;
- Safety Nuclear;
- Structural;
4.HUMAN FACTORS IN OFFSHORE SAFETY CASES

机译：海上安全案例中的人为因素
- 作者：A. M. Sutherland;G. Rolt;E. Butterworth
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Safety Case;
- Human Factors;
- Major Accident Hazard;
- Risk Assessment;
5.DYNAMIC TEMPORAL RISK ALLOCATION IN COMPLEX HAZARD MANAGEMENT

机译：复杂危险管理中的动态时间风险分配
- 作者：R. L. Maguire
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Risk Allocation;
- Hazard Management;
6.BENEFITS OF A RISK-BASED AND TASK-FOCUSED APPROACH TO HUMAN FACTORS INTEGRATION

机译：基于风险和任务的人的人类因素融合方法的好处
- 作者：A. M. Sutherland;J. Ward;E. Butterworth
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Human Factors Integration;
- Feasibility;
- Usability;
- Reliability;
7.UCAM - A UNIVERSAL APPROACH TO COMPETENCY ASSESSMENT

机译：UCAM - 一种普遍的能力评估方法
- 作者：Simon Perry;Jon Holt
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Competency;
- Assessment;
- Process;
- Framework;
- UCAM;
8.DERIVING A GENERIC SYSTEM DEFINITION FOR RAILWAY RISK ASSESSMENTS APPLIED TO BP-RISK

机译：获得适用于BP-Risk的铁路风险评估的通用系统定义
- 作者：S. L. Bepperling
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Railway risk assessment;
- Best-Practice-Risk (BPRisk);
- System definition;
- PrEN15380-4;
- Vehicle functions;
9.A UNIFIED APPROACH FOR SYSTEM SAFETY AND SOFTWARE SAFETY

机译：一种统一的系统安全和软件安全方法
- 作者：Daichi Mizuguchi;Masayuki Hirayama;Satomi Yoshizawa
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- System safety;
- Component safety;
- Software safety;
- Software safety analysis;
10.A PRAGMATIC INTEGRATION OF RISK MANAGEMENT PROCESSES

机译：风险管理流程的务实整合
- 作者：M. Brownsword
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- UML;
- RISK MANAGEMENT PROCESS;
- RISK MANAGEMENT;
11.OPEN-DO: AN OPEN-SOURCE INITIATIVE FOR THE DEVELOPMENT OF SAFETY-CRITICAL SOFTWARE

机译：开放式：开展安全关键软件的开源计划
- 作者：C. Comar;F. Gasperoni;J. F. Ruiz
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Certification;
- Open-source;
- Safety-critical;
- Workflow;
12.TOWARDS A COMPREHENSIVE CONSIDERATION OF EPISTEMIC QUESTIONS IN SOFTWARE SYSTEM SAFETY

机译：旨在全面考虑软件系统安全中的认知问题
- 作者：C. M. Holloway;C. W. Johnson
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Epistemology;
- Safety;
- Software;
- Confidence;
13.Electrical Safety - a perspective based on incidents

机译：电气安全 - 基于事故的透视
- 作者：W. F. Bates
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Electrical incidents;
- Risk management;
14.SOME OBSERVATIONS ON NOVEL CONCEPTS IN NEW IEC 61508 DRAFT

机译：关于新IEC 61508草案新型概念的一些观察
- 作者：Jens Braband;Stephan Griebel
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Functional safety;
- Safety cases;
- Safety and security;
- Standards and evolution of standards;
15.SAFETY TACTICS FOR RECONFIGURABLE PROCESS CONTROL DEVICES

机译：可重构过程控制设备的安全策略
- 作者：A. E. Hill;M. Nicholson
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Safety Tactics Reconfigurable Intelligent Hardware;
16.SAFETY ANALYSIS OF SUB-SYSTEMS

机译：子系统的安全分析
- 作者：Ben Bradshaw;Dave Madeley;Isuru Herath
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Safety analysis;
- Sub-system;
17.THE ROLE OF THE HUMAN IN AN AUTONOMOUS SYSTEM

机译：人类在自治系统中的作用
- 作者：R. D. Alexander;N. J. Herbert;T. P. Kelly
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Autonomous;
- Unmanned;
- Human;
18.SKILLS AND COMPETENCE UNDERPIN SAFETY IN THE UK ELECTRICAL POWER INDUSTRY

机译：英国电力行业的技能和能力支撑安全
- 作者：J. C. Steed
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Skills;
- Competence;
- Accident data;
- Electrical power industry;
19.SUCCESS IS NOT MERELY ABSENCE OF FAILURE - A SYSTEMS-ENGINEERING APPROACH TO SAFETY ASSESSMENT

机译：成功不仅仅是失败 - 一种安全评估的系统工程方法
- 作者：D. Fowler;E. Perrin;R. Pierce
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Safety assessment;
- Safety case;
- Assurance;
- SESAR;
20.INVESTIGATING THE POTENTIAL USE OF SYSTEM DYNAMICS AS A TOOL FOR EVENT ANALYSIS IN THE NUCLEAR INDUSTRY

机译：调查系统动力学的潜在使用作为核工业事件分析的工具
- 作者：N. J. Carhart
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Accident Investigation;
- System Dynamics;
- System Theory;
- System Archetypes;
21.ARGUING THE SAFETY OF FPGAS WITHIN SAFETY CRITICAL SYSTEMS

机译：在安全关键系统中争论FPGA的安全性
- 作者：J. R. Clegg
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- FPGA;
- Programmable Logic;
- Safety Arguments;
- Safety Assessment;
- Safety Standards;
22.SAFETY ARGUMENTS IN AIRCRAFT CERTIFICATION

机译：飞机认证中的安全争论
- 作者：Linling Sun;Tim Kelly
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Safety argument;
- Safety case;
- Aircraft certification;
23.A SAFETY ENHANCEMENT MODEL OF SOFTWARE SYSTEM FOR RAILWAYS

机译：铁路软件系统安全增强模型
- 作者：S. Chandrasekaran;T. J. Madhumathy;M. Aparna;R. Shilpa Jain
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Hazards;
- Design Criteria;
- Criticality Matrix;
- Safety Specification Quality Index;
- Safe entry and exit;
24.Software Safety Assurance - What Is Sufficient?

机译：软件安全保证 - 足够了？
- 作者：R. D. Hawkins;T. P. Kelly
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Software;
- Assurance;
- Arguments;
- Patterns;
25.Making Robust ALARP Decisions for In-Service Systems

机译：为在服务中制定强大的ALARP决策
- 作者：A. J. Rae;M. Nicholson
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Temporal ALARP;
- Safety Management Systems;
26.DERIVING SAFETY CASES FROM AUTOMATICALLY CONSTRUCTED PROOFS

机译：从自动构造的证据中获得安全案例
- 作者：Nurlida Basir;Ewen Denney;Bernd Fischer
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Formal proofs;
- Safety case;
- Natural deduction;
- Automated theorem provers;
27.A Deviation Based Systems of Systems Safety View for Modelling Architectural Frameworks

机译：基于偏差的系统安全视图系统，用于建筑框架的建筑框架
- 作者：G. Despotou;T. Kelly
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Failure maps;
- MODAF;
- Safety analysis;
- Dependability profile;
- Safety assurance;
28.Severity of harm in semi-quantitative risk assessment method

机译：半定量风险评估方法危害严重程度
- 作者：Birgit Milius
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Semi-quantitative;
- Risk assessment;
- Accident statistic;
- Severity;
- Harm;
29.POLITICS AND PATIENT SAFETY DON'T MIX: UNDERSTANDING THE FAILURE OF LARGE-SCALE SOFTWARE PROCUREMENT IN HEALTHCARE

机译：政治和患者安全不混合：了解医疗保健的大规模软件采购失败
- 作者：C. W. Johnson
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Patient safety;
- Healthcare;
- Information systems;
30.UNCERTAINTY, CHANGE MANAGEMENT THE APPLICATION TO RISK SAFETY FOR INFRASTRUCTURE PROJECTS HOW IT HAPPENS IN AUSTRALIA

机译：不确定性，改变管理对风险和安全的危险项目的应用程序如何在澳大利亚发生
- 作者：T. C. Haskins
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Uncertainty;
- Change;
- Risk management;
31.WHAT DOES SAFETY MEAN FOR NETWORKS?

机译：安全对网络意味着什么？
- 作者：J. Muller;G. Perruchoud;H. Borel;P. Bomme
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Software amp;
- network safety;
- Network infrastructure;
- Safety;
- Hazards;
- Air navigation services provider;
- Technical subsystem;
32.CREATING A COMPETENCE ARGUMENT TO SUPPORT A SAFETY CASE

机译：创造一个能力论证来支持安全案例
- 作者：P. R. Mayo
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Competence Management Safety Qualified Experienced;
33.SAFETY CRITICAL TASK RISK ASSESSMENT IN OFFSHORE INSTALLATION DECOMMISSIONING: A METHODOLOGY

机译：海上安装退役中的安全关键任务风险评估：一种方法
- 作者：A. P. Bradbeer;E. Butterworth;G. M. Rolt
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Offshore;
- Decommissioning;
- COMAH;
- Task analysis;
- Safety critical;
34.RELEVANCE OF MEASUREMENT THEORY TO SAFETY AND SAFETY INTEGRITY

机译：测量理论与安全和安全完整性的相关性
- 作者：I. H. A. Johnston
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Measurement;
- Theory;
- Functional;
- Safety;
- Integrity;
35.PROPOSED METHODOLOGY FOR PERFORMING RISK IDENTIFICATION WORKSHOPS BASED ON SAFETY CLIMATE

机译：基于安全气候进行风险识别研讨会的提议方法
- 作者：Kat Choi;Katherine Yeung;Amair Saleem
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Risk Identification;
- Safety Climate;
- HAZOP;
36.IEC 61508 and IEC 61511 Assessments - some Lessons Learned

机译：IEC 61508和IEC 61511评估 - 一些经验教训
- 作者：M. H. Lloyd;P. J. Reeve
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- 61508;
- 61511;
- Functional safety;
- Embedded software;
- Assessment;
- Certification;
- CASS;
37.STABILITY OF PUBLIC TRANSPORTATION SYSTEMS IN CASE OF RANDOM FAILURES AND INTENDED ATTACKS - A CASE STUDY FROM SWITZERLAND

机译：随机失败和预期攻击的情况下公共交通系统的稳定性 - 瑞士的案例研究
- 作者：R. Dorbritz;U. Weidmann
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Complex networks;
- Transportation systems;
- Stability;
- Scale-free networks;
- Topology analysis;
38.GOAL-BASED SAFETY STANDARDS AND COTS SOFTWARE SELECTION

机译：基于目标的安全标准和COTS软件选择
- 作者：C. Menon;J. McDermid;P. Hubbard
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Software;
- Safety argument;
- COTS;
- Standards;
39.A Taxonomy of Potential Software Hazards Visible in the Requirements for the System/Software Boundary of Embedded Systems

机译：在嵌入式系统的系统/软件边界的要求下可见的潜在软件危险的分类
- 作者：M. S. Jaffe
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Software requirements;
- Hazard analysis;
40.Integrated Safety Quality Framework for ATM/CNS Technical Services

机译：ATM / CNS技术服务的综合安全和质量框架
- 作者：P. Bomme
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Technical Service Lifecycle;
- Integrated Safety and Quality;
- Safety Assessment;
- Quality Risk Analysis;
41.Hydrogen Fuel Cell Taxi: Safety Analysis Experiences

机译：氢燃料电池出租车：安全分析经验
- 作者：Isuru Herath;Dave Madeley;Ben Bradshaw
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Hydrogen;
- Safety;
- Fuel Cell;
42.TOWARDS ESTABLISHING A SELF-MANAGEMENT ARCHITECTURE FOR DYNAMIC RISK MANAGEMENT IN 'INTELLIGENT' AERO-ENGINE CONTROL

机译：在“智能”航空发动机控制中建立动态风险管理自我管理架构
- 作者：Z. Kurd;T. Kelly;J. McDermid;R. Calinescu;M. Kwiatkowska
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Safe;
- Intelligent;
- Risk;
- Assurance;
- Resilience;
43.Replacing SIS on Live Processes Plant

机译：更换SIS在实时流程厂
- 作者：Clive Timms
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- SIS;
- SIF;
- Replacement;
- Live;
- Process;
44.Predicting the Future: The Integrated Risk Picture

机译：预测未来：综合风险图片
- 作者：E. Perrin;B. Kirwan
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Safety;
- Safety-assessment;
- Risk;
- Modeling;
45.The integration of alarm device into socio-technical systems: The case of an onboard alert device (ACAS)

机译：报警设备集成到社会技术系统中：车载警报设备的情况（ACAS）
- 作者：P. Amaldi;A. Chellappah
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Safety;
- Alarms;
- Crew/ATC/safety device interaction;
- Management cost;
46.IS A COMMON UK COMPETENCY SCHEME A BEAR TRAP?

机译：是一个普通的英国能力计划是熊陷阱吗？
- 作者：Allan. D. Bain
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Competence;
- Systems safety;
47.SAFETY ASSESSMENT OF THE SESAR OPERATIONAL CONCEPT - EUROPEAN AIR TRAFFIC MANAGEMENT IN 2020 AND BEYOND

机译：SESAR运营概念的安全评估 - 2020年及以后的欧洲空中交通管理
- 作者：D. Fowler;E. Perrin;R. Pierce
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Safety assessment;
- Safety case;
- Assurance;
- SESAR;
48.Securing the Interface: Safety-Critical Interaction between Humans and Mobile Robots

机译：保护界面：人类和移动机器人之间的安全关键互动
- 作者：Peter Bernard Ladkin
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
49.THE MOD PROCUREMENT GUIDANCE ON SOFTWARE SAFETY ASSURANCE - ASSESSING AND UNDERSTANDING SOFTWARE EVIDENCE

机译：软件安全保障的MOD采购指导 - 评估和理解软件证据
- 作者：P. R. Caseley;T. A. D. White
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Safety;
- Software;
- Assurance;
- Evidence;
- Safety Case;
50.Safety Case vs Safety Assessment - (PPT)

机译：安全案例VS安全评估 - （PPT）
- 作者：Duane Kritzinger
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
51.SAFETY CASES SAFETY ASSESSMENTS

机译：安全案例和安全评估
- 作者：Duane Kritzinger
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
52.SAFETY CULTURE ENHANCEMENT IN EUROPEAN AIR TRAFFIC MANAGEMENT - RISING TO THE CHALLENGE - (PPT)

机译：欧洲空中交通管理安全文化增强 - 挑战 - （PPT）
- 作者：Barry KIRWAN;Kathryn MEARNS;Richard J. KENNEDY;Rachael Gordon;Tony LICU;Marinella LEONE;Andrew KILNER;Eve GRACE-KELLY;Anna WENNERBERG
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
53.The Human Contribution to System Safety - (PPT)

机译：对系统安全的人为贡献 - （PPT）
- 作者：James Reason
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
54.Process and Structural Safety: Do we need to have hazards?

机译：过程和结构安全：我们需要有危害吗？
- 作者：A. B. Buchan;C. J. Bolton
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Passive;
- Safety Nuclear;
- Structural;
55.Process and Structural Safety: Do we need to have hazards?

机译：过程和结构安全：我们需要有危害吗？
- 作者：A. B. Buchan;C. J. Bolton
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Passive;
- Safety Nuclear;
- Structural;
56.DYNAMIC TEMPORAL RISK ALLOCATION IN COMPLEX HAZARD MANAGEMENT

机译：复杂危险管理中的动态时间风险分配
- 作者：R. L. Maguire
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Risk Allocation;
- Hazard Management;
57.A PRAGMATIC INTEGRATION OF RISK MANAGEMENT PROCESSES

机译：风险管理流程的务实整合
- 作者：M. Brownsword
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- UML;
- RISK MANAGEMENT PROCESS;
- RISK MANAGEMENT;
58.TOWARDS A COMPREHENSIVE CONSIDERATION OF EPISTEMIC QUESTIONS IN SOFTWARE SYSTEM SAFETY

机译：在软件系统安全中全面考虑认知问题
- 作者：C. M. Holloway;C. W. Johnson
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Epistemology;
- Safety;
- Software;
- Confidence;
59.OPEN-DO: AN OPEN-SOURCE INITIATIVE FOR THE DEVELOPMENT OF SAFETY-CRITICAL SOFTWARE

机译：开放式：安全关键软件开发的开源计划
- 作者：C. Comar;F. Gasperoni;J. F. Ruiz
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Certification;
- Open-source;
- Safety-critical;
- Workflow;
60.A UNIFIED APPROACH FOR SYSTEM SAFETY AND SOFTWARE SAFETY

机译：系统安全和软件安全的统一方法
- 作者：Daichi Mizuguchi;Masayuki Hirayama;Satomi Yoshizawa
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- System safety;
- Component safety;
- Software safety;
- Software safety analysis;
61.Electrical Safety - a perspective based on incidents

机译：电气安全 - 基于事故的透视
- 作者：W. F. Bates
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Electrical incidents;
- Risk management;
62.WHAT DOES SAFETY MEAN FOR NETWORKS?

机译：安全对网络意味着什么？
- 作者：J. Muller;G. Perruchoud;H. Borel;P. Bomme
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Software amp;
- network safety;
- Network infrastructure;
- Safety;
- Hazards;
- Air navigation services provider;
- Technical subsystem;
63.DERIVING SAFETY CASES FROM AUTOMATICALLY CONSTRUCTED PROOFS

机译：从自动构造的证据中获得安全案例
- 作者：Nurlida Basir;Ewen Denney;Bernd Fischer
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Formal proofs;
- Safety case;
- Natural deduction;
- Automated theorem provers;
64.POLITICS AND PATIENT SAFETY DON'T MIX: UNDERSTANDING THE FAILURE OF LARGE-SCALE SOFTWARE PROCUREMENT IN HEALTHCARE

机译：政治和患者安全不混合：了解医疗保健的大规模软件采购失败
- 作者：C. W. Johnson
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Patient safety;
- Healthcare;
- Information systems;
65.RELEVANCE OF MEASUREMENT THEORY TO SAFETY AND SAFETY INTEGRITY

机译：测量理论与安全和安全完整性的相关性
- 作者：I. H. A. Johnston
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Measurement;
- Theory;
- Functional;
- Safety;
- Integrity;
66.STABILITY OF PUBLIC TRANSPORTATION SYSTEMS IN CASE OF RANDOM FAILURES AND INTENDED ATTACKS - A CASE STUDY FROM SWITZERLAND

机译：随机失败和预期攻击情况下公共交通系统的稳定性 - 瑞士的案例研究
- 作者：R. Dorbritz;U. Weidmann
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Complex networks;
- Transportation systems;
- Stability;
- Scale-free networks;
- Topology analysis;
67.CREATING A COMPETENCE ARGUMENT TO SUPPORT A SAFETY CASE

机译：创造一个能力论证来支持安全案例
- 作者：P. R. Mayo
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Competence Management Safety Qualified Experienced;
68.Severity of harm in semi-quantitative risk assessment method

机译：半量值风险评估方法危害严重程度
- 作者：Birgit Milius
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Semi-quantitative;
- Risk assessment;
- Accident statistic;
- Severity;
- Harm;
69.UNCERTAINTY, CHANGE MANAGEMENT THE APPLICATION TO RISK SAFETY FOR INFRASTRUCTURE PROJECTS HOW IT HAPPENS IN AUSTRALIA

机译：不确定性，改变管理对基础设施项目风险和安全的应用程序在澳大利亚发生的情况
- 作者：T. C. Haskins
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Uncertainty;
- Change;
- Risk management;
70.A Taxonomy of Potential Software Hazards Visible in the Requirements for the System/Software Boundary of Embedded Systems

机译：在嵌入式系统的系统/软件边界的要求下可见的潜在软件危险的分类
- 作者：M. S. Jaffe
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Software requirements;
- Hazard analysis;
71.Software Safety Assurance - What Is Sufficient?

机译：软件安全保证 - 什么是足够的？
- 作者：R. D. Hawkins;T. P. Kelly
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Software;
- Assurance;
- Arguments;
- Patterns;
72.IEC 61508 and IEC 61511 Assessments - some Lessons Learned

机译：IEC 61508和IEC 61511评估 - 一些经验教训
- 作者：M. H. Lloyd;P. J. Reeve
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- 61508;
- 61511;
- Functional safety;
- Embedded software;
- Assessment;
- Certification;
- CASS;
73.Integrated Safety Quality Framework for ATM/CNS Technical Services

机译：ATM / CNS技术服务的综合安全和质量框架
- 作者：P. Bomme
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Technical Service Lifecycle;
- Integrated Safety and Quality;
- Safety Assessment;
- Quality Risk Analysis;
74.SAFETY CRITICAL TASK RISK ASSESSMENT IN OFFSHORE INSTALLATION DECOMMISSIONING: A METHODOLOGY

机译：海上安装退役中的安全关键任务风险评估：一种方法
- 作者：A. P. Bradbeer;E. Butterworth;G. M. Rolt
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Offshore;
- Decommissioning;
- COMAH;
- Task analysis;
- Safety critical;
75.PROPOSED METHODOLOGY FOR PERFORMING RISK IDENTIFICATION WORKSHOPS BASED ON SAFETY CLIMATE

机译：基于安全气候进行风险识别研讨会的提议方法
- 作者：Kat Choi;Katherine Yeung;Amair Saleem
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Risk Identification;
- Safety Climate;
- HAZOP;
76.A Deviation Based Systems of Systems Safety View for Modelling Architectural Frameworks

机译：用于建筑框架的建筑框架系统安全视图的基于偏差系统
- 作者：G. Despotou;T. Kelly
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Failure maps;
- MODAF;
- Safety analysis;
- Dependability profile;
- Safety assurance;
77.Making Robust ALARP Decisions for In-Service Systems

机译：为在服务中制定强大的ALARP决策
- 作者：A. J. Rae;M. Nicholson
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Temporal ALARP;
- Safety Management Systems;
78.GOAL-BASED SAFETY STANDARDS AND COTS SOFTWARE SELECTION

机译：基于目标的安全标准和COTS软件选择
- 作者：C. Menon;J. McDermid;P. Hubbard
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Software;
- Safety argument;
- COTS;
- Standards;
79.The integration of alarm device into socio-technical systems: The case of an onboard alert device (ACAS)

机译：报警装置集成到社会技术系统中：车载警报设备的情况（ACAS）
- 作者：P. Amaldi;A. Chellappah
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Safety;
- Alarms;
- Crew/ATC/safety device interaction;
- Management cost;
80.Predicting the Future: The Integrated Risk Picture

机译：预测未来：综合风险图片
- 作者：E. Perrin;B. Kirwan
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Safety;
- Safety-assessment;
- Risk;
- Modeling;
81.Replacing SIS on Live Processes Plant

机译：在实时流程厂取代SIS
- 作者：Clive Timms
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- SIS;
- SIF;
- Replacement;
- Live;
- Process;
82.IS A COMMON UK COMPETENCY SCHEME A BEAR TRAP?

机译：熊陷阱是一个普通的英国能力计划吗？
- 作者：Allan. D. Bain
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Competence;
- Systems safety;
83.SAFETY ASSESSMENT OF THE SESAR OPERATIONAL CONCEPT - EUROPEAN AIR TRAFFIC MANAGEMENT IN 2020 AND BEYOND

机译：SESAR运营概念的安全评估 - 2020年及以后的欧洲空中交通管理
- 作者：D. Fowler;E. Perrin;R. Pierce
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Safety assessment;
- Safety case;
- Assurance;
- SESAR;
84.THE MOD PROCUREMENT GUIDANCE ON SOFTWARE SAFETY ASSURANCE - ASSESSING AND UNDERSTANDING SOFTWARE EVIDENCE

机译：软件安全保障的MOD采购指导 - 评估和了解软件证据
- 作者：P. R. Caseley;T. A. D. White
- 会议名称：《IET International Conference on System Safety, Incorporating the SaRS Annual Conference》 | 2009年
- Safety;
- Software;
- Assurance;
- Evidence;
- Safety Case;