|
应用领域: 对核电站、航天系统的安全性至关重要的信息-控制装置；正处于研发阶段的高品质商用软件系统，该系统采用了拥有成熟技术的SEI模型。 项目用途： 运用该工具软件进行独立检测和鉴定，可以提升测评软件系统的可靠性、功能安全性及品质评估的准确度和可信性。 项目简介（设计特性、基本原理）： ---依据核电站和航天系统对信息控制装置要求的国家标准及国际标准、及对控制装置、软件系统说明的现行规范文件：IEEE 982.1 – 1998, ISO/IEC 9126 - 2003, ISO/IEC 14598 – 2000, IEC 60880 – 2000, IAEA NS-G-1.1, ECSS标准（欧洲航天系统标准化机构）等，采用了规范剖面形成的可视化技术。 ---采用了度量法和概率法，及相关的辅助工具，对品质和可靠性进行综合评估。度量法的工作原理是基于一系列对矢量-标量的估算，及形成的辐射度量图表体系。而概率法则是基于符合体系假设的度量法概念之上，对于软件工程、软件系统可靠性已经有所提高的标准模型体系、及相关的定向选择和一体化来说，该假设都是独具特色。 ---采用了软件系统的检验和测试技术，该技术是专门针对设计漏洞，及实际操作过程中对统一程序的评估。 ---采用了创建软件系统的多版本技术，该技术对确保安全性极为重要。 已完成的设计成果： ---用于评估软件系统可靠性及品质的全套技术工具；独立检验及鉴定的评估结果准确可靠。 ---要求造型功能软件、软件系统品质度量-定向评估软件、及基于众多标准(ISO, IEC, IAEA, ECSS)的可视化结果评估。 ---用于评估软件系统可靠性的功能软件。该软件运用概率模型，并基于软件研发的实际特点及对测试结果的统计学分析，进行模型选择法评估。 ---用于多版本软件系统辅助开发的功能软件。 ---在采用了RUP-技术的基础上，可提供对安装了结构和功能测试软件的系统，进行检验的工具软件。 准备程度： 已经研发出相关技术，并制定出了实用程序算法，在一系列项目业已完成的条件下，正在进行相关的实验开发。 项目价格： 视技术支持、全套技术及具体的软件种类等不同情况，并根据订购者对任务量的要求制定价格。 技术-经济优势： 该项方法及软件： ---提高了对测评软件进行检验、鉴定的可靠性，从而降低了软件设计漏洞的隐患，从整体上保障系统的安全性； ---实现了整个过程的自动化，并提高了软件系统检验及鉴定中的管理效率，同时也降低了维护同等安全性条件下的资源消耗。 相关的专利保护： 1、直接参与了国家及相关行业标准文件的制定，在这些文件中对众多要求、评估方法、如何确保核能及航天领域内软件系统的安全性和可靠性等诸多事项都做出了规范。 2、在对航天系统及核电站信息控制装置的软件系统进行独立检验和鉴定方面，拥有丰富的经验。 3、在乌克兰、俄罗斯、英国、挪威和美国等国发表过多篇著述、学术报告及科技文献，并编纂过若干部教科书。 4、研发了多种采用度量-概率法，对软件系统可靠性及品质进行评估的功能软件。 5、因采用了独特的处理方法而获得了一系列的认证书、发明人证明，及乌克兰、俄罗斯两国的硬件、软件专利证书。 |
