掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
其他
>
IET International Conference on Systems Safety
IET International Conference on Systems Safety
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Blank page
机译:
空白页
会议名称:
《IET International Conference on Systems Safety》
|
2007年
2.
Author List
机译:
作者清单
会议名称:
《IET International Conference on Systems Safety》
|
2007年
3.
The 2nd IET International Conference on System Safety 2007 Cover
机译:
第二届IET国际系统安全国际会议2007 封面
会议名称:
《IET International Conference on Systems Safety》
|
2007年
4.
Back Inside Cover blank
机译:
后面封面空白
会议名称:
《IET International Conference on Systems Safety》
|
2007年
5.
Front Inside Cover blank
机译:
前面的内盖空白
会议名称:
《IET International Conference on Systems Safety》
|
2007年
6.
Contents
机译:
内容
会议名称:
《IET International Conference on Systems Safety》
|
2007年
7.
System Safety 2007 Sponsors
机译:
系统安全2007赞助商
会议名称:
《IET International Conference on Systems Safety》
|
2007年
8.
Copyright and Copying
机译:
版权和复制
会议名称:
《IET International Conference on Systems Safety》
|
2007年
9.
The Knowledge Network Back Outside Cover
机译:
知识网络背面封面
会议名称:
《IET International Conference on Systems Safety》
|
2007年
10.
System Safety 2007 is Organised by
机译:
系统安全2007由
会议名称:
《IET International Conference on Systems Safety》
|
2007年
11.
The 2nd Institution of Engineering and Technology International Conference on System Safety 2007 Title
机译:
第二届工程与技术机构2007年系统安全国际会议2007 标题
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
human factors;
military systems;
railway safety;
railways;
risk management;
ships;
human factors engineering;
military operations;
railway risk assessment;
reliability;
safety assessment;
ship safety navigation;
12.
System Safety Process and Design Process in Road Tunnel Control Systems
机译:
道路隧道控制系统中的系统安全过程和设计过程
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
control system synthesis;
maintenance engineering;
road safety;
structural engineering;
tunnels;
hazardous environment;
road structure maintenance;
road tunnel control systems;
safety critical designs;
system design process;
system safety process;
13.
Safety Case Depictions vs. Safety Cases - Would the Real Safety Case Please Stand Up?
机译:
安全案例描绘与安全案例 - 真正的安全案例是否会站起来?
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
certification;
safety;
standards;
UK defence standard 00-56;
goal structuring notation;
reasoning quality;
safety argument depictions;
safety argument structure;
safety case depictions;
safety case report;
safety cases integrity;
safety standards;
14.
The Risk of Trust in Safety: Confidence Games
机译:
安全信任风险:信心游戏
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
game theory;
probability;
risk analysis;
safety;
confidence games;
confidence-trust differences;
confidence-trust similarities;
risk assessment;
risk management;
safety critical systems;
15.
A Case Study of The Application of BS:EN 61508 in Electrical Power Generation
机译:
BS:EN 61508在电力发电中的应用案例研究
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
BSI standards;
electrical safety;
power stations;
BS:EN 61508 application;
RWE npower;
coal power stations;
coal-fired power plant sites;
cogeneration;
electrical power generation;
hydro generation;
oil-fired power stations;
power station safety;
wind power generation;
16.
Certification of Object Oriented Programs
机译:
面向对象程序的认证
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
certification;
object-oriented programming;
safety-critical software;
DO-178C;
OO programming techniques can;
dynamic dispatching;
language subsets;
object oriented programs certification;
safety-critical programs;
security-critical programs;
17.
A Harmonised Risk Acceptance Criterion for Technical Systems in European Railways
机译:
欧洲铁路技术系统的协调风险验收标准
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
railway safety;
railways;
risk management;
standardisation;
european railways;
harmonised risk acceptance criterion;
railway industries;
safety;
technical systems;
18.
Study on Risk Assessment and Control of Ship Safety Navigation
机译:
船舶安全导航风险评估与控制研究
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
marine safety;
navigation;
position control;
risk management;
formal safety assessment;
risk assessment;
ship safety navigation;
19.
Worst-Case Software Safety Level for Braking Distance Algorithm of a Train
机译:
列车制动距离算法的最坏情况软件安全水平
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
braking;
railway engineering;
railway safety;
safety-critical software;
overflow error;
rounding error;
safety critical software algorithm;
train braking distance algorithm;
underflow error;
worst-case software safety level;
20.
Planning for Cost Effective Human Factors Engineering and System Safety
机译:
规划成本有效的人类因素工程和系统安全
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
human factors;
planning;
safety;
cost effective;
human factors engineering;
safety assurance;
system safety;
21.
Tailoring a Generic BBN Model for the Quantitative Safety Analysis of Complex Systems
机译:
剪裁仿制式BBN模型,用于复杂系统的定量安全性分析
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
Bayes methods;
aerospace accidents;
aerospace safety;
Bayesian belief networks;
civil aviation industry;
complex systems;
global statistical data;
low probability high consequences accidents;
quantitative safety analysis;
rotating disks model;
swiss-cheese model;
22.
Radiological Pollution Monitoring Using Composite Sampling
机译:
复合采样的放射学污染监测
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
health and safety;
pollution measurement;
probability;
radioactive pollution;
radiology;
sampling methods;
standards;
atomic weapons establishment;
composite sampling;
environmental management;
health management;
industry wide standards;
nuclear industry;
nuclear licensed site;
radioactivity concentrations;
radiological pollution monitoring;
safety management;
23.
Practical Experiences in Upgrading and Standardising the Safety and Environmental System (SEMS) for the RN Marine Power and Propulsion Systems Division
机译:
升级和标准化RN海洋电力和推进系统划分的安全和环境系统(SEM)的实践经验
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
electric propulsion;
environmental factors;
marine safety;
marine systems;
safety systems;
MPPS;
Ministry of Defence;
RN marine power propulsion systems division;
SEMS;
UK law;
equipment integrated project team;
information management system;
iterative continuous improvement method;
key performance indicators;
safety-environmental management system;
24.
Safety Process Improvement: Early Analysis and Justification
机译:
安全过程改进:早期分析与对齐
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
certification;
risk management;
safety-critical software;
software process improvement;
POSE;
certification function;
problem oriented software engineering;
safety development process;
safety function;
safety process improvement;
25.
A Look at Aircraft Accident Analysis in the Early Days: Do Early 20th Century Accident Investigation Techniques Have Any Lessons for Today?
机译:
在早期看飞机事故分析:20世纪早期的事故调查技术今天有任何课程吗?
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
aerospace accidents;
aerospace safety;
history;
National Advisory Committee on Aeronautics;
United States;
accident investigation techniques;
aircraft accident analysis;
powered flight;
26.
Good Automated Safety Practice
机译:
良好的自动化安全实践
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
industrial plants;
manufacturing industries;
occupational safety;
safety systems;
standards;
BS EN 61511;
business risk reduction;
good automated safety practice;
industry sector safety systems;
safety instrumented systems;
safety life cycle model;
safety management;
27.
The Normal Operations Safety Survey (NOSS): Measuring System Performance in Air Traffic Control
机译:
正常操作安全调查(NOSS):测量空中交通管制中的系统性能
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
aerospace safety;
air traffic control;
normal operations safety survey;
safety management system;
threat-and-error management framework;
28.
The Dangers of Failure Masking in Fault-Tolerant Software: Aspects of a Recent In-Flight Upset Event
机译:
容错软件中失败屏蔽的危险:最近飞行中的难以置心的事件的方面
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
aerospace computing;
aircraft;
safety-critical software;
software fault tolerance;
accelerometer;
air data inertial reference unit;
aircraft system;
autopilot;
failure masking;
fault-tolerant software;
flight computer;
29.
Human Factors Engineering of Interfaces - Connecting Control Centres
机译:
界面的人为因素工程 - 连接控制中心
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
control engineering computing;
human factors;
rail traffic;
railway engineering;
user interface management systems;
control centres;
control rooms;
heavy rail;
human factors engineering;
metro systems;
railway control centre interfaces;
railway projects;
railway system;
station-based systems;
30.
Energise or De-Energise to Trip?
机译:
激励或脱励步旅行?
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
gas industry;
petroleum industry;
power system protection;
deenergise to trip;
energy industry;
gas production;
oil production;
power stations;
protection systems;
31.
Negligible Risk for European Railway Risk Assessments
机译:
欧洲铁路风险评估的可忽略不计
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
hazards;
railway safety;
risk management;
European railway;
negligible risk;
railway risk assessments;
railway system;
risk management process;
system hazards;
32.
A Comparison of the Role of Degraded Modes of Operation in the Causes of Accidents in Rail and Air Traffic Management
机译:
降解运作模式在铁路和空中交通管理事故原因作用的比较
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
air safety;
air traffic;
rail traffic;
railway safety;
air traffic management;
degraded operation modes;
rail traffic management;
routine maintenance;
safety critical systems;
service provision;
socio-technical systems;
system failures;
33.
EP2002 - Distributed Brake Control System
机译:
EP2002 - 分布式制动控制系统
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
brakes;
compensation;
distributed control;
mechatronics;
railway engineering;
safety;
CENELEC standards;
EN50126;
EN50128;
EN50129;
EP2002 system;
K-BRS;
RAMS;
TUV SUD Rail GmbH;
distributed brake control system;
electronic components;
emergency brake;
integrated mechatronic brake system;
load compensation;
safety assessment;
service brake;
software components;
wheel slide protection;
34.
Model-based Framework for Addressing Diversity, Usability and Reliability for Safety Critical Interactive Systems
机译:
基于模型的框架,用于解决安全关键交互系统的多样性,可用性和可靠性
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
command and control systems;
safety systems;
software architecture;
system recovery;
user interfaces;
device configuration problem;
display units;
diverse configuration;
failure management;
model-based framework;
safety critical interactive systems;
35.
Hazard Analysis for Programmable Automotive Systems
机译:
可编程汽车系统的危害分析
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
ISO standards;
automotive engineering;
hazards;
road safety;
road vehicles;
ISO 26262 standard;
MISRA Safety Analysis standard;
automotive hazard analysis;
causal chain linking fault;
electronic system;
hazard classification;
programmable automotive system;
36.
Validation and Verification Techniques for EMC for Functional Safety
机译:
功能安全的EMC验证与验证技术
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
electromagnetic compatibility;
electromagnetic interference;
immunity testing;
safety systems;
IET International Conference;
low safety risks;
safety system engineering;
validation techniques;
verification techniques;
37.
Combining Security and Safety Principles in Practice
机译:
在实践中结合安全和安全原则
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
safety-critical software;
security of data;
Ministry of Defence;
SafSec project;
safety argument;
safety principles;
security accreditation;
security principles;
38.
Review of the Use of the Department for Transport Value for Preventing a Fatality in Non Road-Transport Systems
机译:
审查运输部门的使用,以防止非公路运输系统的死亡
会议名称:
《IET International Conference on Systems Safety》
|
2007年
39.
Railway Safety Risk Assessment Using FRA and FAHP Approaches - A Case Study on Risk Analysis of Shunting at Waterloo Depot
机译:
使用FRA和FAHP方法的铁路安全风险评估 - Waterloo Depot分流风险分析的案例研究
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
fuzzy reasoning;
railway engineering;
railway safety;
risk analysis;
software engineering;
Waterloo depot;
consequence severity;
frequency of occurrence;
fuzzy analytical hierarchy process;
intelligent railway safety risk prediction software system;
linguistic variables;
risk assessment;
risk level;
safety management;
40.
The Use of Goal Structuring Notation as a Method for Ensuring that Human Factors is Represented in a Safety Case
机译:
使用目标结构符号作为确保人为因素的方法在安全情况下代表
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
charts;
human factors;
man-machine systems;
occupational safety;
equipment-operator relationships;
goal structuring notation;
human factors integration;
human factors safety case aspects;
logic-based methodology;
personnel safety;
safety argument elements;
41.
Pedestrian Behaviour and Safety in the Presence of Guard Railing
机译:
防守栏杆存在的行人行为和安全性
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
behavioural sciences;
ergonomics;
road accidents;
road safety;
road traffic;
safety devices;
video surveillance;
London;
pedestrian behaviour;
pedestrian guard railing;
pedestrian route;
pedestrian safety;
traffic engineers;
42.
Dynamic Lifecycle System Integrity Management (DLSIM) by use of Layers Of Degradation Analysis (LODA)
机译:
通过使用劣化分析层(Loda)的动态生命周期系统完整性管理(DLSIM)
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
human factors;
industrial plants;
product life cycle management;
safety;
degradation analysis;
dynamic lifecycle system integrity management;
plant lifecycle;
plant safety degradation;
safety management;
43.
Acceptable Residual Risk - Principles, Philosophies and Practicalities
机译:
可接受的残余风险 - 原则,哲学和实用性
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
hazards;
investment;
risk management;
acceptable risk;
minimum industry safety return;
risk acceptability;
safe systems;
safety;
44.
Putting Risk into Context
机译:
将风险投入上下文
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
Unified Modeling Language;
business data processing;
risk management;
SysML;
UML;
Unified Modelling Language;
organisational risk management;
risk assessment;
use case diagram;
45.
Practicality of Implementing Risk Based Protection System Design to Vendor Packages in The Petrochemical Industry
机译:
基于风险保护系统设计的实用性在石油化工行业供应商包
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
IEC standards;
chemical industry;
cost-benefit analysis;
economics;
petrochemicals;
risk management;
safety systems;
IEC 61508 standard;
cost benefit analysis;
economic integrity;
electrical/electronic/programmable electronic safety related systems;
petrochemical industry;
petrochemical plant;
risk based protection system design;
safety integrity;
safety standard;
vendor package;
vendor safety instrumented system;
46.
The Who, Where, How, Why And When of Modular and Incremental Certification
机译:
谁,在哪里,如何,为什么和模块化和增量认证
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
aerospace safety;
avionics;
certification;
defence industry;
software development management;
Industrial Avionics Working Group;
aerospace software system;
defence ministry;
defence technology strategy;
incremental certification;
safety case;
through-life capability management;
47.
RAMS Program for Electromechanical Systems of Railway Applications
机译:
铁路应用机电系统的RAMS计划
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
customer satisfaction;
fault trees;
hazards;
maintenance engineering;
railway safety;
reliability;
risk management;
LEKOV company;
RAMS program;
availability;
customers satisfaction;
electromechanical systems;
fault tree analysis;
hazard analysis;
maintainability;
railway systems;
railway vehicle;
reliability assurance;
reliability testing;
risk evaluation;
safety assurance;
safety management;
safety program;
48.
An Integrated Safety Strategy to Model Driven Development with SysML
机译:
用SYSML模拟驱动开发的综合安全策略
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
Unified Modeling Language;
groupware;
safety;
safety systems;
SysML design;
UML;
ergonomic profiling;
integrated database;
integrated safety strategy;
model driven development;
safety aspects;
single coherent model;
49.
A Review of Automotive Human Machine Interface Technologies and Techniques to Reduce Driver Distraction
机译:
综述汽车人机界面技术及技术,以减少司机分心
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
accident prevention;
automotive engineering;
driver information systems;
road safety;
road traffic;
user interfaces;
automotive human machine interface technologies;
driver distraction reduction;
governmental initiatives;
mobile phones;
public health concern;
road fatalities;
road traffic injuries;
50.
The Systemic Effects of Fatigue on Military Operations
机译:
疲劳对军事行动的全身效应
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
accident prevention;
fatigue;
military systems;
night vision;
occupational stress;
remote sensing;
risk management;
joined up planning;
military operations;
military organizations;
night vision technology;
remote sensing technology;
risk assessments;
shared tasks;
51.
Formalised Implementation of Safety Related HW/SW Architectures in Compliance with Functional Safety Requirements
机译:
符合功能安全要求的正式执行安全相关HW / SW架构
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
hardware-software codesign;
object-oriented programming;
safety-critical software;
software architecture;
IEC 61508-6;
component-based approach;
extended taxonomy;
functional safety requirements;
safety related HW/SW architectures;
safety related systems;
software components;
52.
Software Safety Assurance Process for Railway Platform Software
机译:
铁路平台软件软件安全保障过程
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
program verification;
railway engineering;
railway safety;
software standards;
CENELEC EN 50128 5 standard;
ISA;
SIL 4;
automatic train operation;
automatic train protection;
interlock software;
railway platform software;
software safety assessment report;
software safety assurance process;
53.
Assurance Levels for ATM elements: Human (HAL), Operational Procedure (PAL), Software (SWAL)
机译:
ATM元素的保证水平:人(HAL),运营程序(PAL),软件(SWAL)
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
aerospace computing;
risk management;
ATM service providers;
EUROCONTROL Safety Assessment Methodology;
air traffic management;
assurance activities;
safety requirements;
54.
Explosives Safety - An Oxymoron?
机译:
爆炸物安全 - 矛盾?
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
explosives;
fault trees;
hazards;
risk management;
safety;
accidents;
event tree;
explosives safety;
explosives systems;
fault tree;
risk assessments;
safety assessment;
safety functional requirements;
safety integrity levels;
55.
Penetrating the Fog of Safety Assessment - (And Vice Versa)
机译:
穿透安全评估的雾 - (反之亦然)
会议名称:
《IET International Conference on Systems Safety》
|
2007年
关键词:
aerospace safety;
air traffic;
air traffic control;
EUROCONTROL;
air traffic management;
evolutionary developments;
failure approaches;
safety argument;
safety assessment;
safety-related systems;
56.
Cover
机译:
覆盖
作者:
{missing}
会议名称:
《IET International Conference on Systems Safety》
|
2009年
57.
Process and structural safety: Do we need to have hazards?
机译:
过程和结构安全:我们需要有危害吗?
作者:
Buchan A.B.
;
Bolton C.J.
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
Passive;
Safety Nuclear;
Structural;
58.
Dynamic temporal risk allocation in complex hazard management
机译:
复杂危险管理中的动态时间风险分配
作者:
Maguire R. L
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
Hazard Management;
Risk Allocation;
59.
A pragmatic integration of risk management processes
机译:
风险管理流程的务实整合
作者:
Brownsword M.
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
RISK MANAGEMENT;
RISK MANAGEMENT PROCESS;
UML;
60.
Towards a comprehensive consideration of epistemic questions in software system safety
机译:
旨在全面考虑软件系统安全中的认知问题
作者:
Holloway C. M.
;
Johnson C. W.
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
confidence;
epistemology;
safety;
software;
61.
A unified approach for system safety and software safety
机译:
一种统一的系统安全和软件安全方法
作者:
Mizuguchi Daichi
;
Hirayama Masayuki
;
Yoshizawa Satomi
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
System safety;
component safety;
software safety;
software safety analysis;
62.
Open-do: An open-source initiative for the development of safety-critical software
机译:
开放式:开展安全关键软件的开源计划
作者:
Comar C.
;
Gasperoni F.
;
Ruiz J.F.
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
certification;
open-source;
safety-critical;
workflow;
63.
Deriving a generic system definition for railway risk assessments applied to BP-risk
机译:
获得适用于BP-Risk的铁路风险评估的通用系统定义
作者:
Bepperling S.-L.
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
Best-Practice-Risk (BP-Risk);
prEN15380-4;
railway risk assessment;
system definition;
vehicle functions;
64.
Electrical Safety - a perspective based on incidents
机译:
电气安全 - 基于事故的透视
作者:
Bates W F
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
Electrical incidents;
risk management;
65.
Proposed methodology for performing Risk Identification Workshops based on safety climate paper to System Safety sars annual conference 2009
机译:
基于安全气候纸张到系统安全和SARS 2009年度会议的安全气候纸张进行风险识别研讨会的方法论
作者:
Choi Kat
;
Yeung Katherine
;
Saleem Amair
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
HAZOP;
Risk Identification;
Safety Climate;
66.
Skills and competence underpin safety in the UK electrical power industry
机译:
英国电力行业的技能和能力支撑安全
作者:
Steed J.C.
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
Skills;
accident data;
competence;
electrical power industry;
67.
Some observations on novel concepts in new IEC 61508 draft
机译:
关于新IEC 61508草案新型概念的一些观察
作者:
Braband Jens
;
Griebel Stephan
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
functional safety;
safety and security;
safety cases;
standards and evolution of standards;
68.
Creating a competence argument to support a safety case
机译:
创造一个能力论证来支持安全案例
作者:
Mayo P.R.
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
Competence;
Management;
Qualified Experienced;
Safety;
69.
Safety critical task risk assessment in Offshore Installation decommissioning: A methodology
机译:
海上安装退役中的安全关键任务风险评估:一种方法
作者:
Bradbeer A.P.
;
Butterworth E.
;
Rolt G.M.
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
COMAH;
Decommissioning;
Offshore;
Safety critical;
Task analysis;
70.
A safety enhancement model of software system for railways
机译:
铁路软件系统安全增强模型
作者:
Chandrasekaran S.
;
Madhumathy T.J
;
Aparna M.
;
Shilpa Jain R.
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
Criticality Matrix;
Design Criteria;
Hazards;
Safe entry and exit;
Safety Specification Quality Index;
71.
Software safety assurance - what is sufficient?
机译:
软件安全保证 - 足够了?
作者:
Hawkins R.D.
;
Kelly T.P.
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
Arguments;
Assurance;
Patterns;
Software;
72.
Goal-based safety standards and cots software selection
机译:
基于目标的安全标准和COTS软件选择
作者:
Menon C.
;
McDermid J.
;
Hubbard P.
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
COTS;
safety argument;
software;
standards;
73.
Deriving safety cases from automatically constructed proofs
机译:
从自动构造的证据中获得安全案例
作者:
Basir Nurlida
;
Denney Ewen
;
Fischer Bernd
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
automated theorem provers;
formal proofs;
natural deduction;
safety case;
74.
Stability of public transportation systems in case of random failures and intended attacks - a case study from Switzerland
机译:
随机失败和预期攻击的情况下公共交通系统的稳定性 - 瑞士的案例研究
作者:
Dorbritz R.
;
Weidmann U.
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
complex networks;
scale-free networks;
stability;
topology analysis;
transportation systems;
75.
Arguing the safety of FPGAs within safety critical systems
机译:
在安全关键系统中争论FPGA的安全性
作者:
Clegg J.R.
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
FPGA;
Programmable Logic;
Safety Arguments;
Safety Assessment;
Safety Standards;
76.
Making robust ALARP decisions for in-service systems
机译:
为在服务中制定强大的ALARP决策
作者:
Rae A.J.
;
Nicholson M.
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
Safety Management Systems;
Temporal ALARP;
77.
Safety arguments in aircraft certification
机译:
飞机认证中的安全争论
作者:
Linling Sun
;
Kelly Tim
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
aircraft certification;
safety argument;
safety case;
78.
Safety analysis of sub-systems
机译:
子系统的安全分析
作者:
Bradshaw Ben
;
Madeley Dave
;
Herath Isuru
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
Safety analysis;
sub-system;
79.
Politics and patient safety don't mix: Understanding the failure of large-scale software procurement in healthcare
机译:
政治和患者安全不混合:了解医疗保健的大规模软件采购失败
作者:
Johnson C.W.
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
Patient safety;
healthcare;
information systems;
80.
Safety tactics for reconfigurable process control devices
机译:
可重构过程控制设备的安全策略
作者:
Hill A.E.
;
Nicholson M.
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
Intelligent Hardware;
Reconfigurable;
Safety;
Tactics;
81.
Investigating the potential use of System Dynamics as a tool for event analysis in the nuclear industry
机译:
调查系统动力学的潜在使用作为核工业事件分析的工具
作者:
Carhart N.J.
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
Accident Investigation;
System Archetypes;
System Dynamics;
System Theory;
82.
Integrated safety quality framework for ATM/CNS technical services
机译:
ATM / CNS技术服务的综合安全和质量框架
作者:
Bomme P.
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
Integrated Safety and Quality;
Quality Risk Analysis;
Safety Assessment;
Technical Service Lifecycle;
83.
Severity of harm in semi-quantitative risk assessment method
机译:
半定量风险评估方法危害严重程度
作者:
Milius Birgit
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
accident statistic;
harm;
risk assessment;
semi-quantitative;
severity;
84.
Success is not merely absence of failure - a systems-engineering approach to safety assessment
机译:
成功不仅仅是失败 - 一种安全评估的系统工程方法
作者:
Fowler D
;
Perrin E
;
Pierce R
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
SESAR;
assurance;
safety assessment;
safety case;
85.
A deviation based Systems of Systems safety view for modelling Architectural Frameworks
机译:
基于偏差的系统安全视图系统,用于建筑框架的建筑框架
作者:
Despotou G.
;
Kelly T.
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
Failure maps;
MODAF;
dependability profile;
safety analysis;
safety assurance;
86.
Hydrogen Fuel Cell taxi: Safety analysis experiences
机译:
氢燃料电池出租车:安全分析经验
作者:
Herath Isuru
;
Madeley Dave
;
Bradshaw Ben
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
Fuel Cell;
Hydrogen;
Safety;
87.
IEC 61508 and IEC 61511 assessments - some lessons learned
机译:
IEC 61508和IEC 61511评估 - 一些经验教训
作者:
Lloyd M H
;
Reeve P J
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
61508;
61511;
CASS;
assessment;
certification;
embedded software;
functional safety;
88.
What does safety mean for networks?
机译:
安全对网络意味着什么?
作者:
Muller J.
;
Perruchoud G.
;
Borel H.
;
Bomme P.
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
air navigation services provider;
hazards;
network infrastructure;
safety;
software amp;
network safety;
technical subsystem;
89.
The role of the human in an Autonomous System
机译:
人类在自治系统中的作用
作者:
Alexander R.D.
;
Herbert N.J.
;
Kelly T.P.
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
autonomous;
human;
unmanned;
90.
Uncertainty, change management the application to risk safety for infrastructure projects how it happens in australia
机译:
不确定性,改变管理对风险和安全的危险项目的应用程序如何在澳大利亚发生
作者:
Haskins T.C.
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
change;
risk management;
uncertainty;
91.
Relevance of measurement theory to safety and safety integrity
机译:
测量理论与安全和安全完整性的相关性
作者:
Johnston I.H.A.
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
functional;
integrity;
measurement;
safety;
theory;
92.
Replacing SIS on live processes plant
机译:
更换SIS在实时流程厂
作者:
Timms Clive
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
SIF;
SIS;
live;
process;
replacement;
93.
Towards establishing a self-management architecture for dynamic risk management in #x2018;intelligent#x2019; Aero-Engine control
机译:
在“智能”航空发动机控制中建立动态风险管理自我管理架构
作者:
Kurd Z.
;
Kelly T.
;
McDermid J.
;
Calinescu R.
;
Kwiatkowska M.
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
Assurance;
Intelligent;
Resilience;
Risk;
Safe;
94.
The integration of alarm device into socio-technical systems: The case of an onboard alert device (ACAS)
机译:
报警设备集成到社会技术系统中:车载警报设备的情况(ACAS)
作者:
Amaldi P.
;
Chellappah A.
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
alarms;
crew/ATC/safety device interaction;
management cost;
safety;
95.
Predicting the future: The Integrated Risk Picture
机译:
预测未来:综合风险图片
作者:
Perrin E
;
Kirwan B
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
modelling;
risk;
safety;
safety-assessment;
96.
Is a common UK competency scheme a bear trap?
机译:
是一个普通的英国能力计划是熊陷阱吗?
作者:
Bain Allan. D.
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
Competence;
systems safety;
97.
Safety assessment of the SESAR Operational Concept - European air traffic management in 2020 and beyond
机译:
SESAR运营概念的安全评估 - 2020年及以后的欧洲空中交通管理
作者:
Fowler D
;
Perrin E
;
Pierce R
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
SESAR;
assurance;
safety assessment;
safety case;
98.
Securing the interface: Safety-critical interaction between humans and mobile robots
机译:
保护界面:人类和移动机器人之间的安全关键互动
作者:
Bernard Ladkin Peter
会议名称:
《IET International Conference on Systems Safety》
|
2009年
99.
The MOD procurement guidance on software safety assurance - assessing and understanding software evidence
机译:
软件安全保障的MOD采购指导 - 评估和理解软件证据
作者:
Caseley P.R.
;
White T.A.D.
会议名称:
《IET International Conference on Systems Safety》
|
2009年
关键词:
Assurance;
Evidence;
Safety;
Safety Case;
Software;
100.
Safety culture enhancement in european air traffic management - rising to the challenge
机译:
欧洲空中交通管理安全文化增强 - 挑战赛
作者:
Kirwan Barry
;
Mearns Kathryn
;
Kennedy Richard J.
;
Gordon Rachael
;
Licu Tony
;
Leone Marinella
;
Kilner Andrew
;
Grace-Kelly Eve
;
Wennerberg Anna
会议名称:
《IET International Conference on Systems Safety》
|
2009年
意见反馈
回到顶部
回到首页