Generating Assurance Cases Using Workflow$$^+$$ Models-Reference-Cited by-同舟云学术

Generating Assurance Cases Using Workflow$$^+$$ Models

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

Author:

Annable Nicholas^ORCID,Chiang Thomas^ORCID,Lawford Mark^ORCID,Paige Richard F.^ORCID,Wassyng Alan^ORCID

Publisher

Springer International Publishing

Link

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

Reference21 articles.

1. Annable, N.: A Model-Based Approach to Formal Assurance Cases. Master’s thesis, McSCert, Department of Computing and Software, McMaster University (2020)

2. Annable, N., Bayzat, A., Diskin, Z., Lawford, M., Paige, R., Wassyng, A.: Model-driven safety of autonomous vehicles. In: proceedings of CSER (2020)

3. Chiang, T.: Creating An Editor For The Implementation of WorkFlow+: A Framework for Developing Assurance Cases. Master’s thesis, McSCert, Department of Computing and Software, McMaster University (2021)

4. Denney, E., Pai, G.: Tool support for assurance case development. Autom. Softw. Eng. 25(3), 435–499 (2018)

5. Diskin, Z., Annable, N., Wassyng, A., Lawford, M.: Assurance via workflow+ modelling and conformance. CoRR abs/1912.09912 (2019)

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

1. Automated Generation of Modular Assurance Cases with the System Assurance Reference Model;Formal Aspects of Computing;2024-08

2. Comprehensive Change Impact Analysis Applied to Advanced Automotive Systems;Lecture Notes in Computer Science;2024

3. 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

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

5. Assurance Case Development as Data: A Manifesto;2023 IEEE/ACM 45th International Conference on Software Engineering: New Ideas and Emerging Results (ICSE-NIER);2023-05