Facilitating construction of safety cases from formal models in Event-B-Reference-Cited by-同舟云学术

Facilitating construction of safety cases from formal models in Event-B

Published:2015-04 Issue: Volume:60 Page:51-76
ISSN:0950-5849
Container-title:Information and Software Technology
language:en
Short-container-title:Information and Software Technology

Author:

Prokhorova Yuliya,Laibinis Linas,Troubitsyna Elena

Publisher

Elsevier BV

Subject

Computer Science Applications,Information Systems,Software

Reference74 articles.

1. International Organization for Standardization, ISO 26262 Road Vehicles Functional Safety, 2011.

2. European Committee for Electrotechnical Standardization (CENELEC), EN 50128 Railway Applications – Communication, Signalling and Processing Systems – Software for Railway Control and Protection Systems, 2011.

3. Defence Standard 00-56, UK Ministry of Defence. 00-56 Safety Management Requirements for Defence Systems, 2007.

4. CAE, Claims, Arguments and Evidence (CAE), 2014. .

5. T. Kelly, Arguing Safety – A Systematic Approach to Managing Safety Cases, Doctoral thesis, University of York, 1998.

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

1. ACCESS: Assurance Case Centric Engineering of Safety–critical Systems;Journal of Systems and Software;2024-07

2. Systematic hierarchical analysis of requirements for critical systems;Innovations in Systems and Software Engineering;2024-03-12

3. Deriving Safety Assurance Case Argumentation from WF+ Models;2023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C);2023-10-01

4. Formal model-based argument patterns for security cases;Proceedings of the 28th European Conference on Pattern Languages of Programs;2023-07-05

5. CyberGSN: A Semi-formal Language for Specifying Safety Cases;2021 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W);2021-06