航空文献资源库

按文献类别分组

按栏目分组

按年份分组

按来源分组

关键词

基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,: 作者： 李勇曹子宁 来源： 计算机技术与发展 年份： 2017 文献类型： 期刊 关键词： 模型检测 E RSML Nu SMV 形式化方法; 描述： 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。

基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,: 作者： 李勇曹子宁 来源： 计算机技术与发展 年份： 2017 文献类型： 期刊 关键词： 模型检测 E RSML Nu SMV 形式化方法; 描述： 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。

WBS方法在航空型号试验项目管理中的应用研究: 作者： 田斌李勇李彬 来源： 管理观察 年份： 2017 文献类型： 期刊 关键词： WBS 计划管理型号研制工作结构分解; 描述： 本文针对航空企业在型号研制过程中面临的多型号项目管理,计划制定精细化程度低,甚至工作项目遗漏等不科学、不合理的问题,基于时WBS方法的介绍,以航空型号研制中的重要、典型的试验项目管理为示例,研究分析了WBS方法在航空型号产品中的应用,对航空型号试验项目分级网络计划的构建提供指导。

WBS方法在航空型号试验项目管理中的应用研究: 作者： 田斌李勇李彬 来源： 管理观察 年份： 2017 文献类型： 期刊 关键词： WBS 计划管理型号研制工作结构分解; 描述： 本文针对航空企业在型号研制过程中面临的多型号项目管理,计划制定精细化程度低,甚至工作项目遗漏等不科学、不合理的问题,基于时WBS方法的介绍,以航空型号研制中的重要、典型的试验项目管理为示例,研究分析了WBS方法在航空型号产品中的应用,对航空型号试验项目分级网络计划的构建提供指导。

< 1 >