ATC系统车载设备安全参数自动验证软件开发 被引量：2

1

作者 李娇 高勇 姚羽发 《铁道通信信号》 2022年第4期83-88,共6页

对ATC系统车载设备安全参数特征、取值来源和计算公式进行归纳总结,设计出参数导出规则、多配漏配筛查机制和车载设备安全参数值自动计算模型;通过开发软件实现了待验证参数的自动导出、检查、计算和生成验证报告等功能。相比人工验证方... 对ATC系统车载设备安全参数特征、取值来源和计算公式进行归纳总结,设计出参数导出规则、多配漏配筛查机制和车载设备安全参数值自动计算模型;通过开发软件实现了待验证参数的自动导出、检查、计算和生成验证报告等功能。相比人工验证方式,该软件在提高验证效率的同时,保证了车载设备安全参数的准确性,具有实际应用价值。 展开更多

关键词 城市轨道交通 列车自动控制 车载设备 安全参数 自动生成 验证软件

在线阅读 下载PDF 职称材料

汽车抬头显示HUD软件验证方法研究 被引量：1

2

作者 张亮杰 《汽车电器》 2024年第2期86-87,共2页

随着汽车智能座舱系统的普及,越来越多的车型会配备汽车抬头显示HUD系统。文章结合某车型抬头显示HUD的开发过程,详述HUD的软件验证方法,并研究软件验证的优化方案。

关键词 HUD 软件验证 方法优化

在线阅读 下载PDF 职称材料

列车TCMS一体化软件开发及验证平台研究 被引量：3

3

作者 梅樱 《电子设计工程》 2018年第1期13-19,共7页

文中研究了列车TCMS一体化软件开发及验证平台。首先研究了TCMS一体化软件开发及验证平台实现策略,选取一款仿真软件作为基础软件进行研究;然后在此软件基础上研究并实现了其作为TCMS软件开发平台所需的功能;同时研究并实现了此软件作为... 文中研究了列车TCMS一体化软件开发及验证平台。首先研究了TCMS一体化软件开发及验证平台实现策略,选取一款仿真软件作为基础软件进行研究;然后在此软件基础上研究并实现了其作为TCMS软件开发平台所需的功能;同时研究并实现了此软件作为TCMS软件验证平台所需的功能;随后对上述研究的软件开发平台及验证平台的一体化实现进行了研究;最后以某型动车组TCMS在本平台的应用开发和测试验证为例,验证了本平台的可用性和先进性。 展开更多

关键词 TCMS 软件开发平台 软件验证平台 一体化

在线阅读 下载PDF 职称材料

民用飞机软件验证要求研究与实践 被引量：1

4

作者 倪红英 李辰 《航空电子技术》 2017年第1期43-47,共5页

DO-178C实际上已成为民用飞机适航取证时用以衡量机载软件是否达到相应等级的安全性要求的标准,它以软件工程过程为核心,从定义过程应达到的目标、为满足目标所需要开展的活动、达到目标的证据等多个角度提出了软件研制的指导原则。DO-1... DO-178C实际上已成为民用飞机适航取证时用以衡量机载软件是否达到相应等级的安全性要求的标准,它以软件工程过程为核心,从定义过程应达到的目标、为满足目标所需要开展的活动、达到目标的证据等多个角度提出了软件研制的指导原则。DO-178C覆盖软件生命周期全过程,本文介绍了其中关于软件验证的标准以及对标准的理解和实践考虑。 展开更多

关键词 软件验证 评审 分析 测试

在线阅读 下载PDF 职称材料

基于软件和逻辑联合仿真的SOPC验证技术研究 被引量：3

5

作者 周珊 王金波 《微电子学与计算机》 CSCD 北大核心 2016年第6期82-86,共5页

针对航天高可靠SOPC测试验证重要性,对SOPC仿真技术进行深入剖析研究,提炼出了一套切实可行的SOPC仿真技术.阐明了SOPC仿真技术的具体实现方法,分析了SOPC的具体验证方法,并把这套仿真验证技术成功地应用到了多个航天高可靠SOPC的测试中... 针对航天高可靠SOPC测试验证重要性,对SOPC仿真技术进行深入剖析研究,提炼出了一套切实可行的SOPC仿真技术.阐明了SOPC仿真技术的具体实现方法,分析了SOPC的具体验证方法,并把这套仿真验证技术成功地应用到了多个航天高可靠SOPC的测试中,发现了很多引起功能失效的重大问题,并对其中常见的问题给予归类总结. 展开更多

关键词 SOPC测试验证 SOPC仿真技术 CPU内核验证 仿真环境 软件和逻辑联合验证

在线阅读 下载PDF 职称材料

光学设计自动化软件验证技术概述 被引量：1

6

作者 粟鹏义 陈开盛 曹庄琪 《电子产品可靠性与环境试验》 2005年第2期53-56,共4页

在计算机辅助设计软件中,光学设计自动化软件是随着微光子学、光电子学和深亚微米集成电路的发展而逐渐产业化的,相对于电子设计自动化软件而言,仍有许多有待完善和改进的地方。在验证方面主要从原理验证、合理性验证和实验验证来保证... 在计算机辅助设计软件中,光学设计自动化软件是随着微光子学、光电子学和深亚微米集成电路的发展而逐渐产业化的,相对于电子设计自动化软件而言,仍有许多有待完善和改进的地方。在验证方面主要从原理验证、合理性验证和实验验证来保证光学设计自动化软件的正确性和质量。同时也给出了相关的实例。 展开更多

关键词 光电子 软件验证 光学设计自动化 计算机辅助设计

在线阅读 下载PDF 职称材料

基于全数字仿真的航空机载软件验证技术研究 被引量：4

7

作者 姜磊 张天宏 《航空制造技术》 北大核心 2014年第16期109-113,共5页

航空机载软件一般依靠硬件在环实时仿真平台进行软件验证,存在周期长、成本高等缺点。为了在设计初期快速、低成本地验证软件的正确性,提出了一种基于全数字仿真的软件验证方案,并以航空发动机引气控制系统为例验证这种方案的有效性。... 航空机载软件一般依靠硬件在环实时仿真平台进行软件验证,存在周期长、成本高等缺点。为了在设计初期快速、低成本地验证软件的正确性,提出了一种基于全数字仿真的软件验证方案,并以航空发动机引气控制系统为例验证这种方案的有效性。实际验证表明,该方案的测试用例配置方便且测试结果形象直观,为航空机载软件迭代验证提供了一种快捷的手段。 展开更多

关键词 全数字仿真 航空发动机 引气控制系统 软件验证

在线阅读 下载PDF 职称材料

CMD系统地面综合应用软件验证浅析 被引量：2

8

作者 杨颖 金炜东 《机车电传动》 北大核心 2011年第2期9-11,共3页

软件验证是提升软件产品可靠性、使软件满足用户需求的重要方法。按照CMD系统地面综合应用软件的高可靠性要求,阐述了软件验证执行过程与软件验证用例设计方法的两方面内容,回答了如何保证软件验证工作质量的问题。

关键词 软件验证 用例设计 验证流程 可靠性

在线阅读 下载PDF 职称材料

CFD软件验证确认数据库系统的建设研究 被引量：2

9

作者 齐志敏 曹平宽 《电子科技》 2014年第6期153-155,共3页

建立CFD软件验证确认数据库系统,才能持续推进CFD软件的验证和确认研究工作,以适应该软件可信度分析需求。文中分析了CFD软件验证确认相关的数据特征,研究了其系统数据组织与设计技术,提出了系统的体系结构和主要功能,并进行了初步的开... 建立CFD软件验证确认数据库系统,才能持续推进CFD软件的验证和确认研究工作,以适应该软件可信度分析需求。文中分析了CFD软件验证确认相关的数据特征,研究了其系统数据组织与设计技术,提出了系统的体系结构和主要功能,并进行了初步的开发工作,为CFD软件的验证与确认研究工作提供了数据支撑平台。 展开更多

关键词 计算流体力学 软件验证确认 数据库设计

在线阅读 下载PDF 职称材料

材料拉伸试验数据采集分析软件验证方法研究 被引量：1

10

作者 张琨健 林志华 池商林 《福建建设科技》 2014年第6期21-25,共5页

本文从材料拉伸试验出发,通过对数据采集分析软件的拉伸速率自动控制、规定非比例延伸强度的自动计算以及最大力总延伸率的自动计算进行了可靠性验证,其中阐述了验证的原理和可实施的详细方法和步骤。只有通过了相关验证后,我们才能将... 本文从材料拉伸试验出发,通过对数据采集分析软件的拉伸速率自动控制、规定非比例延伸强度的自动计算以及最大力总延伸率的自动计算进行了可靠性验证,其中阐述了验证的原理和可实施的详细方法和步骤。只有通过了相关验证后,我们才能将数据采集分析软件用于材料相关性能的自动测试工作。 展开更多

关键词 拉伸试验 数据采集分析软件 软件验证

在线阅读 下载PDF 职称材料

恒温槽软件验证 被引量：1

11

作者 刘新兰 《上海计量测试》 2015年第6期31-33,共3页

0引言 计量管理中,已经习惯对仪器、标准、样品、人员和环境要素进行控制,以保证测量的有效性,但往往忽略了软件这一看不见的要素对测量结果的影响。

关键词 软件验证 恒温槽 计量管理 环境要素 测量

在线阅读 下载PDF 职称材料

基于模型的软件需求验证方法研究与应用 被引量：1

12

作者 陈弘博 《铁路通信信号工程技术》 2018年第9期10-15,共6页

需求验证是软件需求阶段的一个重要环节,验证不充分的需求给软件安全稳定运行带来较大的风险。从形式化需求验证的基本原理和可操作性出发,提出一个基于模型的软件需求验证方法及应用方案。结合具体应用实例,分析如何应用该模型来指导... 需求验证是软件需求阶段的一个重要环节,验证不充分的需求给软件安全稳定运行带来较大的风险。从形式化需求验证的基本原理和可操作性出发,提出一个基于模型的软件需求验证方法及应用方案。结合具体应用实例,分析如何应用该模型来指导需求验证过程。理论和实践分析表明:基于模型的软件需求验证方法能够有效提升需求验证工作的质量,降低项目需求风险。 展开更多

关键词 软件需求验证 模型化 状态转移矩阵

在线阅读 下载PDF 职称材料

富士通平台产品进驻江阴软件验证测试中心

13

《移动通信》 2008年第16期94-94,共1页

近期，富士通南大软件技术有限公司与江苏江阴软件园合作共建的“富士通南大（江阴）软件验证测试中心”（又名：江阴软件验证测试中心）首期项目正式挂牌运营。本项目共投资1200万人民币，预计经3年建设于2010年全面建成。该软件验证... 近期，富士通南大软件技术有限公司与江苏江阴软件园合作共建的“富士通南大（江阴）软件验证测试中心”（又名：江阴软件验证测试中心）首期项目正式挂牌运营。本项目共投资1200万人民币，预计经3年建设于2010年全面建成。该软件验证测试中心的主要功能包括：为江阴市软件企业提供软件验证测试平台；将日本富士通集团软件开发项目引入江阴软件园； 展开更多

关键词 软件验证 测试中心 测试平台 江阴市 富士通 产品 软件开发项目 软件技术

在线阅读 下载PDF 职称材料

GB/T 25000.51-2016在军用软件质量特性测试中的应用研究

14

作者 杨赛 赵贺 《电子质量》 2024年第8期104-109,共6页

对GB/T 25000.51—2016在指导军用软件质量特性测试方面的适当使用进行了研究,提出了一种针对军用软件质量特性需求的验证方法,包括对需求规格说明中质量特性需求的静态审查方法、表单,以及根据业务领域特点制定的组织级或项目级的质量... 对GB/T 25000.51—2016在指导军用软件质量特性测试方面的适当使用进行了研究,提出了一种针对军用软件质量特性需求的验证方法,包括对需求规格说明中质量特性需求的静态审查方法、表单,以及根据业务领域特点制定的组织级或项目级的质量特性需求动态测试作业指导,并对该方法的具体应用策略和应用效果进行了分析。所述方法辅助实施GJB 5000B—2021三级的组织开展软件/系统质量特性相关实践活动,从而实现能力成熟度模型三级中需求开发与管理、验证和确认2个过程域目标。 展开更多

关键词 软件验证 GB 25000.51—2016 GJB 5000—2021 软件质量特性 软件测试

在线阅读 下载PDF 职称材料

SOPC片上系统仿真验证方法研究 被引量：1

15

作者 周辉 费亚男 +2 位作者 朱伟杰 李洋 彭亮 《航天控制》 CSCD 北大核心 2017年第6期69-73,共5页

从物理板级验证与RTL代码仿真2个方面介绍了现阶段SOPC的验证方法,重点分析了基于SOPC的RTL仿真处理流程与运行机制,通过搭建SOPC软件仿真平台,完成SOPC片上系统硬件逻辑的功能验证与处理性能评估,最后提供了仿真覆盖率指标,可确保测试... 从物理板级验证与RTL代码仿真2个方面介绍了现阶段SOPC的验证方法,重点分析了基于SOPC的RTL仿真处理流程与运行机制,通过搭建SOPC软件仿真平台,完成SOPC片上系统硬件逻辑的功能验证与处理性能评估,最后提供了仿真覆盖率指标,可确保测试验证的充分性。 展开更多

关键词 SOPC片上系统 软件功能仿真验证

在线阅读 下载PDF 职称材料

军用机载通信设备嵌入式软件的适航管理 被引量：1

16

作者 陈乐然 《现代电子技术》 2013年第10期40-44,共5页

为了提高军用机载设备嵌入式软件的可靠性和安全性,在总结重点型号研制经验的基础上,首次提出了在军机研制中引入适航理念,开展适航工作。通过从适航概念与内涵入手,从软件适航性DO-178B、软件工程化管理、软件设计与实现、软件验证等... 为了提高军用机载设备嵌入式软件的可靠性和安全性,在总结重点型号研制经验的基础上,首次提出了在军机研制中引入适航理念,开展适航工作。通过从适航概念与内涵入手,从软件适航性DO-178B、软件工程化管理、软件设计与实现、软件验证等方面一一进行了军用机载设备嵌入式软件适航管理的实践。实践证明,军机嵌入式软件在技术上和管理上充分借鉴适航,大胆创新,确实推动了军机软件研制质量与安全水平的不断提高,飞行故障率大大降低。 展开更多

关键词 军用机载设备 嵌入式软件 适航 DO-178B 软件工程化管理 软件验证

在线阅读 下载PDF 职称材料

机车车辆软件设计的规范化 被引量：2

17

作者 严云升 《机车电传动》 2006年第2期5-9,共5页

从当前软件设计存在的问题出发,以IEC62278和IEC62279为基础,提出相关产品的软件安全完整性的等级,各软件开发人员的职责分工。根据当前软件实际情况,将软件开发寿命周期简化为8个阶段,并对每个阶段应完成的文件作了说明。目的在于推进... 从当前软件设计存在的问题出发,以IEC62278和IEC62279为基础,提出相关产品的软件安全完整性的等级,各软件开发人员的职责分工。根据当前软件实际情况,将软件开发寿命周期简化为8个阶段,并对每个阶段应完成的文件作了说明。目的在于推进软件设计的规范化。 展开更多

关键词 软件设计 软件验证 软件安全完整性 软件审核 软件评审 规范化 机车车辆

在线阅读 下载PDF 职称材料

VVER机组堆芯中子源项计算程序的开发和验证

18

作者 张亚平 张萌 +2 位作者 杨兴旺 王东辉 钟志民 《核科学与工程》 CAS CSCD 北大核心 2022年第6期1285-1290,共6页

堆芯中子源项计算是反应堆压力容器中子注量理论计算最关键步骤之一。采用Fortran语言,开发了堆芯中子源项计算程序SCON,并基于Balakovo-3VVER-1000基准算例所提供数据,结合中子输运理论计算DOORS软件系统,对SCON开展了验证。结果表明,... 堆芯中子源项计算是反应堆压力容器中子注量理论计算最关键步骤之一。采用Fortran语言,开发了堆芯中子源项计算程序SCON,并基于Balakovo-3VVER-1000基准算例所提供数据,结合中子输运理论计算DOORS软件系统,对SCON开展了验证。结果表明,计算得到的各探测片反应率与基准算例中所提供的实测结果符合良好,证明SCON程序可为六边形燃料组件机组中子输运理论计算提供准确的中子源项,同时也证明本文采用的中子注量率计算软件系统是适用于VVER机组的。 展开更多

关键词 VVER机组 反应堆压力容器 中子注量率 堆芯中子源项 程序开发 软件验证

在线阅读 下载PDF 职称材料

C*SOC——自动化的SoC仿真验证平台 被引量：6

19

作者 季红彬 孙涛 萧鹏 《中国集成电路》 2003年第48期42-46,共5页

SoC(片上系统)是IC设计的发展趋势，仿真与验证是芯片设计中最复杂、最耗时的环节之一，实现仿真与验证自动化是芯片设计研究的重要方向。本文首先分析了在SoC设计中存在的一些困难，提出芯片设计需要SoC设计平台的支持，在分析目前设... SoC(片上系统)是IC设计的发展趋势，仿真与验证是芯片设计中最复杂、最耗时的环节之一，实现仿真与验证自动化是芯片设计研究的重要方向。本文首先分析了在SoC设计中存在的一些困难，提出芯片设计需要SoC设计平台的支持，在分析目前设计平台的基础上，推出一个功能强大、自动化程度高的仿真验证平台——C*SOC。最后总结全文并展望SoC设计验证平台的发展方向。 展开更多

关键词 片上系统 SOC IC设计 仿真验证平台 C＊SOC 总线 软件/硬件协同验证

在线阅读 下载PDF 职称材料

安必昂新版SVSPro贴片机软件

20

《电子产品世界》 2004年第08B期56-56,共1页

关键词 安必昂公司 SVS PRO 贴片机 设置验证软件

在线阅读 下载PDF 职称材料