Model-Driven Safety of Autonomous Vehicles-Reference-Cited by-同舟云学术

Model-Driven Safety of Autonomous Vehicles

Published:2022 Issue: Volume: Page:407-417
ISSN:
Container-title:Recent Trends and Advances in Model Based Systems Engineering
language:
Short-container-title:

Author:

Annable N.,Bayzat A.,Diskin Z.,Lawford M.,Paige R.,Wassyng A.

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-82083-1_34

Reference9 articles.

1. Diskin, Z., N. Annable, A. Wassyng, and M. Lawford. 2019. Assurance via Workflow+ Modelling and Conformance (an extended version). https://www.mcscert.ca/wp-content/uploads/2019/11/McSCert-Technical-Report-32.pdf.

2. Hawkins, R., I. Habli, D. Kolovos, R. Paige, and T. Kelly. 2015. Weaving an Assurance Case from Design: A Model-Based Approach. In IEEE 16th International Symposium on High Assurance Systems Engineering, vol. 2015, 110–117. Daytona Beach Shores, FL.

3. International Organization for Standardization. 2018. ISO 26262: Road Vehicles – Functional Safety. 2nd ed.

4. Kelly, T. 1998. Arguing safety – A systematic approach to managing safety cases. Ph.D. dissertation, Univ. York, York UK.

5. Rinehart, D., J.C. Knight, and J. Rowanhill. 2015. Current practices in constructing and evaluating assurance cases with applications to aviation. NASA Report NASA/CR–2015-218678.

Cited by 3 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Deriving Safety Assurance Case Argumentation from WF+ Models;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01

2. Lessons Learned Building a Tool for Workflow⁺;2023 ACM/IEEE 26th International Conference on Model Driven Engineering Languages and Systems (MODELS);2023-10-01

3. Position Paper: A Vision for the Dynamic Safety Assurance of ML-Enabled Autonomous Driving Systems;2023 IEEE 31st International Requirements Engineering Conference Workshops (REW);2023-09