当前位置: 首页 > 产品中心

产品中心

产品中心

嵌入式软件安全性可靠性分析与验证工具 — CASTLE

产品概述

CASTLE——国内最先进的嵌入式软件安全性可靠性分析工具。

CASTLE是由我国科技工作者自主研发,拥有独立知识产权的软件安全性可靠性分析工具。无论是军用标准MIL-STD-882E、GJB 900A、GJB 102A等,还是民机、高铁、核工业等标准ARP-4761/DO-178C、NASA 8719、EN 50128、IEC 61508等,都将安全性可靠性需求分析作为安全关键软件的强制工作,也是鉴定和认证的核心环节。而我国长期缺少技术支撑与实用工具,导致软件安全性可靠性问题频发,产品鉴定与安全认证证据缺失,严重影响用户满意度和软件质量。

CASTLE具备国际先进的模型驱动软件安全性可靠性分析技术,提供近万条通用失效数据引导分析,在软件需求阶段有效识别和控制安全性可靠性缺陷,以最低的成本提升软件安全性可靠性水平,提供鉴定与认证的安全可靠证据,积累复用宝贵的软件失效数据资产。

CASTLE提供符合标准、高效准确的软件安全性可靠性与研发一体化,易于评估的定量覆盖准则,特别是数据资产的预置与持续增值,是软件研发组织迈向大数据时代的基础。

CASTLE不仅支撑需求阶段的安全性可靠性分析,对于软件测试和验证阶段,CASTLE的能够直接支撑安全性和可靠性测试用例的设计。以航空装备软件为例,在研制阶段要求的“软件安全性失效模式分析”和鉴定测评阶段要求的“基于失效模式的软件测试”都可以在CASTLE的支持下完整实施。

产品功能


©2015 南京创联智软信息科技有限公司 版权所有 南京网站建设:南京同网