Optimized Selection of Reliable and Cost-Effective Safety-Critical System Architectures

Nuzzo, Pierluigi; Bajaj, Nikunj; Masin, Michael; Kirov, Dmitrii; Sangiovanni-Vincentelli, A.

doi:10.1109/tcad.2019.2963255

Cited by 22 publications

(1 citation statement)

References 31 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…[1][2][3] Indeed, for safety-critical systems, avoiding catastrophic failures is more crucial than successfully finishing the required mission because of safety or cost related reasons. 4,5 In such cases, a mission can be terminated when facing high failure risk to enhance system survivability, that is, the probability of system survival from catastrophic failures. 6 In order to improve the safety of the system, proper maintenance can be carried out.…”

Section: Introductionmentioning

confidence: 99%

Mission abort strategy for generalized k-out-of-n: F systems considering competing failure criteria

Cao

Wang

2023

Proceedings of the Institution of Mechanical Engineers, Part O:

View full text Add to dashboard Cite

For safety-critical systems such as submarines and solar lighting system, mission abort is an effective way to enhance system survivability when a certain malfunction condition is met. This paper contributes by presenting a bivariate mission abort policy for generalized k-out-of- n: F systems that fail if there are at least m non-overlapping kc consecutive failed components or at least kt failed components. When the number of non-overlapping kc consecutive failed components reaches a preset level or the total number of failed components exceeds a predetermined value, the mission is aborted, and then a rescue procedure is initiated. Mission reliability and system survivability are derived by employing a two-step finite Markov chain imbedding approach. The optimization models are formulated with the purpose of maximizing the mission reliability, and minimizing the expected total cost of mission failure and system failure, respectively. A numerical example based on a solar lighting system is presented to illustrate the applicability of the proposed policies.

show abstract