发布求助
文献互助 智能选刊 最新文献

International Conference on Computer Safety, Reliability, and Security最新文献

筛选
英文 中文
Just Enough Formality in Assurance Argument Structures 保证论证结构的足够正式
International Conference on Computer Safety, Reliability, and Security Pub Date : 2020-09-15 DOI: 10.1007/978-3-030-54549-9_3
Torin Viger, Rick Salay, Gehan M. K. Selim, M. Chechik
{"title":"Just Enough Formality in Assurance Argument Structures","authors":"Torin Viger, Rick Salay, Gehan M. K. Selim, M. Chechik","doi":"10.1007/978-3-030-54549-9_3","DOIUrl":"https://doi.org/10.1007/978-3-030-54549-9_3","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"50 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133793229","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 7
A Functional Verification Methodology for Highly Parametrizable, Continuously Operating Safety-Critical FPGA Designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME) 高度可参数化、连续运行安全关键FPGA设计的功能验证方法:应用于CERN辐射监测电子(CROME)
International Conference on Computer Safety, Reliability, and Security Pub Date : 2020-09-15 DOI: 10.1007/978-3-030-54549-9_5
Katharina Ceesay-Seitz, H. Boukabache, D. Perrin
{"title":"A Functional Verification Methodology for Highly Parametrizable, Continuously Operating Safety-Critical FPGA Designs: Applied to the CERN RadiatiOn Monitoring Electronics (CROME)","authors":"Katharina Ceesay-Seitz, H. Boukabache, D. Perrin","doi":"10.1007/978-3-030-54549-9_5","DOIUrl":"https://doi.org/10.1007/978-3-030-54549-9_5","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"60 2","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121002344","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Threat Analysis Framework for Safety Architectures in SCDL SCDL安全架构的威胁分析框架
International Conference on Computer Safety, Reliability, and Security Pub Date : 2020-09-15 DOI: 10.1007/978-3-030-54549-9_23
K. Taguchi, Ryo Kurachi, K. Sasaki, Nobuhiko Nakamura, Kazuki Tomonaga, Shuhei Yamashita
{"title":"Threat Analysis Framework for Safety Architectures in SCDL","authors":"K. Taguchi, Ryo Kurachi, K. Sasaki, Nobuhiko Nakamura, Kazuki Tomonaga, Shuhei Yamashita","doi":"10.1007/978-3-030-54549-9_23","DOIUrl":"https://doi.org/10.1007/978-3-030-54549-9_23","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130319532","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Systematic Evaluation of (Safety) Assurance Cases (安全)保证案例的系统评价
International Conference on Computer Safety, Reliability, and Security Pub Date : 2020-09-15 DOI: 10.1007/978-3-030-54549-9_2
T. Chowdhury, Alan Wassyng, R. Paige, M. Lawford
{"title":"Systematic Evaluation of (Safety) Assurance Cases","authors":"T. Chowdhury, Alan Wassyng, R. Paige, M. Lawford","doi":"10.1007/978-3-030-54549-9_2","DOIUrl":"https://doi.org/10.1007/978-3-030-54549-9_2","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"298 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124241502","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 6
Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems 对综合海事系统的模块化更新的重新认证
International Conference on Computer Safety, Reliability, and Security Pub Date : 2020-09-15 DOI: 10.1007/978-3-030-54549-9_4
Georg Hake, S. Feuerstack, A. Hahn
{"title":"Towards Recertification of Modular Updates in Integrated Maritime Systems of Systems","authors":"Georg Hake, S. Feuerstack, A. Hahn","doi":"10.1007/978-3-030-54549-9_4","DOIUrl":"https://doi.org/10.1007/978-3-030-54549-9_4","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"83 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134102505","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities 具有数字可靠性身份的网络物理系统运行时安全监视器工程
International Conference on Computer Safety, Reliability, and Security Pub Date : 2020-09-15 DOI: 10.1007/978-3-030-54549-9_1
Jan Reich, D. Schneider, Ioannis Sorokos, Y. Papadopoulos, T. Kelly, Ran Wei, E. Armengaud, Cem Kaypmaz
{"title":"Engineering of Runtime Safety Monitors for Cyber-Physical Systems with Digital Dependability Identities","authors":"Jan Reich, D. Schneider, Ioannis Sorokos, Y. Papadopoulos, T. Kelly, Ran Wei, E. Armengaud, Cem Kaypmaz","doi":"10.1007/978-3-030-54549-9_1","DOIUrl":"https://doi.org/10.1007/978-3-030-54549-9_1","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121814573","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Using Hardware-In-Loop-Based Fault Injection to Determine the Effects of Control Flow Errors in Industrial Control Programs 基于硬件在环的故障注入确定工业控制程序中控制流错误的影响
International Conference on Computer Safety, Reliability, and Security Pub Date : 2020-09-15 DOI: 10.1007/978-3-030-54549-9_27
J. Vankeirsbilck, H. Hallez, J. Boydens
{"title":"Using Hardware-In-Loop-Based Fault Injection to Determine the Effects of Control Flow Errors in Industrial Control Programs","authors":"J. Vankeirsbilck, H. Hallez, J. Boydens","doi":"10.1007/978-3-030-54549-9_27","DOIUrl":"https://doi.org/10.1007/978-3-030-54549-9_27","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"193 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124663540","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
Efficient Load-Time Diversity for an Embedded Real-Time Operating System 嵌入式实时操作系统的高效负载时间分集
International Conference on Computer Safety, Reliability, and Security Pub Date : 2020-09-15 DOI: 10.1007/978-3-030-54549-9_24
Joachim Fellmuth, Julian Hartmer, H. Skowronek, S. Glesner
{"title":"Efficient Load-Time Diversity for an Embedded Real-Time Operating System","authors":"Joachim Fellmuth, Julian Hartmer, H. Skowronek, S. Glesner","doi":"10.1007/978-3-030-54549-9_24","DOIUrl":"https://doi.org/10.1007/978-3-030-54549-9_24","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129964479","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 0
On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study 配置可靠性实验的试验台:指南和故障注入案例研究
International Conference on Computer Safety, Reliability, and Security Pub Date : 2020-09-15 DOI: 10.1007/978-3-030-54549-9_28
João R. Campos, E. Costa, M. Vieira
{"title":"On Configuring a Testbed for Dependability Experiments: Guidelines and Fault Injection Case Study","authors":"João R. Campos, E. Costa, M. Vieira","doi":"10.1007/978-3-030-54549-9_28","DOIUrl":"https://doi.org/10.1007/978-3-030-54549-9_28","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"30 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128718309","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 2
Model-Centered Assurance for Autonomous Systems 自治系统的以模型为中心的保证
International Conference on Computer Safety, Reliability, and Security Pub Date : 2020-09-15 DOI: 10.1007/978-3-030-54549-9_15
Susmit Jha, J. Rushby, N. Shankar
{"title":"Model-Centered Assurance for Autonomous Systems","authors":"Susmit Jha, J. Rushby, N. Shankar","doi":"10.1007/978-3-030-54549-9_15","DOIUrl":"https://doi.org/10.1007/978-3-030-54549-9_15","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"38 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-09-15","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129570842","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 16
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：604180095
Book学术官方微信
小红书