Automating Pattern Selection for Assurance Case Development for Cyber-Physical Systems-Reference-Cited by-同舟云学术

Automating Pattern Selection for Assurance Case Development for Cyber-Physical Systems

Published:2022 Issue: Volume: Page:82-96
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Ramakrishna Shreyas,Jin Hyunjee,Dubey Abhishek,Ramamurthy Arun

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-14835-4_6

Reference24 articles.

1. Bishop, P., Bloomfield, R.: A methodology for safety case development. In: Safety and Reliability, vol. 20, pp. 34–42. Taylor & Francis (2000)

2. Chindamaikul, K., Toshinori, T., Port, D., Hajimu, I.: Automatic approach to prepare information for constructing an assurance case. In: International Conference of Product Focused Software Development and Process Improvement (2014)

3. Del Fabro, M.D., et al.: Applying generic model management to data mapping. In: BDA (2005)

4. Lecture Notes in Computer Science;E Denney,2013

5. Denney, E., Pai, G.: Automating the assembly of aviation safety cases. IEEE Trans. Reliab. 63(4), 830–849 (2014)

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

1. Prompting GPT –4 to support automatic safety case generation;Expert Systems with Applications;2024-12

2. A PRISMA-driven systematic mapping study on system assurance weakeners;Information and Software Technology;2024-11

3. Exploring the Capabilities of Large Language Models for the Generation of Safety Cases: the Case of GPT-4;2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW);2024-06-24

4. Development of the System Assurance Reference Model for Generating Modular Assurance Cases;2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing (PRDC);2023-10-24