首页>
根据【关键词:故障建模,基于模型的安全分析,模型检查,BIP(行为交互优先级),形式化方法】搜索到相关结果 6 条
-
基于BIP的航空控制系统行为故障建模与形式化验证方法
-
作者:
唐旭东
来源:
华东师范大学
年份:
2022
文献类型 :
学位论文
关键词:
故障建模
基于模型的安全分析
模型检查
BIP(行为交互优先级)
形式化方法
-
描述:
基于BIP的航空控制系统行为故障建模与形式化验证方法
-
一种基于AADL的航空电子系统仿真和验证技术
-
作者:
李铁颖
王科翔
戴苏榕
来源:
航空电子技术
年份:
2020
文献类型 :
期刊
关键词:
基于模型的系统评估
结构化分析和设计语言
形式化方法
-
描述:
一种基于AADL的航空电子系统仿真和验证技术
-
面向维修训练的航空电子装备故障建模与仿真
-
作者:
陈鸿
陶东香
张娜
来源:
电子设计工程
年份:
2018
文献类型 :
期刊
关键词:
维修训练
故障建模
故障树分析
故障仿真
-
描述:
针对航空电子装备维修训练系统中故障设置与故障重现问题,提出了一种逆故障树仿真模型。首先确定故障仿真要解决的核心问题:建立从故障源到故障现象的映射关系,然后运用故障树分析理论,在深入分析装备故障机理的基础上建立故障树,最后由故障树的底事件开始,以逆向推理的方式建立逆故障树仿真模型。通过半实物仿真实现以及在实际排故训练中的应用,表明该仿真模型能与真实装备故障形成机理吻合,仿真重现的故障现象与实装一致,对实现同类维修训练系统有一定理论和实际意义。
-
基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
-
作者:
李勇
曹子宁
来源:
计算机技术与发展
年份:
2017
文献类型 :
期刊
关键词:
模型检测
E
RSML
Nu
SMV
形式化方法
-
描述:
软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。
-
基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
-
作者:
李勇
曹子宁
来源:
计算机技术与发展
年份:
2019
文献类型 :
期刊
关键词:
模型检测
E
RSML
Nu
SMV
形式化方法
-
描述:
软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。
-
飞机全电刹车力伺服控制与可靠驱动技术研究
-
作者:
相里康
来源:
西北工业大学
年份:
2018
文献类型 :
学位论文
关键词:
机电作动器
摩擦力补偿
故障建模
双向DC
上电自检测
抗干扰
全电刹车
DC变换器
力伺服
-
描述:
飞机全电刹车力伺服控制与可靠驱动技术研究