- 1、本文档共14页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
基于有限谓词追踪的民机系统需求一致性检查方法
:,
摘要针对民机安全关键系统在正向研发过程中系统级需求的正确性难以在设计早期全部完成确认的问
,。,,
题提出一种基于有限谓词追踪的功能需求一致性检查体系首先引入一阶逻辑中的谓词追踪建立系统内部
。,、,
功能需求与交互功能需求形式化规约方法其次针对单条多条需求内容正确性以及需求关系一致性构建需
开展需求自冲突集冲突与需求关系一致性检验并生成可解释的检查反例进行需求
求一致性检查形式化规约,、,
迭代最后以机载平视显示系统飞行信息符号生成与显示功能为例验证该方法的正
。,(,),
headudislaHUD
ppy
确性与有效性研究结果表明基于有限谓词追踪的功能需求一致性检查方法能够提高需求一致性检查效率降
。,、
,。
低研发成本为民机系统级需求确认提供支持
:;;;;
关键词需求一致性定理证明功能需求正确性一阶逻辑需求冲突
犚犲狌犻狉犲犿犲狀狋犮狅狀狊犻狊狋犲狀犮犮犺犲犮犽犻狀犿犲狋犺狅犱犳狅狉犮犻狏犻犾犪犻狉犮狉犪犳狋狊狊狋犲犿狊
狇狔犵狔
犫犪狊犲犱狅狀犳犻狀犻狋犲狉犲犱犻犮犪狋犲狋狉犪犮犻狀
狆犵
犃犫狊狋狉犪犮狋:Toaddresstheroblemthatitisdifficulttoconfirmthecorrectnessofsstemlevelreuirementsinthe
pyq
,
forwarddevelomentrocessofsafetcriticalsstemsforcivilaircraftafunctionalreuirementconsistenccheckin
ppyyqyg
sstembasedonlimitedredicatetrackinisroosed.Firstl,theredicatetrackininfirstorderloicis
ypgppypgg
introducedtoestablishaformalstatutemethodforinternalandinteractivefunctionalreuirementsofstem.
qy
Secondl
您可能关注的文档
- 智能控制系统在石化企业安全生产中的应用.pdf
- 基于深度学习的毫米波雷达人体摔倒检测系统研究.pdf
- 云原生驱动的大规模终端网络设计优化和应用实践.pdf
- 基于信息识别的园林植物地理信息查询系统.pdf
- 用于VSLAM系统的CNN在FPGA平台上的加速.pdf
- 无轴承电动机神经网络逆系统解耦控制关键技术发展.pdf
- 基于多叉树和正则表达式的标定系统A2L文件的解析管理方法.pdf
- 峰值电流控制Buck变换器高频建模及结合遗传算法的控制器优化设计.pdf
- 载雷奈酸锶海藻酸钠_胶原水凝胶促进骨性关节炎骨缺损的修复.pdf
- 人员绩效考核方案.pdf
- 新的一年工作展望.docx
- 医生年终个人工作的述职报告(3篇).docx
- 2023年消防设施操作员之消防设备中级技能考前冲刺练习题附答案详解.docx
- 2022-2023年环境影响评价工程师之环评技术导则与标准通关练习题包括详细解答.docx
- 2023年中级注册安全工程师之安全生产管理考前冲刺检测卷和答案.docx
- 2023年中级银行从业资格之中级银行管理考前冲刺测试卷提供答案解析.docx
- 2023年公共营养师之二级营养师通关模拟考试试卷附带答案.docx
- 证券分析师之发布证券研究报告业务考前冲刺模拟题库.docx
- 2022-2023年二级建造师之二建建设工程法规及相关知识综合提升测试卷附答案.docx
- 2023年二级建造师之二建机电工程实务通关模拟考试试卷提供答案解析.docx
从事办公室文字工作,提供论文格式排版 、专业学术论文参考资料、文章写作、论文答辩PPT模板、会议筹备指导等服务,经验丰富,已从事七年。互相信任,保证质量,全程包修改,负责到通过。 微X号:lhg511823
文档评论(0)