首页>外文会议>其他>Safety-Critical Systems Symposium

Safety-Critical Systems Symposium

召开年：2020
召开地：York(GB)
出版时间：-

会议文集：-

会议论文

热门论文

全部论文

全选（0）

1.Safety Case Experiences from Harrier

机译：哈里尔的安全案例经验
- 作者：Jeff Lucas
- 会议名称：《Safety-Critical Systems Symposium》 | 2008年
2.Investigation to Establish Whether Cultural Analysis can be used to Improve the Interactions Between Design, Safety and Operations Departments

机译：调查建立文化分析是否可用于改善设计，安全和运营部门之间的相互作用
- 作者：Tim Smith
- 会议名称：《Safety-Critical Systems Symposium》 | 2008年
3.Systems Approach to Unmanned Air Vehicle Development and Certification

机译：无人驾驶航空公司发展和认证的系统方法
- 作者：Richard Sleeman;Andrew Cox;Jenny Colledge
- 会议名称：《Safety-Critical Systems Symposium》 | 2008年
4.Simplifying the Creation and Use of the Risk Matrix

机译：简化风险矩阵的创建和使用
- 作者：Robin Cook
- 会议名称：《Safety-Critical Systems Symposium》 | 2008年
5.Safety Process Improvement with POSE and Alloy

机译：姿势和合金的安全过程改进
- 作者：Derek Mannering;Jon G. Hall;Lucia Rapanotti
- 会议名称：《Safety-Critical Systems Symposium》 | 2008年
6.How to Select a Programming Language Subset to Maximise Software Quality

机译：如何选择编程语言子集以最大化软件质量
- 作者：Wojciech Basalaj
- 会议名称：《Safety-Critical Systems Symposium》 | 2008年
- safety-critical;
- software quality;
- language subsets;
- coding standards;
- software metrics;
7.Making Safe Software Secure

机译：使安全软件安全
- 作者：Odd Nordland
- 会议名称：《Safety-Critical Systems Symposium》 | 2008年
8.Human Factors Safety Assurance for Changing ATM Systems

机译：改变ATM系统的人为因素安全保证
- 作者：Stephen O. Clark;Steven T. Shorrock;Nic Turley
- 会议名称：《Safety-Critical Systems Symposium》 | 2008年
9.A Human Factors Perspective on Safety Management Systems

机译：安全管理系统的人为因素
- 作者：Christopher Lowe
- 会议名称：《Safety-Critical Systems Symposium》 | 2008年
10.Can Process-Based and Product-Based Approaches to Software Safety Certification be Reconciled?

机译：可以协调基于过程和基于产品的软件安全认证的方法吗？
- 作者：T P Kelly
- 会议名称：《Safety-Critical Systems Symposium》 | 2008年
11.Prototyping versus Formal Development

机译：原型与正式发展
- 作者：Mike Ainsworth
- 会议名称：《Safety-Critical Systems Symposium》 | 2008年
12.Safety Case Development How can I continue the work?

机译：安全案例开发如何继续工作？
- 作者：Tadeusz Cichocki
- 会议名称：《Safety-Critical Systems Symposium》 | 2008年
13.Human Performance Improvement-Reducing Significant Events in Nuclear Power

机译：人类性能改善 - 减少核电的重要事件
- 作者：Don Goble
- 会议名称：《Safety-Critical Systems Symposium》 | 2008年
14.Practical Ways of Improving Product Safety in Industry

机译：提高产业产品安全的实用方法
- 作者：Gabriele Schedl;Werner Winkelbauer
- 会议名称：《Safety-Critical Systems Symposium》 | 2008年
15.Safety Analysis: Thoughts on Methods and Experience

机译：安全分析：关于方法和经验的思考
- 作者：Michael Ellims;Pi-Shurlok
- 会议名称：《Safety-Critical Systems Symposium》 | 2008年
16.Preface

机译：前言
- 作者：Mike Parsons;Mark Nicholson
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
17.The Safety-Critical Systems Club

机译：安全关键系统俱乐部
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
18.The Boeing 737 MAX Accidents

机译：波音737 Max事故
- 作者：Dewi Daniels
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
19.Challenges in Education and (Human) Training for Systems with AI

机译：AI系统的教育和（人类）培训挑战
- 作者：Nikita Johnson;Mark Nicholson
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
20.The Emergence of Accidental Autonomy

机译：意外自治的出现
- 作者：Mark Nicholson
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
21.Quantifying Dataset Properties for Systematic Artificial Neural Network Classifier Verification

机译：量化数据集属性，用于系统人工神经网络分类器验证
- 作者：Darryl Hond;Alex White;Hamid Asgari
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
22.Satellite Navigation ～ Where Are We Going?

机译：卫星导航〜我们要去哪里？
- 作者：John Spriggs
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
23.A Service Perspective on Accidents

机译：关于事故的服务视角
- 作者：Kevin King;Mike Parsons;Mark Sujan
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
24.Modular Safety Cases for the Assurance of Industry 4.0

机译：适用于行业保证的模块化安全案例4.0
- 作者：Omar Jaradat;Irfan Sljivo;Richard Hawkins;Ibrahim Habli
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
25.Safety in Space: A Changing Picture?

机译：空间安全：更改图片？
- 作者：Emma Ariane Taylor
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
26.Making Modular Assurance Cases Work Using Structured Assurance Case Metamodel (SACM)

机译：采用结构化保证案例元模型（SACM）制作模块化保证案例
- 作者：Jane Fenn;Yvonne Oakshott;Richard Hawkins;Ran Wei
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
27.A Practical Assurance Approach for Multi-Cores (MCs) Within Safety-Critical Software Applications

机译：安全关键软件应用中多核（MCS）的实用保证方法
- 作者：Mark Hadley;Mike Standish
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
28.Demystifying Functional Safety in Road Vehicles - ISO 26262

机译：道路车辆的功能安全 - ISO 26262
- 作者：Rajiv Bongirwar
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
29.Utilising MBSE for Safety Assurance of COTS devices with embedded software

机译：利用MBSE进行嵌入式软件的COTS设备的安全保证
- 作者：Waleed N Chaudhry
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
30.Independent Co-Assurance using the Safety-Security Assurance Framework (SSAF): A Bayesian Belief Network Implementation for IEC 61508 and Common Criteria

机译：使用安全保障保证框架（SSAF）的独立共同保证：IEC 61508和常见标准的贝叶斯信仰网络实施
- 作者：Nikita Johnson;Youcef Gheraibia;Tim Kelly
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
31.Developments in Safety Security Integration: Remotely Piloted Unmanned Aircraft Systems Command and Control

机译：安全与安全集成的发展：远程试点无人驾驶飞机系统指挥和控制
- 作者：Paul Hampton;Jonathan Pugh;Richard Ball
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
32.IEC TR 63069, Security Environments and Security-Risk Analysis

机译：IEC TR 63069，安全环境和安全风险分析
- 作者：Peter Bernard Ladkin
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
33.A Comment on IEC TR 63069

机译：关于IEC TR 63069的评论
- 作者：Martyn Thomas
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
34.Application of Engineering Safety Security Management across HS2: From automatic trains to concrete

机译：工程安全与安全管理在HS2中的应用：从自动列车到混凝土
- 作者：Reuben McDonald
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
35.Safety Critical Integrity Assurance in Large Datasets

机译：大型数据集中的安全关键完整性保证
- 作者：G S Sutherland;A Hessami
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
36.Human Factors of Using Artificial Intelligence in Healthcare: Challenges That Stretch Across Industries

机译：人工智能在医疗保健中使用人工智能的人为因素：跨行业延伸的挑战
- 作者：Mark Sujan;Dominic Furniss;Richard Hawkins;Ibrahim Habli
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
37.Psychological safety - facilitating self-reporting of error, mistakes and non-compliance: A rapid review for the Energy Institute

机译：心理安全 - 促进错误，错误和不合规的自我报告：对能源研究所的快速审查
- 作者：Michael Wright;Sam Opiah;Suzanne Croest
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
38.Safety Systems and Defence in Depth in Nuclear New Build

机译：核新建设中的安全系统和防御
- 作者：Alastair Crawford
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
39.Issues with Rules for Autonomous Vehicle Safety

机译：自主车辆安全规则的问题
- 作者：Michael Ellims;John Botham
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
40.Generating the Evidence Necessary to Support Machine Learning Safety Claims

机译：生成支持机器学习安全声明所需的证据
- 作者：James McCloskey;Rose Gambon;Chris Allsopp;Thorn Kirwan-Evans;Richard Maguire
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
41.An Open, Transparent, Industry-Driven Approach to AV Safety

机译：一个开放，透明，行业驱动的AV安全方法
- 作者：Jack Weast
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
42.Applying reverse engineering to perform integrated safety and cybersecurity analyses of system functionality

机译：应用逆向工程来执行系统功能的集成安全和网络安全分析
- 作者：Xinxin Lou;Peter B. Ladkin;Karl Waedt;Ines Ben Zid
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
- reverse engineering;
- cybersecurity analysis;
- functional specification;
- hazard identification;
- risk analysis;
- Hoare Logic;
- event tree analysis;
43.A Step Towards Harmonising IEC Terminology

机译：协调IEC术语的一步
- 作者：Dieter Schnaepp;Peter Bernard Ladkin;Holger Lange
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
44.Formal verification of relative safety for autonomous decision making

机译：自主决策相对安全的正式验证
- 作者：Hoang Tung Dinh
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
45.An Effective Approach to Meeting the Challenges of RTCA DO-326A

机译：满足RTCA DO-326A挑战的有效方法
- 作者：Elizabeth Lennon
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
46.Safety approaches for autonomous mobile machines in industrial environments

机译：工业环境中自主移动机器的安全方法
- 作者：Risto Tiusanen;Timo Malm;Eetu Heikkilae;Janne Sarsama
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
- autonomous work machine;
- standard;
- safety approach;
- safety requirement;
47.Applicability of systems-theoretic methods in the safety assessment of autonomous port logistics

机译：系统 - 理论方法在自主港口物流安全评估中的适用性
- 作者：Eetu Heikkila;Risto Tiusanen
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
48.Safety Aspects of Complex Human-Robot Interaction in Healthcare Robotics

机译：健康机器人中复杂人体机器人互动的安全方面
- 作者：Daniel Delgado Bellamy;Chris Harper;Sanja Dogramadzi;Praminda Caleb-Solly
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
49.Using Task Analysis and Environmental Survey Hazard Analysis to identify requirements of autonomous systems

机译：使用任务分析和环境调查危害分析来识别自主系统的要求
- 作者：Chris Harper;Daniel Delgado Bellamy;Chris Harper;Sanja Dogramadzi;Praminda Caleb-Solly
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
50.A Gamified Prototype Design for Software Safety Requirements Engineering

机译：用于软件安全要求工程的游戏原型设计
- 作者：Helen Partou;Vito Veneziano;Trevor Barker;Catherine Menon
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
51.The MSCA ETN Safer Autonomous Systems project

机译：MSCA ETN更安全的自治系统项目
- 作者：Davy Pissort
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
52.A 'Z' specification of the concepts of Data Safety Assurance

机译：“Z”规范数据安全保证概念
- 作者：Divya Atkins
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
53.Formalising the Language of Risk

机译：形式化风险的语言
- 作者：Dave Banham
- 会议名称：《Safety-Critical Systems Symposium》 | 2020年
54.The Impact of UEber-Authorities on WCET

机译：Ueber Airmerss对WCET的影响
- 作者：Dave Banham;Michael Brown
- 会议名称：《Safety-Critical Systems Symposium》 | 2021年
55.Assuring the Integration of Autonomy:A Fault Taxonomy

机译：确保自治的整合：一个错误分类
- 作者：J Calford;C Allsopp;R Gambon;K Eder;J Smith;R Maguire
- 会议名称：《Safety-Critical Systems Symposium》 | 2021年
56.Safety Cases: An Impending Crisis?

机译：安全案例：即将到来的危机？
- 作者：Ibrahim Habli;Rob Alexander;Richard Hawkins
- 会议名称：《Safety-Critical Systems Symposium》 | 2021年
57.The Future of Satellite Launch from the UK

机译：卫星从英国发布的未来
- 作者：John Holmes
- 会议名称：《Safety-Critical Systems Symposium》 | 2021年
58.Chances, Confidence and Risks Analysis:The Chance of Covid-19 Infection in the Day Care of Very Young Children

机译：机会，信心和风险分析：在非常幼儿当天照顾的Covid-19感染的机会
- 作者：Peter Bernard Ladkin
- 会议名称：《Safety-Critical Systems Symposium》 | 2021年
59.Six Honest Serving Men for Today(Dialectic Argumentation for Assurance Cases)

机译：六人为今天（保证案件的辩证论证）
- 作者：Yvonne Oakshott;Paul Chinneck
- 会议名称：《Safety-Critical Systems Symposium》 | 2021年
60.Prediction of Dynamic Adaptation Technique for Autonomous Vehicles using Decision Trees

机译：使用决策树预测自动车辆动态适应技术
- 作者：Anil Ranjitbhai Patel;Nikita Bhardwaj Haupt;Peter Liggesmeyer
- 会议名称：《Safety-Critical Systems Symposium》 | 2021年
61.Developing Leading Safety Indicators using the Functional Resonance Analysis Method

机译：使用功能共振分析方法开发领先的安全指标
- 作者：Mark Sujan;John Watt;Riccardo Patriarca;Francesco Costantino;Maria Luisa Villani;Antonio De Nicola
- 会议名称：《Safety-Critical Systems Symposium》 | 2021年
62.Preface

机译：前言
- 作者：Mike Parsons;Mark Nicholson
- 会议名称：《Safety-Critical Systems Symposium》 | 2021年
63.Open Challenges and Gaps in the Guidance for the Use of Multi-Cores and MPSoCs in Safety-Critical Systems

机译：在安全关键系统中使用多核和MPSOC的指导下的开放挑战和差距
- 作者：Iain Bate;Louise Harney
- 会议名称：《Safety-Critical Systems Symposium》 | 2021年
64.A Longitudinal Study in Medical Error:The Limits of Lists

机译：医疗错误的纵向研究：列表的限制
- 作者：Michael Ellims
- 会议名称：《Safety-Critical Systems Symposium》 | 2021年
65.TM Card: A way to provide a useful index for standards and guidelines for Autonomous Vehicles

机译：TM卡：一种为自治车辆标准和指南提供有用指标的方法
- 作者：Masao Ito
- 会议名称：《Safety-Critical Systems Symposium》 | 2021年
- Autonomous Vehicle;
- Standard;
- Guidance;
- Toulmin;
- TM Card;
- AI;
66.Digital Twins for Safety-Critical Systems:Principles to support their role in safety assurance

机译：数字双胞胎用于安全关键系统：支持其在安全保证中的角色的原则
- 作者：Kevin King;Mark Nicholson
- 会议名称：《Safety-Critical Systems Symposium》 | 2021年
67.Human reliability assessment procedure for non-Human Factors practitioners

机译：非人因素从业者的人力可靠性评估程序
- 作者：David Pennie
- 会议名称：《Safety-Critical Systems Symposium》 | 2021年
68.Influencing for Safety and Risk:A Novel Toolkit

机译：影响安全和风险：一种新型工具包
- 作者：Emma Ariane Taylor
- 会议名称：《Safety-Critical Systems Symposium》 | 2021年
69.Assurance 2.0: A Manifesto

机译：保证2.0：海报
- 作者：Robin E Bloomfield;John Rushby
- 会议名称：《Safety-Critical Systems Symposium》 | 2021年
70.PETER - A Pan-European Training, Research and Education network on Electromagnetic Risk Management

机译：彼得 - 电磁风险管理的泛欧培训，研究和教育网络
- 作者：Davy Pissoort
- 会议名称：《Safety-Critical Systems Symposium》 | 2021年
71.IPnet Vulnerabilities: A Case Study

机译：IPNet漏洞：案例研究
- 作者：Arlen Baker;Paul J. Parkinson
- 会议名称：《Safety-Critical Systems Symposium》 | 2021年
72.Meerkat-IoT-Based Solar-Powered SIL2 Footpath Level Crossing Warning System

机译：基于Meerkat-IoT的太阳能SIL2小径水平过时警告系统
- 作者：Kai Barrington;Ian Burgoyne;James Edwards;Adrian Jones;Wendy Owen
- 会议名称：《Safety-Critical Systems Symposium》 | 2021年
73.Safety-critical wireless communication links

机译：安全关键无线通信链路
- 作者：Michael Green
- 会议名称：《Safety-Critical Systems Symposium》 | 2021年
74.Using Bayesian Modelling to Predict Software Defects

机译：使用贝叶斯建模来预测软件缺陷
- 作者：Chris Hobbs;Waqar Ahmed
- 会议名称：《Safety-Critical Systems Symposium》 | 2021年
75.Safety Culture Stories: News from the Front

机译：安全文化故事：来自前线的新闻
- 作者：Patrick Hudson;Timothy Hudson
- 会议名称：《Safety-Critical Systems Symposium》 | 2021年
76.An 'As Desired' Model of the Software Safety Assurance Lifecycle

机译：一个“视觉所需的软件安全保证生命周期”模型
- 作者：Matt Osborne;Mark Nicholson;Richard Hawkins
- 会议名称：《Safety-Critical Systems Symposium》 | 2021年
77.An Initial Framework Assessing the Safety of Complex Systems

机译：评估复杂系统安全的初始框架
- 作者：Simon Burton;John McDermid;Philip Garnett;Rob Weaver
- 会议名称：《Safety-Critical Systems Symposium》 | 2021年
78.Data Safety in Virus Outbreaks:Lessons Learnt and Recommendations

机译：病毒爆发中的数据安全性：培训和建议
- 作者：Nicholas Hales
- 会议名称：《Safety-Critical Systems Symposium》 | 2021年
79.A Simple Calculus of Confidence

机译：一个简单的信心微积分
- 作者：Peter Bernard Ladkin
- 会议名称：《Safety-Critical Systems Symposium》 | 2021年
80.Challenges of Cyber-Resilience in Aviation:An Implementation

机译：航空中网络恢复能力的挑战：实施
- 作者：Lee Ramsay;Mick Warren
- 会议名称：《Safety-Critical Systems Symposium》 | 2021年
81.The pivotal pandemic Why we urgently need to fix IT

机译：关键大流行为什么我们迫切需要解决它
- 作者：Harold Thimbleby
- 会议名称：《Safety-Critical Systems Symposium》 | 2021年
82.What can be learned from the UK response to the Coronavirus using STAMP and how this learning could shape future responses and policies

机译：从英国的回应可以从英国响应使用邮票以及这种学习如何塑造未来的反应和政策
- 作者：Simon Whiteley
- 会议名称：《Safety-Critical Systems Symposium》 | 2021年
83.Safe staffing levels:latest Energy Institute guidance

机译：安全人员配置水平：最新的能源研究所指导
- 作者：Michael Wright;Stuart King
- 会议名称：《Safety-Critical Systems Symposium》 | 2021年