In the field of model-based system assessment,mathematical models are used to interpret the system behaviors.However,the industrial systems in this intelligent era will be more manageable.Various management operations...In the field of model-based system assessment,mathematical models are used to interpret the system behaviors.However,the industrial systems in this intelligent era will be more manageable.Various management operations will be dynamically set,and the system will be no longer static as it is initially designed.Thus,the static model generated by the traditional model-based safety assessment(MBSA)approach cannot be used to accurately assess the dependability.There mainly exists three problems.Complex:huge and complex behaviors make the modeling to be trivial manual;Dynamic:though there are thousands of states and transitions,the previous model must be resubmitted to assess whenever new management arrives;Unreusable:as for different systems,the model must be resubmitted by reconsidering both the management and the system itself at the same time though the management is the same.Motivated by solving the above problems,this research studies a formal management specifying approach with the advantages of agility modeling,dynamic modeling,and specification design that can be re-suable.Finally,three typical managements are specified in a series-parallel system as a demonstration to show the potential.展开更多
针对货运飞船与空间实验室推进剂在轨补加任务过程,采用基于模型的安全性分析(Model Based Safety Analysis, MBSA)领域当下热门的建模语言SMV及其相应的形式化符号模型检查器NuSMV,对任务相关各系统进行故障树分析方法研究。通过模型...针对货运飞船与空间实验室推进剂在轨补加任务过程,采用基于模型的安全性分析(Model Based Safety Analysis, MBSA)领域当下热门的建模语言SMV及其相应的形式化符号模型检查器NuSMV,对任务相关各系统进行故障树分析方法研究。通过模型检查过程自动快捷地验证预设的规范,分析反例序列和可达状态集,识别故障传播路径和最小割集,完成故障树定性分析。展开更多
基金the National Natural Science Foundation of China(52105070,U21B2074)Department of Science and Technology of Liaoning Province China(2033JH1/10400007).
文摘In the field of model-based system assessment,mathematical models are used to interpret the system behaviors.However,the industrial systems in this intelligent era will be more manageable.Various management operations will be dynamically set,and the system will be no longer static as it is initially designed.Thus,the static model generated by the traditional model-based safety assessment(MBSA)approach cannot be used to accurately assess the dependability.There mainly exists three problems.Complex:huge and complex behaviors make the modeling to be trivial manual;Dynamic:though there are thousands of states and transitions,the previous model must be resubmitted to assess whenever new management arrives;Unreusable:as for different systems,the model must be resubmitted by reconsidering both the management and the system itself at the same time though the management is the same.Motivated by solving the above problems,this research studies a formal management specifying approach with the advantages of agility modeling,dynamic modeling,and specification design that can be re-suable.Finally,three typical managements are specified in a series-parallel system as a demonstration to show the potential.
文摘针对货运飞船与空间实验室推进剂在轨补加任务过程,采用基于模型的安全性分析(Model Based Safety Analysis, MBSA)领域当下热门的建模语言SMV及其相应的形式化符号模型检查器NuSMV,对任务相关各系统进行故障树分析方法研究。通过模型检查过程自动快捷地验证预设的规范,分析反例序列和可达状态集,识别故障传播路径和最小割集,完成故障树定性分析。
