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 96 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. From Fault Tree Analysis to Runtime Model-Based Assurance Cases;Lecture Notes on Data Engineering and Communications Technologies;2024

2. Continuous Development and Safety Assurance Pipeline for ML-Based Systems in the Railway Domain;Lecture Notes in Computer Science;2024

3. A method for requirements elicitation and consensus-building for ideas in the vehicle system concept design using GSN;2023 30th Asia-Pacific Software Engineering Conference (APSEC);2023-12-04

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

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