全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
关键词
- 一种基于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的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。