掌桥科研
一站式科研服务平台
科技查新
收录引用
专题文献检索
外文数据库(机构版)
更多产品
首页
成为会员
我要充值
退出
我的积分:
中文会员
开通
中文文献批量获取
外文会员
开通
外文文献批量获取
我的订单
会员中心
我的包量
我的余额
登录/注册
文献导航
中文期刊
>
中文会议
>
中文学位
>
中国专利
>
外文期刊
>
外文会议
>
外文学位
>
外国专利
>
外文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.
Qualifying Software Tools, a Systems Approach
机译:
合格的软件工具,一种系统方法
作者:
Fredrik Asplund
;
Jad El-khoury
;
Martin Toerngren
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
关键词:
Certification;
Safety;
Tool Integration;
2.
Adapting a Software Product Line Engineering Process for Certifying Safety Critical Embedded Systems
机译:
调整软件产品线工程流程以认证关键安全嵌入式系统
作者:
Rosana T. Vaccare Braga
;
Onofre Trindade Junior
;
Kalinka Regina Castelo Branco
;
Luciano De Oliveira Neris
;
Jaejoon Lee
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
关键词:
Safety-Critical Embedded Systems;
Software Certification;
Development Process;
3.
Combining Failure Mode and Functional Resonance Analyses in Healthcare Settings
机译:
在医疗保健环境中结合故障模式和功能共振分析
作者:
Mark-Alexander Sujan
;
Massimo Felici
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
关键词:
Failure Mode and Effects Analysis (FMEA);
Functional Resonance Analysis Method (FRAM);
Healthcare;
4.
A STAMP Analysis on the China-Yongwen Railway Accident
机译:
中永铁路事故的时间戳分析
作者:
Tian Song
;
Deming Zhong
;
Hang Zhong
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
关键词:
accident model;
STAMP;
railway accident;
5.
Efficient Software Component Reuse in Safety-Critical Systems - An Empirical Study
机译:
安全关键系统中有效的软件组件重用-实证研究
作者:
Rikard Land
;
Mikael Akerholm
;
Jan Carlson
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
6.
A Lightweight Methodology for Safety Case Assembly
机译:
轻巧的安全案例汇编方法
作者:
Ewen Denney
;
Ganesh Pai
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
关键词:
Safety cases;
Formal methods;
Automation;
Requirements;
Unmanned Aircraft Systems;
7.
A Pattern-Based Method for Safe Control Systems Exemplified within Nuclear Power Production
机译:
基于模式的核电生产中安全控制系统示例方法
作者:
Andre Alexandersen Hauge
;
Ketil Stolen
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
关键词:
conceptual design;
pattern language;
development process;
safety;
8.
Risk Assessment for Airworthiness Security
机译:
适航安全风险评估
作者:
Silvia Gil Casals
;
Philippe Owezarski
;
Gilles Descargues
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
关键词:
airworthiness;
risk assessment;
security;
safety;
avionic networks;
9.
A Method for Guided Hazard Identification and Risk Mitigation for Offshore Operations
机译:
海上作业的指导性危害识别和风险缓解方法
作者:
Christoph Laesche
;
Eckard Boede
;
Thomas Peikenkamp
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
10.
Risk Analysis and Software Integrity Protection for 4G Network Elements in ASMONIA
机译:
ASMONIA中4G网元的风险分析和软件完整性保护
作者:
Manfred Schafer
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
关键词:
Runtime integrity protection;
TPM;
PKI;
certificates;
signatures;
secure boot;
3GPP security;
eNB;
HeNB;
ASMONIA. Linux;
QEMU;
KVM;
11.
Applying Industrial-Strength Testing Techniques to Critical Care Medical Equipment
机译:
将工业强度测试技术应用于重症监护医疗设备
作者:
Christoph Woskowski
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
关键词:
keyword-driven;
embedded system;
testing hardware;
domain-specific language;
safety-critical;
medical device;
12.
Requirement Decomposition and Testability in Development of Safety-Critical Automotive Components
机译:
安全关键型汽车零部件开发中的需求分解和可测试性
作者:
Viacheslav Izosimov
;
Urban Ingelsson
;
Andreas Wallin
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
13.
Model Based Specification, Verification, and Test Generation for a Safety Fieldbus Profile
机译:
基于模型的安全现场总线配置文件的规范,验证和测试生成
作者:
Jan Krause
;
Elke Hintze
;
Stephan Magnus
;
Christian Diedrich
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
关键词:
model based testing;
verification;
model based specification;
SPENAT;
14.
Quantification of Priority-OR Gates in Temporal Fault Trees
机译:
时间故障树中优先级或门的量化
作者:
Ernest Edifor
;
Martin Walker
;
Neil Gordon
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
关键词:
Safety;
Fault Trees;
Dynamic Fault Trees;
Markov Chains;
Monte Carlo;
Pandora;
15.
IT-Forensic Automotive Investigations on the Example of Route Reconstruction on Automotive System and Communication Data
机译:
汽车系统和通信数据路线重构示例的IT法证汽车研究
作者:
Tobias Hoppe
;
Sven Kuhlmann
;
Stefan Kiltz
;
Jana Dittmann
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
关键词:
Automotive security and safety interplay;
automotive IT forensics;
forensic process models;
investigation and treatment of safety/security incidents;
16.
Cross-Level Compositional Reliability Analysis for Embedded Systems
机译:
嵌入式系统的跨层组成可靠性分析
作者:
Michael Glass
;
Heng Yu
;
Felix Reimann
;
Juergen Teich
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
17.
Towards an IT Security Protection Profile for Safety-Related Communication in Railway Automation
机译:
建立铁路自动化中与安全相关的通信的IT安全保护配置文件
作者:
Hans-Hermann Bock
;
Jens Braband
;
Birgit Milius
;
Hendrik Schaebe
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
关键词:
Railway;
IT Security;
Safety;
Threats;
IT Security Requirements;
Protection Profile;
18.
Towards Secure Fieldbus Communication
机译:
走向安全的现场总线通讯
作者:
Felix Wieczorek
;
Christoph Krauss
;
Frank Schiller
;
Claudia Eckert
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
关键词:
fieldbus;
security;
protocol;
19.
Extracting EFSMs of Web Applications for Formal Requirements Specification
机译:
提取Web应用程序的EFSM以进行正式需求规范
作者:
Andrey Zakonov
;
Anatoly Shalyto
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
关键词:
Model-based testing;
FSM;
Model Checking;
Web Applications;
20.
An Ontological Approach to Systematization of SW-FMEA
机译:
SW-FMEA系统化的本体论方法
作者:
Irene Bicchierai
;
Giacomo Bucci
;
Carlo Nocentini
;
Enrico Vicario
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
关键词:
SW-FMEA;
ontologies;
automated reasoning;
SW Engineering;
Reliability Availability Maintainability and Safety;
V-Model;
21.
Online Black-Box Failure Prediction for Mission Critical Distributed Systems
机译:
关键任务分布式系统的在线黑匣子故障预测
作者:
Roberto Baldoni
;
Giorgia Lodi
;
Luca Montanari
;
Guido Mariotta
;
Marco Rizzuto
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
22.
Formal Development and Assessment of a Reconfigurable On-board Satellite System
机译:
可重构机载卫星系统的正式开发和评估
作者:
Anton Tarasyuk
;
Inna Pereverzeva
;
Elena Troubitsyna
;
Timo Latvala
;
Laura Nummila
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
关键词:
Formal modelling;
fault tolerance. Event-B;
refinement;
probabilistic verification;
23.
On the Impact of Hardware Faults - An Investigation of the Relationship between Workload Inputs and Failure Mode Distributions
机译:
硬件故障的影响-工作负载输入与故障模式分布之间关系的调查
作者:
Domenico Di Leo
;
Fatemeh Ayatolahi
;
Behrooz Sangchoolie
;
Johan Karlsson
;
Roger Johansson
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
关键词:
microprocessor faults;
fault injection;
dependability assessment;
software-implemented hardware fault tolerance;
failure mode distributions;
24.
Impact of Soft Errors in a Jet Engine Controller
机译:
Jet控制器中软错误的影响
作者:
Olof Hannius
;
Johan Karlsson
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
关键词:
jet-engine;
controllers;
FADEC;
soft errors;
cosmic neutrons;
error detection;
coverage;
fault injection;
25.
Which Automata for Which Safety Assessment Step of Satellite FDIR?
机译:
卫星FDIR的哪个安全评估步骤需要哪个自动机?
作者:
Ludovic Pintard
;
Christel Seguin
;
Jean-Paul Blanquart
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
关键词:
hybrid automata;
model checking;
FDIR;
26.
A Novel Modelling Pattern for Establishing Failure Models and Assisting Architectural Exploration in an Automotive Context
机译:
在汽车环境中建立故障模型并协助架构探索的新型建模模式
作者:
Carl Bergenhem
;
Rolf Johansson
;
Henrik Loenn
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
关键词:
System modelling;
Taxonomy;
Failure model;
Distributed system;
Automotive;
ISO 26262;
Asymmetric failure;
EAST-ADL;
AUTOSAR;
FlexRay;
27.
Reviewing Software Models in Compliance with ISO 26262
机译:
审查符合ISO 26262的软件模型
作者:
Ingo Stuermer
;
Elke Salecker
;
Hartmut Pohlheim
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
关键词:
Model review;
ISO 26262;
functional safety;
quality assurance process;
model-based development;
model architecture;
modeling guidelines;
28.
Software Architecture of a Safety-Related Actuator in Traffic Management Systems
机译:
交通管理系统中与安全相关的执行器的软件架构
作者:
Thomas Novak
;
Christoph Stoegerer
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
关键词:
Safety-related embedded software;
safety standard;
traffic system;
29.
Approximate Reliability Algebra for Architecture Optimization
机译:
用于架构优化的近似可靠性代数
作者:
Philipp Helle
;
Michael Masin
;
Lev Greenberg
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
关键词:
Model-based Safety Analysis;
Architecture optimization;
Mixed Integer Linear Programming;
Reliability evaluation;
30.
On the Formal Verification of Systems of Synchronous Software Components
机译:
关于同步软件组件系统的形式验证
作者:
Henning Guenther
;
Stefan Milius
;
Oliver Moeller
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
关键词:
formal verification;
GALS systems;
rely-guarantee;
SCADE;
SPIN;
UPPAAL;
31.
A Systematic Approach to Justifying Sufficient Confidence in Software Safety Arguments
机译:
证明对软件安全性论点有足够信心的一种系统方法
作者:
Anaheed Ayoub
;
BaekGyu Kim
;
Insup Lee
;
Oleg Sokolsky
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
关键词:
safety cases;
confidence arguments;
assurance deficits;
32.
Determining Potential Errors in Tool Chains Strategies to Reach Tool Confidence According to ISO 26262
机译:
根据ISO 26262确定工具链策略中的潜在错误以达到工具置信度
作者:
Martin Wildmoser
;
Jan Philipps
;
Oscar Slotosch
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
关键词:
ISO 26262;
Tool Chain Analysis;
Tool Qualification;
HAZOP;
potential tool failure;
potential tool error;
33.
Safety-Focused Deployment Optimization in Open Integrated Architectures
机译:
开放集成架构中以安全为中心的部署优化
作者:
Bastian Zimmer
;
Susarme Buerklen
;
Jens Hoefflinger
;
Mario Trapp
;
Peter Liggesmeyer
会议名称:
《International conference on computer safety, reliability, and security》
|
2012年
关键词:
safety;
deployment optimization;
distributed embedded systems;
integrated architectures;
IMA;
AUTOSAR;
34.
Automatic Architecture Hardening Using Safety Patterns
机译:
使用安全模式自动架构硬化
作者:
Kevin Delmas
;
Remi Delmas
;
Claire Pagetti
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
35.
Safely Using the AUTOSAR End-to-End Protection Library
机译:
安全地使用AutoSAR端到端保护库
作者:
Thomas Arts
;
Stefano Tonetta
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
关键词:
Verification;
Formal methods;
AUTOSAR;
E2E Protection;
Communication failures;
36.
Requirement Engineering for Functional Alarm System for Interoperable Medical Devices
机译:
可互操作性设备功能报警系统的要求工程
作者:
Krishna K. Venkatasubramanian
;
Eugene Y. Vasserman
;
Vasiliki Sfyrla
;
Oleg Sokolsky
;
Insup Lee
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
关键词:
Interoperable medical devices;
Alarms;
Interoperability;
Requirements engineering;
Fault trees;
37.
Back-to-Back Fault Injection Testing in Model-Based Development
机译:
基于模型开发的背对背故障注射测试
作者:
Peter Folkesson
;
Fatemeh Ayatolahi
;
Behrooz Sangchoolie
;
Jonny Vinter
;
Mafijul Islam
;
Johan Karlsson
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
关键词:
Fault-injection;
Back-to-back testing;
Model-based development;
Embedded systems;
Functional safety;
Soft errors;
38.
Barriers to the Use of Intrusion Detection Systems in Safety-Critical Applications
机译:
在安全关键应用中使用入侵检测系统的障碍
作者:
Chris W. Johnson
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
关键词:
SCADA;
Intrusion detection;
Safety;
Cyber-security;
39.
Systems-Theoretic Safety Assessment of Robotic Telesurgical Systems
机译:
机器人遥测系统的系统 - 理论理安全评估
作者:
Homa Alemzadeh
;
Daniel Chen
;
Andrew Lewis
;
Zbigniew Kalbarczyk
;
Jaishankar Raman
;
Nancy Leveson
;
Ravishankar Iyer
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
关键词:
Hazard analysis;
System safety;
STAMP;
STPA;
Fault injection;
Robotic surgery;
Telerobotics;
FDA MAUDE database;
40.
ISA~2R: Improving Software Attack and Analysis Resilience via Compiler-Level Software Diversity
机译:
ISA〜2R:通过编译级软件多样性提高软件攻击和分析恢复力
作者:
Rafael Fedler
;
Sebastian Banescu
;
Alexander Pretschner
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
关键词:
Software diversity;
Software protection;
Code obfuscation;
41.
Improving Dependability of Vision-Based Advanced Driver Assistance Systems Using Navigation Data and Checkpoint Recognition
机译:
使用导航数据和检查点识别提高基于视觉的高级驾驶员辅助系统的可靠性
作者:
Ayhan Mehmed
;
Sasikumar Punnekkat
;
Wilfried Steiner
;
Giacomo Spampinato
;
Martin Lettner
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
关键词:
Computer-vision system;
Computer-vision monitor;
Latent failures;
External environmental disturbances;
Fault tree analysis;
42.
Towards a Formal Basis for Modular Safety Cases
机译:
朝着模块化安全案例的正式基础
作者:
Ewen Denney
;
Ganesh Pai
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
关键词:
Safety cases;
Argument structures;
Modularity;
43.
The Formal Derivation of Mode Logic for Autonomous Satellite Flight Formation
机译:
自主卫星飞行形成模式逻辑的正式推导
作者:
Anton Tarasyuk
;
Inna Pereverzeva
;
Elena Troubitsyna
;
Timo Latvala
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
关键词:
Autonomous flight formation;
Formal modelling;
Event-B;
Refinement;
Formal verification;
44.
Does IoT Stand for Internet of Threats and Other Stories
机译:
IoT代表威胁互联网和其他故事
作者:
Andrey Nikishin
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
45.
Modeling the Impact of Testing on Diverse Programs
机译:
建模测试对不同计划的影响
作者:
Peter Bishop
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
关键词:
Software diversity;
Multi-version programs;
Diverse test strategies;
46.
Preface
机译:
前言
作者:
Floor Koornneef
;
Coen van Gulijk
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
47.
Cyber (In-)security of Industrial Control Systems: A Societal Challenge
机译:
工业控制系统的网络(IN-)安全:社会挑战
作者:
Eric Luiijf
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
关键词:
Critical infrastructure;
Cyber security;
Cyber resilience;
ICS;
Industrial Control Systems;
Supervisory Control and Data Acquisition;
SCADA;
48.
A Model for Safety Case Confidence Assessment
机译:
安全案例置信度评估模型
作者:
Jeremie Guiochet
;
Quynh Anh Do Hoang
;
Mohamed Kaaniche
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
关键词:
Safety case;
Confidence;
Uncertainty;
Quantitative estimation;
Bayesian belief network;
Belief theory;
49.
Integrated Safety Analysis Using Systems-Theoretic Process Analysis and Software Model Checking
机译:
使用系统定理过程分析和软件模型检查集成安全分析
作者:
Asim Abdulkhaleq
;
Stefan Wagner
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
关键词:
STPA;
Software safety;
SPIN;
Safety verification;
Modex;
50.
Medical Devices, Electronic Health Records and Assuring Patient Safety: Future Challenges?
机译:
医疗设备,电子健康记录和保证患者安全:未来挑战?
作者:
Cor J. Kalkman
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
51.
Quantifying Risks to Data Assets Using Formal Metrics in Embedded System Design
机译:
在嵌入式系统设计中使用正式指标来量化对数据资产的风险
作者:
Maria Vasilevskaya
;
Simin Nadjm-Tehrani
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
关键词:
Security risks;
Confidentiality loss;
Integrity loss;
Data assets;
Attack modelling;
Stochastic modelling;
Model-based;
Embedded systems;
Smart meter;
52.
Safety Case Driven Development for Medical Devices
机译:
医疗设备的安全案例驱动开发
作者:
Alejandra Ruiz
;
Paulo Barbosa
;
Yang Medeiros
;
Huascar Espinoza
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
关键词:
Safety case;
Medical device;
Software development methodology;
Automated external defibrillators;
53.
A Multi-layer Anomaly Detector for Dynamic Service-Based Systems
机译:
基于动态服务的系统的多层异常检测器
作者:
Andrea Ceccarelli
;
Tommaso Zoppi
;
Massimiliano Itria
;
Andrea Bondavalli
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
关键词:
Anomalies;
Monitor;
Complex event processor;
Service oriented architecture;
Secure!;
54.
A Software-Based Error Detection Technique for Monitoring the Program Execution of RTUs in SCADA
机译:
一种基于软件的错误检测技术,用于监控SCADA中RTU的程序执行
作者:
Navid Rajabpour
;
Yasser Sedaghat
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
关键词:
SCADA;
RTU;
Transient fault;
Fault tolerance;
Fault injection;
Software-based error detection;
55.
Organisational, Political and Technical Barriers to the Integration of Safety and Cyber-Security Incident Reporting Systems
机译:
对安全和网络安全事件报告系统一体化的组织,政治和技术障碍
作者:
Chris W. Johnson
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
关键词:
Incident reporting;
Safety;
Cyber-security;
Accident analysis;
Organisational resilience;
56.
Real-World Types and Their Application
机译:
现实世界类型及其应用
作者:
Jian Xiang
;
John Knight
;
Kevin Sullivan
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
关键词:
Real-world types;
Dependability;
Static analysis;
57.
Source-Code-to-Object-Code Traceability Analysis for Avionics Software: Don't Trust Your Compiler
机译:
Ascionics软件的源代码到对象代码可追溯性分析:不相信您的编译器
作者:
Joerg Brauer
;
Markus Dahlweid
;
Tobias Pankrath
;
Jan Peleska
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
关键词:
DO-178C;
Source-code-to-object-code traceability;
Static analysis;
interpretation;
58.
The Safety Requirements Decomposition Pattern
机译:
安全要求分解模式
作者:
Pablo Oliveira Antonino
;
Mario Trapp
;
Paulo Barbosa
;
Edmar C. Gurjao
;
Jeferson Rosario
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
关键词:
Safety requirement;
Architecture;
Failure propagation model;
Traceability;
Completeness;
Consistency;
59.
Model-Based Analysis for Safety Critical Software
机译:
基于模型的安全关键软件分析
作者:
Stefan Gulan
;
Jens Harnisch
;
Sven Johr
;
Roberto Kretschmer
;
Stefan Rieger
;
Rafael Zalman
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
关键词:
Safety analysis;
Functional safety;
ISO 26262;
AUTOS AR;
Formed methods;
Model checking;
Model-based testing;
60.
Risk Classification of Data Transfer in Medical Systems
机译:
医疗系统中数据转移的风险分类
作者:
Dagmar Rosenbrand
;
Rob de Weerd
;
Lex Bothe
;
Jan Jaap Baalbergen
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
关键词:
Patient safety;
Medical systems;
Medical devices;
IT network integration;
Safety critical systems;
Risk classification;
Data transfer;
IEC80001-1;
61.
Towards an International Security Case Framework for Networked Medical Devices
机译:
走向网络医疗设备的国际安全案例框架
作者:
Anita Finnegan
;
Fergal McCaffery
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
关键词:
Networked medical devices;
Medical device security assurance;
Medical device cybersecurity;
Assurance case;
Security case;
Security capabilities;
62.
Understanding the Effects of Data Corruption on Application Behavior Based on Data Characteristics
机译:
了解数据损坏对基于数据特征的应用程序行为的影响
作者:
Georgios Stefanakis
;
Vijay Nagarajan
;
Marcelo Cintra
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
关键词:
Data-level error sensitivity;
Bit-level error sensitivity Software-implemented fault injection;
63.
Stochastic Modeling of Safety and Security of the e-Motor, an ASIL-D Device
机译:
ESIL-D设备的安全性和安全性的随机造型。
作者:
Peter T. Popov
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
关键词:
Stochastic modeling;
Adversary;
Safe state;
Cyber attack;
ISO 26262;
64.
A Structured Validation and Verification Method for Automotive Systems Considering the OEM/Supplier Interface
机译:
考虑OEM /供应商界面的汽车系统的结构化验证和验证方法
作者:
Kristian Beckers
;
Isabelle Cote
;
Thomas Frese
;
Denis Hatebur
;
Maritta Heisel
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
关键词:
Safety management;
Verification;
Validation;
ISO 26262;
Automotive;
UML;
OCL;
UML4PF;
Vamp;
V;
65.
Modeling Guidelines and Usage Analysis Towards Applying HiP-HOPS Method to Airborne Electrical Systems
机译:
建模指导和使用分析对机载电气系统的应用阶跃啤酒花法
作者:
Carolina D. Villela
;
Humberto H. Sano
;
Juliana M. Bezerra
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
关键词:
Hip-HOPS;
Fault Tree Analysis;
Failure analysis;
Safety analysis;
Electrical system;
66.
A Comprehensive Safety, Security, and Serviceability Assessment Method
机译:
全面的安全,安全性和可维护性评估方法
作者:
Georg Macher
;
Andrea Hoeller
;
Harald Sporer
;
Eric Armengaud
;
Christian Kreiner
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
关键词:
HARA;
Automotive;
System analysis;
Reliability quantification;
67.
Simulation of Automotive Security Threat Warnings to Analyze Driver Interpretations and Emotional Transitions
机译:
仿真汽车安全威胁警告分析司机解释和情感过渡
作者:
Robert Altschaffel
;
Tobias Hoppe
;
Sven Kuhlmann
;
Jana Dittmann
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
关键词:
Human aspects in safety-critical systems design and analysis;
Safety amp;
security interactions;
Automotive security and safety interplay;
68.
Automated Generation of Buffer Overflow Quick Fixes Using Symbolic Execution and SMT
机译:
自动生成缓冲区溢出使用符号执行和SMT快速修复
作者:
Paul Muntean
;
Vasantha Kommanapalli
;
Andreas Ibing
;
Claudia Eckert
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
关键词:
Program repair;
Symbolic execution;
Software bugs;
69.
Towards Assurance for Plug Play Medical Systems
机译:
致力于寻求即插即用医疗系统
作者:
Andrew L. King
;
Lu Feng
;
Sam Procter
;
Sanjian Chen
;
Oleg Sokolsky
;
John Hatcliff
;
Insup Lee
会议名称:
《International conference on computer safety, reliability, and security》
|
2015年
关键词:
Medical device interoperability;
Safety assurance;
Compositional safety;
意见反馈
回到顶部
回到首页