A Formal Basis for Safety Case Patterns-Reference-Cited by-同舟云学术

A Formal Basis for Safety Case Patterns

Published:2013 Issue: Volume: Page:21-32
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Denney Ewen,Pai Ganesh

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-40793-2_3

Reference15 articles.

1. Alexander, R., Kelly, T., Kurd, Z., McDermid, J.: Safety Cases for Advanced Control Software: Safety Case Patterns. Final Report, NASA Contract FA8655-07-1-3025, Univ. of York (October 2007)

2. Denney, E., Habli, I., Pai, G.: Perspectives on Software Safety Case Development for Unmanned Aircraft. In: Proc. 42nd IEEE/IFIP Intl. Conf. Dep. Sys. and Networks (June 2012)

3. Lecture Notes in Computer Science;E. Denney,2012

4. Denney, E., Pai, G., Pohl, J.: Automating the generation of heterogeneous aviation safety cases. Tech. Rep. NASA/CR-2011-215983, NASA Ames Research Center (August 2011)

5. Lecture Notes in Computer Science;E. Denney,2012

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

1. Enabling Theory-Based Continuous Assurance: A Coherent Approach with Semantics and Automated Synthesis;Lecture Notes in Computer Science;2024

2. Development of the System Assurance Reference Model for Generating Modular Assurance Cases;2023 IEEE 28th Pacific Rim International Symposium on Dependable Computing (PRDC);2023-10-24

3. Configuring mission-specific behavior in a product line of collaborating Small Unmanned Aerial Systems;Journal of Systems and Software;2023-03

4. Deriving model-based safety and security assurance cases from design rationale of countermeasure patterns;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings;2022-10-23

5. Automating Pattern Selection for Assurance Case Development for Cyber-Physical Systems;Lecture Notes in Computer Science;2022