Author:
Oh Chanwook,Naik Nikhil,Daw Zamira,Wang Timothy E.,Nuzzo Pierluigi
Publisher
Springer International Publishing
Reference41 articles.
1. ISO 26262:2018: Road vehicles - Functional safety. International Organization for Standardization, Standard (2018)
2. DO-178C: Software considerations in airborne systems and equipment certification. RTCA Inc., Standard (2011)
3. Brunner, M., Huber, M., et al.: Towards an integrated model for safety and security requirements of cyber-physical systems. In: International Conference on Software Quality, Reliability and Security Companion (QRS-C) (2017)
4. Lee, J., Davari, H., et al.: Industrial artificial intelligence for industry 4.0-based manufacturing systems. Manuf. Lett. 18, 20–23 (2018)
5. Bloomfield, R., Bishop, P.: Safety and assurance cases: past, present and possible future-an Adelard perspective. In: Dale, C., Anderson, T. (eds.) Making Systems Safer, pp. 51–67. Springer, London (2010). https://doi.org/10.1007/978-1-84996-086-1_4
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Computer-Aided Evaluation for Argument-Based Certification;2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC);2023-10-01
2. AACE: Automated Assurance Case Environment for Aerospace Certification;2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC);2023-10-01
3. Leveraging Compositional Methods for Modeling and Verification of an Autonomous Taxi System;2023 IEEE International Conference on Assured Autonomy (ICAA);2023-06
4. Computer-Aided Generation of Assurance Cases;Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops;2023
5. Aviation Certification Powered by the Semantic Web Stack;The Semantic Web – ISWC 2023;2023