Variability management in safety‐critical systems design and dependability analysis

Oliveira, André Luíz de; Braga, Rosana Teresinha Vaccare; Masiero, Paulo César; Parker, David; Papadopoulos, Yiannis; Habli, Ibrahim; Kelly, Tim

doi:10.1002/smr.2202

Cited by 6 publications

(2 citation statements)

References 34 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It supports RBD, PN, CTMC and energy flow (EFM) models. Oliveira et al 103 . presented the novel DEPendable Software Product Line Engineering (DEPendable‐SPLE) approach, which extends traditional software product lines (SPL) processes to support the reuse of safety assets.…”

Section: Resultsmentioning

confidence: 99%

“…It supports RBD, PN, CTMC and energy flow (EFM) models. Oliveira et al 103 presented the novel DEPendable Software Product Line Engineering (DEPendable-SPLE) approach, which extends traditional software product lines (SPL) processes to support the reuse of safety assets. The advantage of applying this method is the reduction of effort to perform product safety analysis, and had been tested in aerospace, automotive and other fields.…”

Section: Intelligent Evaluation Of Dftmentioning

confidence: 99%

See 1 more Smart Citation

Integration frameworks and intelligent research in dynamic fault tree: A comprehensive review and future perspectives

Zhu

Jiang

et al. 2023

Quality & Reliability Eng

View full text Add to dashboard Cite

Dynamic fault tree (DFT) is designed to conduct risk assessment studies of complex systems. With the development of intelligent and network technology, risk assessment technology faces a leap forward development. The requirements for improving system safety are being recognized. On the one hand, research on DFT is exploring the integration with different methods. On the other hand, DFT method becomes more intelligent. The purpose of this paper is to identify the feasibility and effectiveness of different integration frameworks. To achieve this goal, a suitable review process is proposed. This paper comprehensively reviews and proposes future perspective the research status of intellectualization in DFT, and focuses on the different types of integration framework of DFT, modeling technology and algorithm optimization, and the support of computer‐aided analysis. Theoretical contributions, frameworks features, and the development process of computer intelligent analysis in the scientific and technical literature are carefully reviewed. Finally, the challenges in future research are summarized to promote the development of intelligent evaluation.

show abstract

Section: Resultsmentioning

confidence: 99%

Section: Intelligent Evaluation Of Dftmentioning

confidence: 99%

Integration frameworks and intelligent research in dynamic fault tree: A comprehensive review and future perspectives

Zhu

Jiang

et al. 2023

Quality & Reliability Eng

View full text Add to dashboard Cite

show abstract

Systematic application of traffic‐signal‐control system architecture design and selection using model‐based systems engineering and Pareto frontier analysis

Balaci,

Suh,

Hwang

2024

Systems Engineering

View full text Add to dashboard Cite

The global population rise has increased vehicles on roads, complicating traffic management. Inefficient traffic control systems cause significant economic losses owing to commuter time wastage, high energy consumption, and greenhouse gas emissions. Traffic signal control systems (TSCSs) are vital in traffic management, impacting traffic flow significantly; therefore, studies are exploring new optimization approaches that adapt to changing traffic conditions. However, they concentrate on either new technology infusion or on control algorithm optimization, and do not holistically address the architectural configuration of the system. In this study, we presented a unique case study by applying an existing systematic framework to the TSCS system architecture design and selection process. This application demonstrates that TSCS enhancement is a multifaceted process that requires a comprehensive assessment of not only technical aspects, such as the control algorithm, but also factors including system architecture, security, and data integrity. Because of the increasing reliance of TSCSs on data exchange between their various subsystems, this case study also adopted a cybersecurity perspective of the system and introduced cyber resiliency as a crucial metric for evaluating TSCS architecture performance. Furthermore, through the applied framework, an optimal TSCS architectural configuration with executable options was identified by generating multiple TSCS architectural configurations using decision option patterns and identifying those on the Pareto frontier to understand the architectural decision‐making process. Traffic engineers and transportation planners can use this case study application as a guide to optimize TSCSs employed in existing transportation networks and design more efficient transportation networks for future urban development.

show abstract

Modeling the Variability of System Safety Analysis Using State-Machine Diagrams

Bressan

Oliveira²,

Campos³

et al. 2022

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Variability management in safety‐critical systems design and dependability analysis

Cited by 6 publications

References 34 publications

Integration frameworks and intelligent research in dynamic fault tree: A comprehensive review and future perspectives

Integration frameworks and intelligent research in dynamic fault tree: A comprehensive review and future perspectives

Systematic application of traffic‐signal‐control system architecture design and selection using model‐based systems engineering and Pareto frontier analysis

Modeling the Variability of System Safety Analysis Using State-Machine Diagrams

Contact Info

Product

Resources

About