掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文OA文献
>
外文科技报告
>
中文图书
>
外文图书
>
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
工业技术
基础科学
医药卫生
农业科学
教科文艺
经济财政
社会科学
哲学政法
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
自然科学总论
数学、物理、化学、力学
天文学、地球科学
生物科技
医学、药学、卫生
航空航天、军事
农林牧渔
机械、仪表工业
化工、能源
冶金矿业
电子学、通信
计算机、自动化
土木、建筑、水利
交通运输
轻工业技术
材料科学
电工技术
一般工业技术
环境科学、安全科学
图书馆学、情报学
社会科学
其他
美国国防部AD报告
美国能源部DE报告
美国航空航天局NASA报告
美国商务部PB报告
外军国防科技报告
美国国防部
美国参联会主席指示
美国海军
美国空军
美国陆军
美国海军陆战队
美国国防技术信息中心(DTIC)
美军标
美国航空航天局(NASA)
战略与国际研究中心
美国国土安全数字图书馆
美国科学研究出版社
兰德公司
美国政府问责局
香港科技大学图书馆
美国海军研究生院图书馆
OALIB数据库
在线学术档案数据库
数字空间系统
剑桥大学机构知识库
欧洲核子研究中心机构库
美国密西根大学论文库
美国政府出版局(GPO)
加利福尼亚大学数字图书馆
美国国家学术出版社
美国国防大学出版社
美国能源部文献库
美国国防高级研究计划局
美国陆军协会
美国陆军研究实验室
英国空军
美国国家科学基金会
美国战略与国际研究中心-导弹威胁网
美国科学与国际安全研究所
法国国际关系战略研究院
法国国际关系研究所
国际宇航联合会
美国防务日报
国会研究处
美国海运司令部
北约
盟军快速反应部队
北约浅水行动卓越中心
北约盟军地面部队司令部
北约通信信息局
北约稳定政策卓越中心
美国国会研究服务处
美国国防预算办公室
美国陆军技术手册
一般OA
科技期刊论文
科技会议论文
图书
科技报告
科技专著
标准
其它
美国卫生研究院文献
分子生物学
神经科学
药学
外科
临床神经病学
肿瘤学
细胞生物学
遗传学
公共卫生&环境&职业病
应用微生物学
全科医学
免疫学
动物学
精神病学
兽医学
心血管
放射&核医学&医学影像学
儿科
医学进展
微生物学
护理学
生物学
牙科&口腔外科
毒理学
生理学
医院管理
妇产科学
病理学
生化技术
胃肠&肝脏病学
运动科学
心理学
营养学
血液学
泌尿科学&肾病学
生物医学工程
感染病
生物物理学
矫形
外周血管病
药物化学
皮肤病学
康复学
眼科学
行为科学
呼吸学
进化生物学
老年医学
耳鼻喉科学
发育生物学
寄生虫学
病毒学
医学实验室检查技术
生殖生物学
风湿病学
麻醉学
危重病护理
生物材料
移植
医学情报
其他学科
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
人类生活必需品
作业;运输
化学;冶金
纺织;造纸
固定建筑物
机械工程;照明;加热;武器;爆破
物理
电学
马克思主义、列宁主义、毛泽东思想、邓小平理论
哲学、宗教
社会科学总论
政治、法律
军事
经济
文化、科学、教育、体育
语言、文字
文学
艺术
历史、地理
自然科学总论
数理科学和化学
天文学、地球科学
生物科学
医药、卫生
农业科学
工业技术
交通运输
航空、航天
环境科学、安全科学
综合性图书
主题
主题
题名
作者
关键词
摘要
高级搜索 >
外文期刊
外文会议
外文学位
外国专利
外文图书
外文OA文献
中文期刊
中文会议
中文学位
中国专利
中文图书
外文科技报告
清除
历史搜索
清空历史
首页
>
外文会议
>
International conference on computer safety, reliability, and security
International conference on computer safety, reliability, and security
召开年:
召开地:
出版时间:
-
会议文集:
-
会议论文
热门论文
全部论文
全选(
0
)
清除
导出
1.
Safe and Secure Automotive Over-the-Air Updates
机译:
安全可靠的汽车无线更新
作者:
Thomas Chowdhury
;
Eric Lesiuta
;
Kerianne Rikley
;
Chung-Wei Lin
;
Eunsuk Kang
;
BaekGyu Kim
;
Shinichi Shiraishi
;
Mark Lawford
;
Alan Wassyng
会议名称:
《International conference on computer safety, reliability, and security》
|
2018年
2.
Dependability Analysis of the AFDX Frame Management Design
机译:
AFDX框架管理设计的可靠性分析
作者:
Venesa Watson
;
Mahlet Bejiga
会议名称:
《International conference on computer safety, reliability, and security》
|
2018年
关键词:
AFDX;
Deterministic;
Critical industries Dependable and secure computing;
3.
Efficient On-Line Error Detection and Mitigation for Deep Neural Network Accelerators
机译:
深度神经网络加速器的有效在线错误检测和缓解
作者:
Christoph Schorn
;
Andre Guntoro
;
Gerd Ascheid
会议名称:
《International conference on computer safety, reliability, and security》
|
2018年
4.
Random Additive Control Flow Error Detection
机译:
随机附加控制流错误检测
作者:
Jens Vankeirsbilck
;
Niels Penneman
;
Hans Hallez
;
Jeroen Boydens
会议名称:
《International conference on computer safety, reliability, and security》
|
2018年
关键词:
Fault tolerance;
Resilient software Software-implemented control flow error detection;
Erroneous bit-flips;
5.
Fault-Tolerant Clock Synchronization with Only Two Redundant Paths
机译:
仅具有两个冗余路径的容错时钟同步
作者:
Zoha Moztarzadeh
会议名称:
《International conference on computer safety, reliability, and security》
|
2018年
关键词:
Distributed real-time systems;
Fault-tolerant clock synchronization;
Ring topology;
Byzantine failure;
6.
MORE: MOdel-based Redundancy for Simulink
机译:
更多:Simulink基于模块的冗余
作者:
Kai Ding
;
Andrey Morozov
;
Klaus Janschek
会议名称:
《International conference on computer safety, reliability, and security》
|
2018年
关键词:
Fault tolerance;
Redundancy;
Model-based design Dependability;
Reliability;
Design patterns;
Stochastic method Soft errors;
Silent data corruption;
Simulink;
7.
Diversity in Open Source Intrusion Detection Systems
机译:
开源入侵检测系统的多样性
作者:
Hafizul Asad
;
Ilir Gashi
会议名称:
《International conference on computer safety, reliability, and security》
|
2018年
关键词:
Security assessment;
Security tools;
Intrusion detection systems Design diversity;
8.
Inter-device Sensor-Fusion for Action Authorization on Industrial Mobile Robots
机译:
设备间传感器融合,可在工业移动机器人上进行动作授权
作者:
Sarah Haas
;
Andrea Hoeller
;
Thomas Ulz
;
Christian Steger
会议名称:
《International conference on computer safety, reliability, and security》
|
2018年
9.
Towards a Common Ontology of Safety Risk Concepts for Railway Vehicles and Signaling
机译:
走向铁路车辆和信号安全风险概念的通用本体
作者:
Bernhard Hulin
;
Hermann Kaindl
;
Roland Beckert
;
Thomas Rathfux
;
Roman Popp
会议名称:
《International conference on computer safety, reliability, and security》
|
2018年
10.
Preface
机译:
前言
作者:
Barbara Gallina
;
Amund Skavhaug
会议名称:
《International conference on computer safety, reliability, and security》
|
2018年
11.
Software Engineering for Safety in Programmed Molecular Systems
机译:
程序分子系统安全性软件工程
作者:
Robyn R. Lutz
会议名称:
《International conference on computer safety, reliability, and security》
|
2018年
关键词:
Software safety;
Molecular programming;
Software engineering Chemical reaction networks;
12.
Reviews?! We do that! Cross-Domain Reuse of Engineering Knowledge and Evidence
机译:
评论?!我们做到了!跨域重用工程知识和证据
作者:
Uma Ferrell
会议名称:
《International conference on computer safety, reliability, and security》
|
2018年
13.
Experiences from the Industry, Design and Application of a Control System Platform for Safety of Machinery
机译:
机械安全控制系统平台的行业经验,设计和应用
作者:
Richard Hendeberg
会议名称:
《International conference on computer safety, reliability, and security》
|
2018年
关键词:
Mining machinery;
Construction machinery;
Safety of machinery Hardware component reuse;
14.
Practical Experience Report: Automotive Safety Practices vs. Accepted Principles
机译:
实践经验报告:汽车安全实践与公认原则
作者:
Philip Koopman
会议名称:
《International conference on computer safety, reliability, and security》
|
2018年
关键词:
Software safety;
Automotive;
Unintended acceleration;
15.
A Generic Method for a Bottom-Up ASIL Decomposition
机译:
自下而上的ASIL分解的通用方法
作者:
Alessandro Frigerio
;
Bart Vermeulen
;
Kees Goossens
会议名称:
《International conference on computer safety, reliability, and security》
|
2018年
关键词:
ADAS;
ASIL decomposition;
Automotive architecture Common-Cause fault analysis;
Fault trees;
Functional safety ISO 26262;
16.
Assurance Benefits of ISO 26262 Compliant Microcontrollers for Safety-Critical Avionics
机译:
符合ISO 26262标准的微控制器对安全关键型航空电子设备的保证益处
作者:
Andreas Schwierz
;
Hakan Forsberg
会议名称:
《International conference on computer safety, reliability, and security》
|
2018年
关键词:
Microcontroller;
DO-254;
Assurance;
Reuse;
Avionics ISO 26262;
COTS;
17.
Structuring Validation Targets of a Machine Learning Function Applied to Automated Driving
机译:
构建应用于自动驾驶的机器学习功能的验证目标
作者:
Lydia Gauerhof
;
Peter Munk
;
Simon Burton
会议名称:
《International conference on computer safety, reliability, and security》
|
2018年
关键词:
Safety;
Intended functionality;
Functional insufficiency Nominal performance;
Automated driving;
Machine learning Assurance case;
GSN;
18.
Multi-aspect Safety Engineering for Highly Automated Driving: Looking Beyond Functional Safety and Established Standards and Methodologies
机译:
高度自动化驾驶的多方面安全工程:超越功能安全性和既定标准和方法
作者:
Patrik Feth
;
Rasmus Adler
;
Takeshi Fukuda
;
Tasuku Ishigooka
;
Satoshi Otsuka
;
Daniel Schneider
;
Denis Uecker
;
Kentaro Yoshimura
会议名称:
《International conference on computer safety, reliability, and security》
|
2018年
19.
A Model-Based Safety Analysis of Dependencies Across Abstraction Layers
机译:
跨抽象层的依赖关系的基于模型的安全性分析
作者:
Christoph Dropmann
;
Eike Thaden
;
Mario Trapp
;
Denis Uecker
;
Rakshith Amarnath
;
Leandro Avila da Silva
;
Peter Munk
;
Markus Schweizer
;
Matthias Jung
;
Rasmus Adler
会议名称:
《International conference on computer safety, reliability, and security》
|
2018年
关键词:
Software and system safety;
Interferences;
Safety analysis;
20.
Formal Verification of Signalling Programs with SafeCap
机译:
使用SafeCap正式验证信令程序
作者:
Alexei Iliasov
;
Dominic Taylor
;
Linas Laibinis
;
Alexander Romanovsky
会议名称:
《International conference on computer safety, reliability, and security》
|
2018年
21.
Deriving and Formalising Safety and Security Requirements for Control Systems
机译:
得出控制系统的安全要求并将其正式化
作者:
Elena Troubitsyna
;
Inna Vistbakka
会议名称:
《International conference on computer safety, reliability, and security》
|
2018年
关键词:
Formal modelling;
Safety analysis;
Data flow Event-B;
Refinement;
Safety-critical systems;
Security;
22.
Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving
机译:
使用SAT解决方案的改进状态决策覆盖率的最佳测试套件生成
作者:
Takashi Kitamura
;
Quentin Maissonneuve
;
Eun-Hye Choi
;
Cyrille Artho
;
Angelo Gargantini
会议名称:
《International conference on computer safety, reliability, and security》
|
2018年
23.
Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving Functions
机译:
测试案例和仿真案例的有效拆分,以验证高度自动化的驾驶功能
作者:
Eckard Boede
;
Matthias Bueker
;
Ulrich Eberle
;
Martin Fraenzle
;
Sebastian Gerwinn
;
Birte Kramer
会议名称:
《International conference on computer safety, reliability, and security》
|
2018年
关键词:
Verification;
Simulation;
Highly automated driving Statistical verification;
Testing;
Advanced driver assistant systems Optimal trade-off;
24.
Roadblocks on the Highway to Secure Cars: An Exploratory Survey on the Current Safety and Security Practice of the Automotive Industry
机译:
固定汽车在高速公路上的障碍:当前汽车行业安全实践的探索性调查
作者:
Michael Huber
;
Michael Brunner
;
Clemens Sauerwein
;
Carmen Carlan
;
Ruth Breu
会议名称:
《International conference on computer safety, reliability, and security》
|
2018年
关键词:
Automotive;
Cyber-Physical Systems;
Safety;
Security Integration;
Industrial survey;
意见反馈
回到顶部
回到首页