针对车辆线控转向系统(steer by wire,SBW),提出了一种基于系统模型的瞬时故障层次化容错控制方法,用于提高线控转向控制的可靠性。首先分析了SBW系统结构特点和工作原理,然后给出了SBW系统的系统模型,提出了瞬时故障容锚控制框架,详细...
详细信息
针对车辆线控转向系统(steer by wire,SBW),提出了一种基于系统模型的瞬时故障层次化容错控制方法,用于提高线控转向控制的可靠性。首先分析了SBW系统结构特点和工作原理,然后给出了SBW系统的系统模型,提出了瞬时故障容锚控制框架,详细设计了SBW系统节点级和系统级的瞬时故障容错控制机制,最后利用AADL(Architecture Analysis and Design Language)-Ocarina搭建了SBW仿真系统,对提出的容错方法进行仿真验证。仿真结果表明,本文提出的层次化容错控制方法能够有效地检测SBW系统瞬时故障,实现容错控制,提高系统运行可靠性。
结构分析与设计语言(Architecture Analysis and Design Language,AADL)是复杂嵌入式实时系统体系结构建模的语言标准,但是对于嵌入式实时系统中大量存在的并发和交互,AADL并没有给出形式化的描述。本文结合AADL在实时系统中大量的并发...
详细信息
结构分析与设计语言(Architecture Analysis and Design Language,AADL)是复杂嵌入式实时系统体系结构建模的语言标准,但是对于嵌入式实时系统中大量存在的并发和交互,AADL并没有给出形式化的描述。本文结合AADL在实时系统中大量的并发及约束方面描述的不足,通过分析AADL的建模元素和建模流程,对AADL的行为附件进行扩充,将约束和并发的概念引入AADL,并给出形式化语义描述,丰富了AADL的建模元素,然后根据AADL和进程代数的建模特点,将经过扩充的AADL模型形式化转换为进程代数模型,为后续形式化的模型验证,开发大规模复杂、安全可靠的实时系统打下基础。
暂无评论