Skip to Main content Skip to Navigation

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 :
Complete list of metadata
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


Version validated by the jury (STAR)


  • HAL Id : tel-03177207, version 1


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



Record views


Files downloads