A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines-Reference-Cited by-同舟云学术

A Safety Case Approach to Assuring Configurable Architectures of Safety-Critical Product Lines

Published:2010 Issue: Volume: Page:142-160
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Habli Ibrahim,Kelly Tim

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-13556-9_9.pdf

Reference23 articles.

1. Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley, Reading (2001)

2. Weiss, D.M., Robert, C.T.: Product-Line Engineering: A Family-Based Software Development Process. Addison-Wesley Professional, Reading (1999)

3. Kelly, T.P.: Arguing Safety – A Systematic Approach to Safety Case Management. DPhil Thesis, Department of Computer Science, University of York, UK (1998)

4. Lecture Notes in Computer Science;I.J. Bate,2002

5. Industrial Avionics Working Group (IAWG): Modular Software Safety Case Process – Part A: Process Definition (October 2007), http://www.assconline.co.uk/

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

1. Systematic review on contract-based safety assurance and guidance for future research;Journal of Systems Architecture;2024-01

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

3. Constructing Security Cases Based on Formal Verification of Security Requirements in Alloy;Computer Safety, Reliability, and Security. SAFECOMP 2023 Workshops;2023

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

5. Product-line assurance cases from contract-based design;Journal of Systems and Software;2021-06