Skip to Main content Skip to Navigation
Theses

Operational dependability model generation

Abstract : Assessing complex industrial systems to be on dependable service is what the engineers and researchers have long been aiming for. Recent advanced researches in the Model-based safety assessment, especially the Structre Analysis and Component Modeling, provide the practicable methodologies to assess the dependability, yet a lack of the framework which is able to assess both the structure and the various behaviors of the components in one uniformed model retains them to achieve the excellent assessment. Moreover, as the system’s operations are not considerable in the models, the service in the aspect of operational dependability is not able to be assessed both in quality and in quantity. Although several existing assessment tools have already show their potential to model the various behaviors in the form of n-state models or consider the operations as repair priority to be event sequence in the model, fusing ‘structure’, ‘various behaviors’ and ‘operations’ is still a challenge, highlighting a need for one viable framework that bridge the gap among them both by quality or quantity. In this research, a formal model generation approach is studied to bridge this gap, which is able to assess the system operatinal dependability by considering the system structure, various behaviors, and operations. Here, the composition of the component models is introduced in order to generate a global model of the system, the total breakdown states are identified according to the resulted failure expression for the purpose to fully consider the system’s structure, and the operational dependability is further realized by quality by applying the trajectory specifications, while by quantity by developing a cost evaluating technology termed Capacity Calculation Fault Tree. In the end, a demonstration of a miniplant system illustrates the wide potential of this research for guaranteeing the dependable service of complex industrial systems.
Document type :
Theses
Complete list of metadata

https://tel.archives-ouvertes.fr/tel-03177207
Contributor : Abes Star :  Contact
Submitted on : Friday, March 26, 2021 - 9:03:10 AM
Last modification on : Friday, March 26, 2021 - 9:03:11 AM
Long-term archiving on: : Sunday, June 27, 2021 - 6:04:57 PM

File

these.pdf
Version validated by the jury (STAR)

Identifiers

  • HAL Id : tel-03177207, version 1

Citation

Changyi Xu. Operational dependability model generation. Automatic. Université de Lyon, 2020. English. ⟨NNT : 2020LYSEI129⟩. ⟨tel-03177207⟩

Share

Metrics

Record views

122

Files downloads

85