Title

Towards Refinement and Generalization of Reliability Models based on Component States

Abstract

Complex system design often proceeds in an iterative fashion, starting from a high-level model and adding detail as the design matures. This process can be assisted by metamod-eling techniques that automate some model manipulations and check for or eliminate modeling mistakes. Our work focuses on metamodeling reliability models: we describe generalization and refinement operations for these models. Generalization relaxes constraints that may be infeasible or costly to evaluate; refinement adds further detail to produce a model that more closely describes the desired system. We define these operations in terms of operations on system constraints. To illustrate the proposed method, we relate these constraints to a common Markov chain-based reliability modeling formalism.

Meeting Name

2019 Resilience Week, RWS 2019 (2019: Nov. 4-7, San Antonio, TX)

Department(s)

Electrical and Computer Engineering

Keywords and Phrases

Iterative Methods; Markov Chains; Systems Analysis, Component State; High-Level Modeling; Iterative Fashion; Metamodeling; Refinement Operations; Reliability Model; System Constraints, Reliability

International Standard Book Number (ISBN)

978-172812135-2

Document Type

Article - Conference proceedings

Document Version

Citation

File Type

text

Language(s)

English

Rights

© 2019 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.

Publication Date

01 Nov 2019

Share

 
COinS