Safety and Assurance Cases: Past, Present and Possible Future – an Adelard Perspective-Reference-Cited by-同舟云学术

Safety and Assurance Cases: Past, Present and Possible Future – an Adelard Perspective

Published:2009-12-10 Issue: Volume: Page:51-67
ISSN:
Container-title:Making Systems Safer
language:
Short-container-title:

Author:

Bloomfield Robin,Bishop Peter

Publisher

Springer London

Link

http://link.springer.com/content/pdf/10.1007/978-1-84996-086-1_4.pdf

Reference53 articles.

1. ACARD(1986) Software: a vital key to UK competitiveness. Advisory Council on Applied Research and Development. HMSO

2. ACSNI (1997) The use of computers in safety-critical applications. Final Report of the Study Group on the Safety of Operational Computer Systems (SOCS) constituted by the Advisory Committee on the Safety of Nuclear Installations. HSE Books, London

3. Bishop PG (ed) (1990) Dependability of critical computer systems 3. Elsevier Applied Science

4. Bishop PG, Bloomfield RE (1995) The SHIP safety case. In: Rabe G (ed) Proc SafeComp 95, 14th IFAC Conf on Computer Safety, Reliability and Security, Belgirate, Italy

5. Bishop PG, Bloomfield RE (1998) A methodology for safety case development. In: Redmill F, Anderson T (eds) Industrial perspectives of safety-critical systems. Springer-Verlag

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

1. Formal Verification for Safe AI-based Flight Planning for UAVs^*;2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W);2023-06

2. Reliability Assessment and Safety Arguments for Machine Learning Components in System Assurance;ACM Transactions on Embedded Computing Systems;2023-04-20

3. Redesigning Medical Device Assurance: Separating Technological and Clinical Assurance Cases;Lecture Notes in Computer Science;2023

4. Runtime Model-Based Assurance of Open and Adaptive Cyber-Physical Systems;Advanced Information Networking and Applications;2023

5. Do We Use the Right Elements for Assurance Case Development?;Lecture Notes in Networks and Systems;2022-12-13