Variability management in safety-critical systems design and dependability analysis-Reference-Cited by-同舟云学术

Variability management in safety-critical systems design and dependability analysis

Published:2019-08 Issue:8 Volume:31 Page:e2202
ISSN:2047-7473
Container-title:Journal of Software: Evolution and Process
language:en
Short-container-title:J Softw Evol Proc

Author:

de Oliveira André Luiz¹²^ORCID,Braga Rosana²^ORCID,Masiero Paulo²^ORCID,Parker David³^ORCID,Papadopoulos Yiannis³^ORCID,Habli Ibrahim⁴^ORCID,Kelly Tim⁴^ORCID

Affiliation:

1. Department of Computer Science; Federal University of Juiz de Fora; Juiz de Fora Brazil

2. Institute of Mathematics and Computer Science; University of Sao Paulo; Sao Carlos Brazil

3. Faculty of Computer Science; University of Hull; Hull UK

4. Department of Computer Science; University of York; York UK

Funder

Conselho Nacional de Desenvolvimento Científico e Tecnológico

CAPES Brazilian research agencies

Post-doctoral program in Computer Science from the University of Sao Paulo

Publisher

Wiley

Subject

Software

Link

http://onlinelibrary.wiley.com/wol1/doi/10.1002/smr.2202/fullpdf

Reference52 articles.

1. Avizienis A Laprie JC Randell B Fundamental Concepts Of Dependability 2001

2. ISO ISO 26262: Road Vehicles Functional Safety 2011

3. RTCA DO-178C Software Considerations in Airborne Systems and Equipment Certification 2012

4. EUROCAE ARP4754A - guidelines for Development Of Civil Aircraft and Systems 2010

5. Habli I Kelly T Hopkins I Challenges of establishing a software product line for an aerospace engine monitoring system 2007 Japan 193 202

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

1. Systematic application of traffic‐signal‐control system architecture design and selection using model‐based systems engineering and Pareto frontier analysis;Systems Engineering;2024-04-24

2. Integration frameworks and intelligent research in dynamic fault tree: A comprehensive review and future perspectives;Quality and Reliability Engineering International;2023-06

3. Modeling the Variability of System Safety Analysis Using State-Machine Diagrams;Model-Based Safety and Assessment;2022

4. SysML-based compositional verification and safety analysis for safety-critical cyber-physical systems;Connection Science;2021-12-26

5. Safety, security, and configurable software systems;Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume A;2021-09-06