A state/event fault tree(SEFT)is a modeling technique for describing the causal chains of events leading to failure in software-controlled complex systems.Such systems are ubiquitous in all areas of everyday life,and ...A state/event fault tree(SEFT)is a modeling technique for describing the causal chains of events leading to failure in software-controlled complex systems.Such systems are ubiquitous in all areas of everyday life,and safety and reliability analyses are increasingly required for these systems.SEFTs combine elements from the traditional fault tree with elements from state-based techniques.In the context of the real-time safety-critical systems,SEFTs do not describe the time properties and important timedependent system behaviors that can lead to system failures.Further,SEFTs lack the precise semantics required for formally modeling time behaviors.In this paper,we present a qualitative analysis method for SEFTs based on transformation from SEFT to timed automata(TA),and use the model checker UPPAAL to verify system requirements’properties.The combination of SEFT and TA is an important step towards an integrated design and verification process for real-time safety-critical systems.Finally,we present a case study of a powerboat autopilot system to confirm our method is viable and valid after achieving the verification goal step by step.展开更多
针对复杂系统设计过程缺乏早期可靠性评估的问题,提出一种基于模型的系统工程方法支持复杂系统的设计及可靠性评估。结合复杂系统的研发特点,提出一种基于“使命、运行、功能、逻辑、物理、可靠性”的基于模型的系统工程(model-based sy...针对复杂系统设计过程缺乏早期可靠性评估的问题,提出一种基于模型的系统工程方法支持复杂系统的设计及可靠性评估。结合复杂系统的研发特点,提出一种基于“使命、运行、功能、逻辑、物理、可靠性”的基于模型的系统工程(model-based systems engineering, MBSE)建模方法,支持复杂系统设计和可靠性评估;利用基于“图、对象、属性、点、关系、角色”的系统建模语言KARMA对上述过程进行统一表达;通过KARMA的代码生成功能实现图模型到计算模型的映射,完成复杂系统可靠性的评估;将方法应用于液压系统案例,结果表明所提方法对于复杂系统设计和评估具备有效性。展开更多
Security and reliability must be focused on control sys- tems firstly, and fault detection and diagnosis （FDD） is the main theory and technology. Now, there are many positive results in FDD for linear networked cont...Security and reliability must be focused on control sys- tems firstly, and fault detection and diagnosis （FDD） is the main theory and technology. Now, there are many positive results in FDD for linear networked control systems （LNCSs）, but nonlinear networked control systems （NNCSs） are less involved. Based on the T-S fuzzy-modeling theory, NNCSs are modeled and network random time-delays are changed into the unknown bounded uncertain part without changing its structure. Then a fuzzy state observer is designed and an observer-based fault detection approach for an NNCS is presented. The main results are given and the relative theories are proved in detail. Finally, some simulation results are given and demonstrate the proposed method is effective.展开更多
针对空间有效载荷系统高复杂性和高可靠性需求的特性,设计了一种基于SysML (System Modeling Language)的故障诊断方法.该方法融入MBSE (Model Based System Engineering)思想,提出了基于SysML的空间有效载荷系统故障分析流程.基于SysM...针对空间有效载荷系统高复杂性和高可靠性需求的特性,设计了一种基于SysML (System Modeling Language)的故障诊断方法.该方法融入MBSE (Model Based System Engineering)思想,提出了基于SysML的空间有效载荷系统故障分析流程.基于SysML对空间有效载荷系统建立了故障分析相关的模型,其中,为满足故障分析建模的需求,对SysML元模型进行扩展定义,从而实现对组件间关系和故障表征与直接关联组件间关系的描述;基于所建模型构建故障诊断的整体框架,并提供从SysML数字模型到FTA (Fault Tree Analysis)的转换逻辑,从而实现对所有故障可能性的获取.通过案例分析,对提出方法在实际应用中的具体流程进行分析,并验证了该方法的有效性和实用性.展开更多
基金supported by the National Natural Science Foundation of China(11832012)
文摘A state/event fault tree(SEFT)is a modeling technique for describing the causal chains of events leading to failure in software-controlled complex systems.Such systems are ubiquitous in all areas of everyday life,and safety and reliability analyses are increasingly required for these systems.SEFTs combine elements from the traditional fault tree with elements from state-based techniques.In the context of the real-time safety-critical systems,SEFTs do not describe the time properties and important timedependent system behaviors that can lead to system failures.Further,SEFTs lack the precise semantics required for formally modeling time behaviors.In this paper,we present a qualitative analysis method for SEFTs based on transformation from SEFT to timed automata(TA),and use the model checker UPPAAL to verify system requirements’properties.The combination of SEFT and TA is an important step towards an integrated design and verification process for real-time safety-critical systems.Finally,we present a case study of a powerboat autopilot system to confirm our method is viable and valid after achieving the verification goal step by step.
文摘针对复杂系统设计过程缺乏早期可靠性评估的问题,提出一种基于模型的系统工程方法支持复杂系统的设计及可靠性评估。结合复杂系统的研发特点,提出一种基于“使命、运行、功能、逻辑、物理、可靠性”的基于模型的系统工程(model-based systems engineering, MBSE)建模方法,支持复杂系统设计和可靠性评估;利用基于“图、对象、属性、点、关系、角色”的系统建模语言KARMA对上述过程进行统一表达;通过KARMA的代码生成功能实现图模型到计算模型的映射,完成复杂系统可靠性的评估;将方法应用于液压系统案例,结果表明所提方法对于复杂系统设计和评估具备有效性。
文摘Security and reliability must be focused on control sys- tems firstly, and fault detection and diagnosis （FDD） is the main theory and technology. Now, there are many positive results in FDD for linear networked control systems （LNCSs）, but nonlinear networked control systems （NNCSs） are less involved. Based on the T-S fuzzy-modeling theory, NNCSs are modeled and network random time-delays are changed into the unknown bounded uncertain part without changing its structure. Then a fuzzy state observer is designed and an observer-based fault detection approach for an NNCS is presented. The main results are given and the relative theories are proved in detail. Finally, some simulation results are given and demonstrate the proposed method is effective.
文摘针对空间有效载荷系统高复杂性和高可靠性需求的特性,设计了一种基于SysML (System Modeling Language)的故障诊断方法.该方法融入MBSE (Model Based System Engineering)思想,提出了基于SysML的空间有效载荷系统故障分析流程.基于SysML对空间有效载荷系统建立了故障分析相关的模型,其中,为满足故障分析建模的需求,对SysML元模型进行扩展定义,从而实现对组件间关系和故障表征与直接关联组件间关系的描述;基于所建模型构建故障诊断的整体框架,并提供从SysML数字模型到FTA (Fault Tree Analysis)的转换逻辑,从而实现对所有故障可能性的获取.通过案例分析,对提出方法在实际应用中的具体流程进行分析,并验证了该方法的有效性和实用性.
