-
公开(公告)号：CN113220547B
公开(公告)日：2023-09-29
申请号：CN202110303948.4
申请日：2021-03-22
Applicant: 中国航天系统科学与工程研究院
Abstract: 本发明提供一种基于仿真的复杂软件系统可靠性指标确定方法，属于软件系统可靠性研究技术领域。该方法步骤包括：首先根据软件系统任务需求，划分并构建软件任务阶段模型；然后根据软件系统任务需求及任务阶段模型，构造软件任务剖面集合；接着设置仿真控制参数后，随机抽取软件任务剖面执行仿真，采集各个任务阶段的失效信息；最后根据仿真过程中采集的数据，计算并输出软件系统可靠性指标值。本发明通过对复杂软件系统的任务剖面进行建模与仿真，采集与软件可靠性指标相关的统计量值，最后合理地确定软件可靠性指标。本发明可有效解决常规解析方法难以建立精确的可靠性数学模型或模型太复杂而不便应用的问题。
-
Patent Agency Ranking
公开(公告)号：CN113204484B
公开(公告)日：2023-11-14
申请号：CN202110484004.1
申请日：2021-04-30
Applicant: 中国航天系统科学与工程研究院
IPC: G06F11/36 , G06F18/241
Abstract: 本发明提供一种面向软件生命周期的装备软件测试性设计方法，属于软件测试性研究技术领域。该方法步骤包括：首先根据软件生命周期各个阶段的研制任务以及软件开发设计的实际需求，制定软件测试性设计准则的分类方案；然后按照分类方案，考虑软件测试性的影响因素，设计出装备软件测试性通用设计准则；结合层次分析法，构建软件测试性度量框架；采用模糊综合评价方法度量应用设计准则后的软件测试性；本发明可以提升软件的测试效率和有效性，使软件开发活动和过程更加规范化、程序化和标准化，确保软件质量最终满足要求。
-
公开(公告)号：CN113204484A
公开(公告)日：2021-08-03
申请号：CN202110484004.1
申请日：2021-04-30
Applicant: 中国航天系统科学与工程研究院
Abstract: 本发明提供一种面向软件生命周期的装备软件测试性设计方法，属于软件测试性研究技术领域。该方法步骤包括：首先根据软件生命周期各个阶段的研制任务以及软件开发设计的实际需求，制定软件测试性设计准则的分类方案；然后按照分类方案，考虑软件测试性的影响因素，设计出装备软件测试性通用设计准则；结合层次分析法，构建软件测试性度量框架；采用模糊综合评价方法度量应用设计准则后的软件测试性；本发明可以提升软件的测试效率和有效性，使软件开发活动和过程更加规范化、程序化和标准化，确保软件质量最终满足要求。
-
公开(公告)号：CN113220547A
公开(公告)日：2021-08-06
申请号：CN202110303948.4
申请日：2021-03-22
Applicant: 中国航天系统科学与工程研究院
Abstract: 本发明提供一种基于仿真的复杂软件系统可靠性指标确定方法，属于软件系统可靠性研究技术领域。该方法步骤包括：首先根据软件系统任务需求，划分并构建软件任务阶段模型；然后根据软件系统任务需求及任务阶段模型，构造软件任务剖面集合；接着设置仿真控制参数后，随机抽取软件任务剖面执行仿真，采集各个任务阶段的失效信息；最后根据仿真过程中采集的数据，计算并输出软件系统可靠性指标值。本发明通过对复杂软件系统的任务剖面进行建模与仿真，采集与软件可靠性指标相关的统计量值，最后合理地确定软件可靠性指标。本发明可有效解决常规解析方法难以建立精确的可靠性数学模型或模型太复杂而不便应用的问题。
-
公开(公告)号：CN111813656A
公开(公告)日：2020-10-23
申请号：CN202010500339.3
申请日：2020-06-04
Applicant: 中国航天系统科学与工程研究院
IPC: G06F11/36
Abstract: 一种面向安全性验证的模型转换方法、介质及设备，属于模型检验技术领域，解决软件安全性验证待验系统建模困难问题。本发明提供的面向安全性验证模型转换方法，首先，利用AADL模型对待验系统进行建模，描述软件体系结构的动态行为；然后，将AADL组件类型转换成NuSMV子模块，将AADL组件实现中的具体内容转换成与AADL组件类型相对应的NuSMV子模块体中的具体内容；最后在NuSMV的main模块中添加AADL中具体的执行语义。本发明通过面向安全性验证的模型转换方法，能够有效提高模型检验软件安全性领域建模效率，解决了模型检验技术中难以准确建模问题。
-
公开(公告)号：CN115493707A
公开(公告)日：2022-12-20
申请号：CN202211302586.8
申请日：2022-10-24
Applicant: 中国航天系统科学与工程研究院
Abstract: 本发明公开了一种防爆型工业测温设备及其加工方法，本发明涉及测温设备技术领域。该防爆型工业测温设备及其加工方法，通过设置左防护盖和右防护盖能够在测温机构闲置时利用两个防护盖将其罩在内部，对其进行保护，避免在运输携带过程中外力对其造成破坏，并且能够防止外部灰尘对测温机构内部零部件运作造成不利影响，测温机构工作过程中能够将两个防护盖打开后将其作为保证测温机构稳定的支架，便与其后续的测温工作，无需再安装时单独设置固定装置，通过设置可转动的调节辊，能够间歇的调换两个防爆测温组件单独进行测温工作，从而另外一个防爆测温组件能够暂时脱离测温工作，避免长时间工作导致防爆测温组件疲劳损坏。
-
-
-
-
-
Search Results
6
records
(took 0.029 seconds)
