Reliability study of complex physical systems using SysML

P David, V Idasiak, F Kratz - Reliability Engineering & System Safety, 2010 - Elsevier
The development of safety critical systems becomes even harder since the complexity of
these systems grows continuously. Moreover, this kind of process involves the use of …

A comparative study into architecture-based safety evaluation methodologies using AADL's error annex and failure propagation models

L Grunske, J Han - 2008 11th IEEE High Assurance Systems …, 2008 - ieeexplore.ieee.org
Early quality evaluation and support for decisions that affect quality characteristics are
among the key incentives to formally specify the architecture of a software intensive system …

Hardware-in-the-loop-based real-time fault injection framework for dynamic behavior analysis of automotive software systems

M Abboush, D Bamal, C Knieke, A Rausch - Sensors, 2022 - mdpi.com
A well-known challenge in the development of safety-critical systems in vehicles today is that
reliability and safety assessment should be rigorously addressed and monitored. As a matter …

Identifying and managing failures in stone processing industry using cost-based FMEA

M Jahangoshai Rezaee, A Salimi, S Yousefi - The International Journal of …, 2017 - Springer
The quality of manufactured goods is one of the most important prerequisites that ensure
industrial development of the countries, persistence, and the competitiveness of businesses …

A literature review on fuzzy FMEA and an application on infant car seat design using spherical fuzzy sets

E Haktanir, C Kahraman - … Oriented Product Design: Intelligent and Fuzzy …, 2020 - Springer
Failure mode and effects analysis (FMEA) is a structured approach to determine the
potential failures that may arise during the implementation of a process. Because of the …

Dynamic decision sequencing method and apparatus for optimizing a diagnostic test plan

OM Underdal, HM Gilbert, O Portyanko… - US Patent …, 2013 - Google Patents
US8423226B2 - Dynamic decision sequencing method and apparatus for optimizing a
diagnostic test plan - Google Patents US8423226B2 - Dynamic decision sequencing …

Supporting semi-automatic co-evolution of architecture and fault tree models

S Getir, L Grunske, A van Hoorn, T Kehrer… - Journal of Systems and …, 2018 - Elsevier
During the whole life-cycle of software-intensive systems in safety-critical domains, system
models must consistently co-evolve with quality evaluation models like fault trees. However …

An automated failure mode and effect analysis based on high-level design specification with behavior trees

L Grunske, P Lindsay, N Yatapanage… - Integrated Formal Methods …, 2005 - Springer
Formal methods have significant benefits for developing safety critical systems, in that they
allow for correctness proofs, model checking safety and liveness properties, deadlock …

Application of failure mode effect and criticality analysis to industrial handling equipment

R Rouabhia-Essalhi, EH Boukrouh… - The International Journal of …, 2022 - Springer
This work is part of applied research. It aims to apply one of the most commonly used
methods in the industries: failure mode, effects, and criticality analysis (FMECA). FMECA is a …

Test requirement list for diagnostic tests

OM Underdal, HM Gilbert, O Portyanko… - US Patent …, 2012 - Google Patents
US8239094B2 - Test requirement list for diagnostic tests - Google Patents US8239094B2 -
Test requirement list for diagnostic tests - Google Patents Test requirement list for diagnostic …