首页    期刊浏览 2024年09月19日 星期四
登录注册

文章基本信息

  • 标题:Argument Patterns for Multi-Concern Assurance of Connected Automated Driving Systems
  • 本地全文:下载
  • 作者:Fredrik Warg ; Martin Skoglund
  • 期刊名称:OASIcs : OpenAccess Series in Informatics
  • 电子版ISSN:2190-6807
  • 出版年度:2019
  • 卷号:73
  • 页码:1-13
  • DOI:10.4230/OASIcs.CERTS.2019.3
  • 出版社:Schloss Dagstuhl -- Leibniz-Zentrum fuer Informatik
  • 摘要:Showing that dependable embedded systems fulfil vital quality attributes, e.g. by conforming to relevant standards, can be challenging. For emerging and increasingly complex functions, such as connected automated driving (CAD), there is also a need to ensure that attributes such as safety, cybersecurity, and availability are fulfilled simultaneously. Furthermore, such systems are often designed using existing parts, including 3rd party components, which must be included in the quality assurance. This paper discusses how to structure the argument at the core of an assurance case taking these considerations into account, and proposes patterns to aid in this task. The patterns are applied in a case study with an example automotive function. While the aim has primarily been safety and security assurance of CAD, their generic nature make the patterns relevant for multi-concern assurance in general.
  • 关键词:Multi-concern assurance; connected automated driving; dependability; functional safety; cybersecurity; cyber-physical systems; critical embedded syst
国家哲学社会科学文献中心版权所有