Towards Refinement and Generalization of Reliability Models based on Component States
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.
N. Jarus et al., "Towards Refinement and Generalization of Reliability Models based on Component States," Proceedings of the 2019 Resilience Week (2019, San Antonio, TX), pp. 153-159, Institute of Electrical and Electronics Engineers (IEEE), Nov 2019.
The definitive version is available at https://doi.org/10.1109/RWS47064.2019.8971824
2019 Resilience Week, RWS 2019 (2019: Nov. 4-7, San Antonio, TX)
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)
Article - Conference proceedings
© 2019 Institute of Electrical and Electronics Engineers (IEEE), All rights reserved.
01 Nov 2019