A Methodology for Safety Case Development-Reference-Cited by-同舟云学术

A Methodology for Safety Case Development

Published:1998 Issue: Volume: Page:194-203
ISSN:
Container-title:Industrial Perspectives of Safety-critical Systems
language:
Short-container-title:

Author:

Bishop Peter,Bloomfield Robin

Publisher

Springer London

Link

http://link.springer.com/content/pdf/10.1007/978-1-4471-1534-2_14.pdf

Reference3 articles.

1. The SHIP project (ref. EV5V 103) was carried out with financial support from the CEC in the framework of the Environment Programme, sub-theme: Major Industrial Hazards.

2. The QUARC2 project was funded by the UK (Nuclear) Industrial Management Committee (IMC) Nuclear Safety Research Programme under Scottish Nuclear contract PP/74851/HN/MB with contributions from British Nuclear Fuels pic, Nuclear Electric Ltd, Scottish Nuclear Ltd and Magnox Electric plc.

3. Adelard Linkbase Tool Demonstration, http://www.adelard.co.uk/

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

1. Automated Model-Based Assurance Case Management Using Constrained Natural Language;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2024-01

2. A Case Study of Continuous Assurance Argument for Level 4 Automated Driving;Lecture Notes in Computer Science;2024

3. Leveraging Traceability to Integrate Safety Analysis Artifacts into the Software Development Process;2023 IEEE 31st International Requirements Engineering Conference Workshops (REW);2023-09

4. Verifying Collision Risk Estimation using Autonomous Driving Scenarios Derived from a Formal Model;Journal of Intelligent & Robotic Systems;2023-04

5. Application of Systems Usability Case in an Integrated System Validation of Control Room;Nuclear Technology;2022-09-01