道路车辆的安全保障论证：行业视角
软件工程
2020-04-01 v1
摘要
保障论证是常用于对产品或服务的安全性进行推理的结构化论证。目前，业界正推动将保障论证也用于网络安全领域，尤其是在汽车等安全攸关领域。尽管业界面临定义构建安全保障论证的可靠方法论的挑战，但现有技术水平尚不成熟。因此，我们对汽车行业背景下安全保障论证必须满足的（外部）约束和（内部）需求进行了深入调查。此项调查是在瑞典两家大型汽车公司的背景下进行的。最终结果是一套建议，汽车公司可应用这些建议来定义安全保障论证，使其（i）与现有及即将出台的标准和法规所施加的约束保持一致，并（ii）与内部产品开发流程和组织实践相协调。我们预计该结果对医疗、交通运输等其他安全攸关领域的产品公司也具有参考价值。
引用
@article{arxiv.2003.14106,
title = {Security Assurance Cases for Road Vehicles: an Industry Perspective},
author = {Mazen Mohamad and Alexander Åström and Örjan Askerdal and Jörgen Borg and Riccardo Scandariato},
journal= {arXiv preprint arXiv:2003.14106},
year = {2020}
}