Formalism in Safety Cases-Reference-Cited by-同舟云学术

Formalism in Safety Cases

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

Author:

Rushby John

Publisher

Springer London

Link

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

Reference25 articles.

1. AAIB (2007) Report on the incident to Airbus A340-642, registration G-VATL en-route from Hong Kong to London Heathrow on 8 February 2005. UK Air Investigations Branch. http://www.aaib.gov.uk/publications/formal_reports/4_2007_g_vatl.cfm . Accessed 19 October 2009

2. ATSB (2007) In-flight upset event, 240 km north-west of Perth, WA, Boeing Company 777200, 9 M-MRG, 1 August 2005. Australian Transport Safety Bureau. Reference number Mar2007/DOTARS 50165. http://www.atsb.gov.au/publications/investigation_reports/2005/AAIR/aair200503722.aspx . Accessed 19 October 2009

3. 4th IET International Conference on System Safety;N Basir,2009

4. Bishop P, Bloomfield R, Guerra S (2004) The future of goal-based assurance cases. In DSN Workshop on Assurance Cases: Best Practices, Possible Obstacles, and Future Opportunities, Florence, Italy

5. International Conference on Dependable Systems and Networks, Estoril;J Black,2008

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

1. Assuring AI safety: fallible knowledge and the Gricean maxims;AI and Ethics;2024-05-15

2. AACE: Automated Assurance Case Environment for Aerospace Certification;2023 IEEE/AIAA 42nd Digital Avionics Systems Conference (DASC);2023-10-01

3. Trustworthy agent-based simulation: the case for domain-specific modelling languages;Software and Systems Modeling;2023-02-08

4. Computer-Aided Generation of Assurance Cases;Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops;2023

5. Generating Assurance Cases Using Workflow$$^+$$ Models;Lecture Notes in Computer Science;2022