ATTEST: Automating the review and update of assurance case arguments-Reference-Cited by-同舟云学术

ATTEST: Automating the review and update of assurance case arguments

Published:2023-01 Issue: Volume:134 Page:102781
ISSN:1383-7621
Container-title:Journal of Systems Architecture
language:en
Short-container-title:Journal of Systems Architecture

Author:

Muram Faiz Ul^ORCID,Javed Muhammad Atif

Funder

Stiftelsen för Strategisk Forskning

Publisher

Elsevier BV

Subject

Hardware and Architecture,Software

Reference40 articles.

1. ISO 26262: 2018-road vehicles—functional safety. International standard;International Organization for Standardization (ISO),2018

2. EN50129: Railway applications - Communication, signalling and processing systems - Safety related electronic systems for signalling;European Committee for Electrotechnical Standardization (CENELEC),2018

3. DO-178C: Software Considerations in Airborne Systems and Equipment Certification;Radio Technical Commission for Aeronautics (RTCA),2011

4. Preventing omission of key evidence fallacy in process-based argumentations;Muram,2018

5. Towards dynamic safety assurance for industry 4.0;Javed;J. Syst. Archit.,2021

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

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

2. Assuring the safety of rechargeable energy storage systems in electric vehicles;Journal of Systems Architecture;2024-09

3. Using GPT-4 Turbo to Automatically Identify Defeaters in Assurance Cases;2024 IEEE 32nd International Requirements Engineering Conference Workshops (REW);2024-06-24

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

5. Learning to Verify and Assure Cyber-Physical Systems;AIAA SCITECH 2024 Forum;2024-01-04