导读:本文包含了需求验证论文开题报告文献综述及选题提纲参考文献,主要关键词:MBSE,自动飞行控制系统(AFCS),形式化验证,RSML~(-e,)
需求验证论文文献综述
胡军,张维珺,李宛倩[1](2019)在《面向需求的安全关键系统形式化建模与验证方法研究》一文中研究指出在安全关键系统领域中,明确的需求对于一个系统的作用至关重要。使用基于模型的系统工程思想对自动飞行控制系统进行面向需求的形式化建模与验证,使用RSML~(-e)语言对自动飞行控制系统(AFCS)需求进行建模,提出一种将RSML~(-e)模型转化成NuSMV 2模型的方法,并用NuSMV 2对模型的属性进行验证。针对一个真实综合航电系统中的自动飞行控制系统GFC700进行分析验证,实验结果表明,该方法对实际系统的安全性分析具有可行性。(本文来源于《计算机工程与科学》期刊2019年08期)
曾韦蜻,刘敏榕,陈振标[2](2019)在《基于扎根理论的大学生创客服务需求模型构建及验证》一文中研究指出[目的/意义]针对当前创客空间提供创新创业服务不足的现状,研究大学生创客服务需求,以期为创客空间服务提供参考。[方法/过程]以扎根理论为调研方法,通过初期访谈整理编码得到大学生创客服务需求模型。根据大学生创客服务需求模型设置问卷,通过发放网络问卷,验证模型是否合理。[结果/结论]大学生创客服务需求模型主要包括两个核心服务需求,即信息知识情报服务需求和创新创业环境服务需求,前者具体包含双创基础知识、信息服务需求、知识服务需求、情报服务需求;后者则包含环境氛围、运行模式、宣传推广、保护机制和专业指导。对回收问卷数据进行整理,通过SPSS探索性因子分析,最终验证该模型合理。(本文来源于《图书情报工作》期刊2019年15期)
冯淑红,吕箴,孟瑶[3](2019)在《面向任务需求的在轨维修地面验证方法研究与应用》一文中研究指出维修性验证对航天器在轨维修具有重要的作用和意义。从空间站维修性验证任务需求出发,结合验证对象、验证项目、验证环境等方面,对国内外常用维修性验证方法进行比较分析,提出了分步归类的地面验证思路及一种化繁为简的零重力局部环境模拟维修性验证平台,以适应空间站各类大量在轨维修设备的维修全流程验证需求。(本文来源于《质量与可靠性》期刊2019年03期)
马红,卜伟[4](2019)在《用于作战需求验证的电子战仿真系统》一文中研究指出电子战作战仿真系统主要用于对电子战系统的作战能力需求进行仿真验证。首先分析了电子战作战仿真的必要性,以及目前的研究现状,并从电子战作战仿真的目的介绍了一种电子战作战仿真系统的实现方案,以及该电子战作战仿真系统的应用案例,最后分析了电子战作战仿真系统的成效以及存在的问题。(本文来源于《电子信息对抗技术》期刊2019年03期)
吴蓬勃[5](2019)在《基于需求工程的国产元器件应用验证技术研究》一文中研究指出随着国内自主可控需求的日益强烈和国产元器件研制水平的不断提升,国产元器件会越来越广泛的得以在不同应用领域展开大量应用,针对国产元器件研制基础薄弱,不同行业、特别是航空、航天等特殊行业的特殊、高可靠应用场景,需按照要求、分门别类在国产元器件研制的过程中通过验证,充分暴露其有待改善的问题,最后通过应用验证挑选出适用应用需求的元器件。本文基于这样的现状提出了基于需求工程的国产元器件的应用验证思想,并阐述了验证中的具体技术和相关问题。(本文来源于《信息通信》期刊2019年05期)
殷羽飞[6](2019)在《基于SysML模型的需求分析与验证》一文中研究指出基于模型的系统工程(Model-Based Systems Engineering,MBSE)常被应用于开发大型软件系统,以提高软件的可靠性。系统建模语言(Systems Modeling Language,SysML)是MBSE中使用的标准建模语言,它用于支持系统工程中需求分析、设计、编码、测试等活动。SysML模型也常被应用于软件的代码设计。因此,SysML模型在是否准确地表达用户的需求成为了软件代码是否具备高可靠性的关键。然而,很少有算法或者工具能够以形式化的方式支持SysML模型的需求分析与验证,特别是基于非基本结构的SysML模型的验证更是不多见。本文选取了具有描述系统动态行为能力的SysML活动图模型作为研究对象,创新性地提出了一种基于测试用例的形式化验证方法(Testing-Based Formal Verification for Model,TBFV-M)来检验SysML活动图是否满足用户需求。本文的主要工作分为以下3个方面:(1)设计了基于SysML活动图的测试用例生成算法。该算法改善了当前主流生成算法只能够应用于结构化的活动图的局限性,将非基本结构的活动图进行转化生成一种中间表示形式,并根据中间表示形式自动生成测试路径。最后根据测试路径上的数据约束生成测试数据。(2)提出了基于测试用例的活动图需求验证方法(TBFV-M),用于形式化验证活动图是否满足用户需求。TBFV-M方法将用户需求说明书以及SysML活动图作为输入,利用霍尔逻辑(Hoare Logic)验证SysML活动图的每一条测试路径是否准确描述了所对应的功能性需求。该方法具有检测和定位SysML活动图中需求描述错误,以及证明SysML活动图准确建模用户需求的能力。(3)研发了一款基于SysML活动图需求分析与验证工具。该工具将TBFVM方法进行实现。用户使用该工具时,输入SysML活动图和用户需求说明书,可以自动生成测试用例,并且为SysML活动图进行需求验证。最后,本文通过药品销售系统说明了本文研发的验证工具在实际应用中具备实用性及有效性。(本文来源于《华东师范大学》期刊2019-05-01)
史逸轩[7](2019)在《基于Event-B方法的需求建模及验证》一文中研究指出Event-B是国外新兴的一种通过形式化方法,主要用于对系统功能性需求建模并验证,在Rodin工具集中,通过给出环境、变量、常量和相关事件,对每一个抽象需求建模。其后,使用Pro-B animator进行验证。它通过逻辑分析产生验证规约并且自动抛除无关紧要的验证规约来取代传统的编译,解决了传统的软件工程过程中系统分析与设计阶段非形式化方法带来的低效率,错误率高,不易纠错,不灵活,编码复杂以及常常不够符合实际的缺陷。以账单分摊系统为例,详细描述了Event-B方法的需求建模和规范化验证的思路和过程方法。(本文来源于《忻州师范学院学报》期刊2019年02期)
张锦坤,杨孟飞,乔磊,杨桦,刘波[8](2019)在《基于有限状态机的操作系统需求层形式化验证》一文中研究指出操作系统是航天器必备的基本软件,操作系统的可靠性和安全性直接关系航天型号任务的成败.虽然目前已采用多种手段对操作系统进行可靠性和安全性保障,但仍存在不能完全排除缺陷的情况,因此对空间操作系统开展形式化验证研究势在必行.需求层验证是操作系统形式化验证的一部分,本文在分析操作系统需求的基础上,采用有限状态机在操作系统需求层进行形式化描述,并针对应用在某航天器上的SpaceOS2在需求层进行了建模,相应地在定理证明工具Coq中进行了描述建模;然后定义了六条操作系统应满足的全局性质并进行了形式化描述,给出了系统模型满足这些性质的机器可检查的证明.证明结果表明采用有限状态机方法对操作系统需求层进行形式化验证是可行的,为进一步全面形式化验证奠定了基础.(本文来源于《空间控制技术与应用》期刊2019年02期)
史逸轩,王鸿斌[9](2019)在《基于Event-B的细化需求建模及验证》一文中研究指出Event-B通过为每个event添加环境、变量及常量等限制条件,从而细化及快速扩展系统功能,避免数据冗余问题。以账单分摊系统为例,通过添加成员支付账单、账单全部付清及成员加入和退出小组的日期及时间等叁点细分需求,详细描述了使用Rodin工具集细化需求建模及通过Pro-B animator进行规范性验证的方法和过程。(本文来源于《长治学院学报》期刊2019年02期)
凌宗虎[10](2019)在《软件需求工程的实例验证教学模式研究》一文中研究指出针对《软件需求工程》课程教学中存在的问题,研究并应用"理论+实例验证"的教学模式,在总学时按照1:2的分配比例下,采用典型实例指导软件需求理论的学习,并验证所学理论在软件工程中的应用技术,对于提高课程理论的理解与应用具有良好的教学效果。(本文来源于《电子技术与软件工程》期刊2019年04期)
需求验证论文开题报告
(1)论文研究背景及目的
此处内容要求:
首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。
写法范例:
[目的/意义]针对当前创客空间提供创新创业服务不足的现状,研究大学生创客服务需求,以期为创客空间服务提供参考。[方法/过程]以扎根理论为调研方法,通过初期访谈整理编码得到大学生创客服务需求模型。根据大学生创客服务需求模型设置问卷,通过发放网络问卷,验证模型是否合理。[结果/结论]大学生创客服务需求模型主要包括两个核心服务需求,即信息知识情报服务需求和创新创业环境服务需求,前者具体包含双创基础知识、信息服务需求、知识服务需求、情报服务需求;后者则包含环境氛围、运行模式、宣传推广、保护机制和专业指导。对回收问卷数据进行整理,通过SPSS探索性因子分析,最终验证该模型合理。
(2)本文研究方法
调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。
实证研究法:依据现有的科学理论和实践的需要提出设计。
定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。
定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。
跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。
模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
需求验证论文参考文献
[1].胡军,张维珺,李宛倩.面向需求的安全关键系统形式化建模与验证方法研究[J].计算机工程与科学.2019
[2].曾韦蜻,刘敏榕,陈振标.基于扎根理论的大学生创客服务需求模型构建及验证[J].图书情报工作.2019
[3].冯淑红,吕箴,孟瑶.面向任务需求的在轨维修地面验证方法研究与应用[J].质量与可靠性.2019
[4].马红,卜伟.用于作战需求验证的电子战仿真系统[J].电子信息对抗技术.2019
[5].吴蓬勃.基于需求工程的国产元器件应用验证技术研究[J].信息通信.2019
[6].殷羽飞.基于SysML模型的需求分析与验证[D].华东师范大学.2019
[7].史逸轩.基于Event-B方法的需求建模及验证[J].忻州师范学院学报.2019
[8].张锦坤,杨孟飞,乔磊,杨桦,刘波.基于有限状态机的操作系统需求层形式化验证[J].空间控制技术与应用.2019
[9].史逸轩,王鸿斌.基于Event-B的细化需求建模及验证[J].长治学院学报.2019
[10].凌宗虎.软件需求工程的实例验证教学模式研究[J].电子技术与软件工程.2019
标签:MBSE; 自动飞行控制系统(AFCS); 形式化验证; RSML~(-e; );