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

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

筛选
英文 中文
Formal Verification of Signalling Programs with SafeCap 使用SafeCap对信令程序进行正式验证
International Conference on Computer Safety, Reliability, and Security Pub Date : 2018-09-18 DOI: 10.1007/978-3-319-99130-6_7
A. Iliasov, Dominic Taylor, L. Laibinis, A. Romanovsky
{"title":"Formal Verification of Signalling Programs with SafeCap","authors":"A. Iliasov, Dominic Taylor, L. Laibinis, A. Romanovsky","doi":"10.1007/978-3-319-99130-6_7","DOIUrl":"https://doi.org/10.1007/978-3-319-99130-6_7","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"27 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"130566510","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}
引用次数: 13
Structuring Validation Targets of a Machine Learning Function Applied to Automated Driving 应用于自动驾驶的机器学习函数的结构验证目标
International Conference on Computer Safety, Reliability, and Security Pub Date : 2018-09-18 DOI: 10.1007/978-3-319-99130-6_4
Lydia Gauerhof, Peter Munk, S. Burton
{"title":"Structuring Validation Targets of a Machine Learning Function Applied to Automated Driving","authors":"Lydia Gauerhof, Peter Munk, S. Burton","doi":"10.1007/978-3-319-99130-6_4","DOIUrl":"https://doi.org/10.1007/978-3-319-99130-6_4","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"100 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115803066","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}
引用次数: 46
Multi-aspect Safety Engineering for Highly Automated Driving - Looking Beyond Functional Safety and Established Standards and Methodologies 高度自动驾驶的多方面安全工程-超越功能安全和既定标准和方法
International Conference on Computer Safety, Reliability, and Security Pub Date : 2018-09-18 DOI: 10.1007/978-3-319-99130-6_5
Patrik Feth, R. Adler, Takeshi Fukuda, Tasuku Ishigooka, Satoshi Otsuka, D. Schneider, Denis Uecker, Kentaro Yoshimura
{"title":"Multi-aspect Safety Engineering for Highly Automated Driving - Looking Beyond Functional Safety and Established Standards and Methodologies","authors":"Patrik Feth, R. Adler, Takeshi Fukuda, Tasuku Ishigooka, Satoshi Otsuka, D. Schneider, Denis Uecker, Kentaro Yoshimura","doi":"10.1007/978-3-319-99130-6_5","DOIUrl":"https://doi.org/10.1007/978-3-319-99130-6_5","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122259642","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}
引用次数: 11
Dependability Analysis of the AFDX Frame Management Design AFDX框架管理设计的可靠性分析
International Conference on Computer Safety, Reliability, and Security Pub Date : 2018-09-18 DOI: 10.1007/978-3-319-99130-6_13
Venesa Watson, Mahlet Bejiga
{"title":"Dependability Analysis of the AFDX Frame Management Design","authors":"Venesa Watson, Mahlet Bejiga","doi":"10.1007/978-3-319-99130-6_13","DOIUrl":"https://doi.org/10.1007/978-3-319-99130-6_13","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129547361","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 On-Line Error Detection and Mitigation for Deep Neural Network Accelerators 深度神经网络加速器的有效在线错误检测与缓解
International Conference on Computer Safety, Reliability, and Security Pub Date : 2018-09-18 DOI: 10.1007/978-3-319-99130-6_14
Christoph Schorn, A. Guntoro, G. Ascheid
{"title":"Efficient On-Line Error Detection and Mitigation for Deep Neural Network Accelerators","authors":"Christoph Schorn, A. Guntoro, G. Ascheid","doi":"10.1007/978-3-319-99130-6_14","DOIUrl":"https://doi.org/10.1007/978-3-319-99130-6_14","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"11 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126824528","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}
引用次数: 41
Safe and Secure Automotive Over-the-Air Updates 安全可靠的汽车无线更新
International Conference on Computer Safety, Reliability, and Security Pub Date : 2018-09-18 DOI: 10.1007/978-3-319-99130-6_12
T. Chowdhury, Eric Lesiuta, Kerianne Rikley, Chung-Wei Lin, Eunsuk Kang, Baekgyu Kim, Shin'ichi Shiraishi, M. Lawford, Alan Wassyng
{"title":"Safe and Secure Automotive Over-the-Air Updates","authors":"T. Chowdhury, Eric Lesiuta, Kerianne Rikley, Chung-Wei Lin, Eunsuk Kang, Baekgyu Kim, Shin'ichi Shiraishi, M. Lawford, Alan Wassyng","doi":"10.1007/978-3-319-99130-6_12","DOIUrl":"https://doi.org/10.1007/978-3-319-99130-6_12","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"22 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127260422","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}
引用次数: 19
Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving 利用SAT求解改进条件决策覆盖的最优测试套件生成
International Conference on Computer Safety, Reliability, and Security Pub Date : 2018-09-18 DOI: 10.1007/978-3-319-99130-6_9
Takashi Kitamura, Quentin Maissonneuve, Eun-Hye Choi, Cyrille Artho, A. Gargantini
{"title":"Optimal Test Suite Generation for Modified Condition Decision Coverage Using SAT Solving","authors":"Takashi Kitamura, Quentin Maissonneuve, Eun-Hye Choi, Cyrille Artho, A. Gargantini","doi":"10.1007/978-3-319-99130-6_9","DOIUrl":"https://doi.org/10.1007/978-3-319-99130-6_9","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"199 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123160580","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
Inter-device Sensor-Fusion for Action Authorization on Industrial Mobile Robots 面向工业移动机器人动作授权的设备间传感器融合
International Conference on Computer Safety, Reliability, and Security Pub Date : 2018-09-18 DOI: 10.1007/978-3-319-99130-6_19
Sarah Haas, Andrea Höller, Thomas Ulz, C. Steger
{"title":"Inter-device Sensor-Fusion for Action Authorization on Industrial Mobile Robots","authors":"Sarah Haas, Andrea Höller, Thomas Ulz, C. Steger","doi":"10.1007/978-3-319-99130-6_19","DOIUrl":"https://doi.org/10.1007/978-3-319-99130-6_19","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115683579","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
A Generic Method for a Bottom-Up ASIL Decomposition 自底向上ASIL分解的通用方法
International Conference on Computer Safety, Reliability, and Security Pub Date : 2018-09-18 DOI: 10.1007/978-3-319-99130-6_2
A. Frigerio, B. Vermeulen, K. Goossens
{"title":"A Generic Method for a Bottom-Up ASIL Decomposition","authors":"A. Frigerio, B. Vermeulen, K. Goossens","doi":"10.1007/978-3-319-99130-6_2","DOIUrl":"https://doi.org/10.1007/978-3-319-99130-6_2","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"35 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124210598","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}
引用次数: 4
Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving Functions 用于验证高度自动驾驶功能的测试和仿真案例的有效分割
International Conference on Computer Safety, Reliability, and Security Pub Date : 2018-09-18 DOI: 10.1007/978-3-319-99130-6_10
Eckard Böde, Matthias Büker, Ulrich Eberle, M. Fränzle, S. Gerwinn, Birte Kramer
{"title":"Efficient Splitting of Test and Simulation Cases for the Verification of Highly Automated Driving Functions","authors":"Eckard Böde, Matthias Büker, Ulrich Eberle, M. Fränzle, S. Gerwinn, Birte Kramer","doi":"10.1007/978-3-319-99130-6_10","DOIUrl":"https://doi.org/10.1007/978-3-319-99130-6_10","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-09-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125356264","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学术官方微信
小红书