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

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

筛选
英文 中文
Assurance Benefits of ISO 26262 compliant Microcontrollers for safety-critical Avionics 符合ISO 26262标准的微控制器对安全关键型航空电子设备的保证优势
International Conference on Computer Safety, Reliability, and Security Pub Date : 2018-03-26 DOI: 10.1007/978-3-319-99130-6_3
A. Schwierz, H. Forsberg
{"title":"Assurance Benefits of ISO 26262 compliant Microcontrollers for safety-critical Avionics","authors":"A. Schwierz, H. Forsberg","doi":"10.1007/978-3-319-99130-6_3","DOIUrl":"https://doi.org/10.1007/978-3-319-99130-6_3","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2018-03-26","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115420819","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}
引用次数: 1
Modeling the Safety Architecture of UAS Flight Operations 无人机飞行操作的安全体系结构建模
International Conference on Computer Safety, Reliability, and Security Pub Date : 2017-09-12 DOI: 10.1007/978-3-319-66266-4_11
E. Denney, Ganesh J. Pai, I. Whiteside
{"title":"Modeling the Safety Architecture of UAS Flight Operations","authors":"E. Denney, Ganesh J. Pai, I. Whiteside","doi":"10.1007/978-3-319-66266-4_11","DOIUrl":"https://doi.org/10.1007/978-3-319-66266-4_11","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"81 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114512973","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}
引用次数: 17
Model-Based Safety Analysis for Vehicle Guidance Systems 基于模型的车辆导航系统安全性分析
International Conference on Computer Safety, Reliability, and Security Pub Date : 2017-09-12 DOI: 10.1007/978-3-319-66266-4_1
Majdi Ghadhab, Sebastian Junges, J. Katoen, M. Kuntz, Matthias Volk
{"title":"Model-Based Safety Analysis for Vehicle Guidance Systems","authors":"Majdi Ghadhab, Sebastian Junges, J. Katoen, M. Kuntz, Matthias Volk","doi":"10.1007/978-3-319-66266-4_1","DOIUrl":"https://doi.org/10.1007/978-3-319-66266-4_1","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"2 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122655862","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}
引用次数: 14
Generic Management of Availability in Fail-Operational Automotive Systems 故障运行汽车系统中可用性的通用管理
International Conference on Computer Safety, Reliability, and Security Pub Date : 2017-09-12 DOI: 10.1007/978-3-319-66266-4_12
Philipp Schleiss, Christian Drabek, Gereon Weiss, B. Bauer
{"title":"Generic Management of Availability in Fail-Operational Automotive Systems","authors":"Philipp Schleiss, Christian Drabek, Gereon Weiss, B. Bauer","doi":"10.1007/978-3-319-66266-4_12","DOIUrl":"https://doi.org/10.1007/978-3-319-66266-4_12","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"33 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132120040","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 a Sensor Failure-Dependent Performance Adaptation Using the Validity Concept 基于有效性概念的传感器故障相关性能自适应研究
International Conference on Computer Safety, Reliability, and Security Pub Date : 2017-09-12 DOI: 10.1007/978-3-319-66266-4_18
J. Höbel, G. Jäger, S. Zug, A. Wendemuth
{"title":"Towards a Sensor Failure-Dependent Performance Adaptation Using the Validity Concept","authors":"J. Höbel, G. Jäger, S. Zug, A. Wendemuth","doi":"10.1007/978-3-319-66266-4_18","DOIUrl":"https://doi.org/10.1007/978-3-319-66266-4_18","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128777520","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
Classification Tree Method with Parameter Shielding 具有参数屏蔽的分类树方法
International Conference on Computer Safety, Reliability, and Security Pub Date : 2017-09-12 DOI: 10.1007/978-3-319-66266-4_15
Takashi Kitamura, A. Yamada, G. Hatayama, Shin Sakuragi, Eun-Hye Choi, Cyrille Artho
{"title":"Classification Tree Method with Parameter Shielding","authors":"Takashi Kitamura, A. Yamada, G. Hatayama, Shin Sakuragi, Eun-Hye Choi, Cyrille Artho","doi":"10.1007/978-3-319-66266-4_15","DOIUrl":"https://doi.org/10.1007/978-3-319-66266-4_15","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128746216","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}
引用次数: 1
Arguing on Software-Level Verification Techniques Appropriateness 论软件级验证技术的适当性
International Conference on Computer Safety, Reliability, and Security Pub Date : 2017-09-12 DOI: 10.1007/978-3-319-66266-4_3
Carmen Cârlan, B. Gallina, Severin Kacianka, R. Breu
{"title":"Arguing on Software-Level Verification Techniques Appropriateness","authors":"Carmen Cârlan, B. Gallina, Severin Kacianka, R. Breu","doi":"10.1007/978-3-319-66266-4_3","DOIUrl":"https://doi.org/10.1007/978-3-319-66266-4_3","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"1 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129982602","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
A Conceptual Safety Supervisor Definition and Evaluation Framework for Autonomous Systems 自主系统安全监督员概念定义与评价框架
International Conference on Computer Safety, Reliability, and Security Pub Date : 2017-09-12 DOI: 10.1007/978-3-319-66266-4_9
Patrik Feth, D. Schneider, R. Adler
{"title":"A Conceptual Safety Supervisor Definition and Evaluation Framework for Autonomous Systems","authors":"Patrik Feth, D. Schneider, R. Adler","doi":"10.1007/978-3-319-66266-4_9","DOIUrl":"https://doi.org/10.1007/978-3-319-66266-4_9","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"84 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133603927","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
Systematic Pattern Approach for Safety and Security Co-engineering in the Automotive Domain 汽车领域安全协同工程的系统模式方法
International Conference on Computer Safety, Reliability, and Security Pub Date : 2017-09-12 DOI: 10.1007/978-3-319-66266-4_22
Tiago Amorim, H. Martin, Zhendong Ma, Christoph Schmittner, D. Schneider, Georg Macher, B. Winkler, M. Krammer, Christian Kreiner
{"title":"Systematic Pattern Approach for Safety and Security Co-engineering in the Automotive Domain","authors":"Tiago Amorim, H. Martin, Zhendong Ma, Christoph Schmittner, D. Schneider, Georg Macher, B. Winkler, M. Krammer, Christian Kreiner","doi":"10.1007/978-3-319-66266-4_22","DOIUrl":"https://doi.org/10.1007/978-3-319-66266-4_22","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133027634","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}
引用次数: 32
Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach 汽车软件系统安全案例影响评估:一种改进的基于模型的方法
International Conference on Computer Safety, Reliability, and Security Pub Date : 2017-09-12 DOI: 10.1007/978-3-319-66266-4_5
Sahar Kokaly, Rick Salay, M. Chechik, M. Lawford, T. Maibaum
{"title":"Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach","authors":"Sahar Kokaly, Rick Salay, M. Chechik, M. Lawford, T. Maibaum","doi":"10.1007/978-3-319-66266-4_5","DOIUrl":"https://doi.org/10.1007/978-3-319-66266-4_5","url":null,"abstract":"","PeriodicalId":402659,"journal":{"name":"International Conference on Computer Safety, Reliability, and Security","volume":"36 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2017-09-12","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131679257","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
首页 上一页 下一页 尾页
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学术官方微信
小红书