• 软件安全性需求建模工具(Castle Safety-Modeling)

    软件安全性通用失效模式数据平台(Castle Safety-Data)

    上一个:

    下一个:

    基于模型的软件安全性分析与验证工具(Castle Safety-FMEA)

    1. 设备功能

    软件安全性需求建模工具能够支持单位装备系统软件开展符合标准要求的软件需求建模与分析工作,并自动生成符合GJB 438B要求的软件需求文档,其功能概括如下:

    (1)在方案论证阶段,可引导用户描述软件与系统之间的接口关系,以及软件所属系统的功能、工作状态等信息。从而支撑系统设计人员确定系统分配给软件的接口、功能、状态等需求信息;

    (2)在软件研制阶段,可引导用户围绕软件外部输入输出接口、单项功能处理过程、功能间组合关系、工作状态及其迁移关系等需求要素进行图形化建模与分析,充分覆盖GJB 438B中的3.1、3.2、3.3章节的内容。并自动生成符合GJB 438B的软件需求文档。提升软件需求分析的效率和质量。

    (3)在软件配置项与系统测试阶段,可以根据软件需求中定义的外部交联接口信息,辅助软件测试用例的自动生成,提升软件测试的有助于软件进行充分的测试和验证。

    (4)在定型阶段,可以使用自动生成的软件需求规格说明文档,作为软件需求审查的输入依据。工具生成的软件需求文档充分满足GJB 438B标准要求,是提高软件需求质量和软件工程化水平的有效手段。

    2. 设备组成及主要技术指标

    (1)设备组成

    软件安全性需求建模工具由外部交联环境及接口数据建模功能、功能层次关系及处理逻辑建模功能、工作状态及其迁移关系建模功能、软件需求文档自动生成功能组成。

    各部分功能简述如下:

    1)外部交联环境及接口数据建模功能

         a) 外部交联环境建模模块:引导用户描述软件系统的外部交联环境信息,包括外部交联设备、外部输入输出接口、内部交联设备等。同时还可针对外部接口的数据帧信息进行配置

         b) 接口数据配置建模模块:引导用户针对内外部接口中的物理变量数据进行配置,包括变量名称、数据类型、单位、分辨率、有效数据段、关联数据帧及帧变量等信息

    2)功能层次关系及处理逻辑建模功能

         a) 单点功能建模模块:引导用户建立单项功能与外部输入输出接口、内部接口以及操作组信息之间的关联关系,建立单点功能与不同工作状态之间的关联关系。引导用户针对单点功能需求中的操作行为进行建模,以描述单点功能的处理逻辑关系。包括判断条件、动作、数据点等功能操作过程行为元素

         b) 功能层次及组合关系建模模块:引导用户以图形化的方式描述多项软件功能之间的层级从属关系、组合关系等信息

    3)工作状态及其迁移关系建模功能

         a) 工作状态建模功能:引导用户描述软件所有工作状态信息,并建立工作状态与软件功能之间的关联关系

         b) 状态路径迁移建模功能:引导用户描述工作状态的迁入与迁出条件。以图形化的方式建立工作迁移之间的不同迁移路径与节点信息,包括入口、出口、单点状态、组合状态、决策点等

    4)软件需求文档自动生成功能

    依据所建立的软件需求模型信息,自动生成符合GJB 438B要求的软件需求规格说明文档。将软件研发人员从繁琐的需求文档编制工作中解放出来,而将主要精力投入到软件需求分析工作中。

    (2)主要技术指标

    1)支持的需求建模指标包括:

         a) 接口数不少于200个

         b) 软件功能数不少于200个

         c) 软件工作状态数不少于100个

         d) 软件迁移路径数不少于100条

    2)支持接口类型包括:开关量、模拟量、频率量、RS-232、RS-422A、RS-485、ARINC 429、MIL-STD-1553B、以太网、AFDX、CAN、FC、1394等。同时允许用户自定义其它类型接口

    3)自动生成符合GJB 438B标准要求的软件需求文档,具有如下指标:

         a) 支持Microsoft Office Word 2007的文档自动生成

         b) 具有对用户定制模板的扩展能力

    3. 配套条件

    计算机硬件配置要求为:

    ●   CPU:Inter Core2 Duo主频2.4GHz 及以上;

    ●   内存:4G及以上;

    ●   硬盘空间:100GB及以上

    ●   显示器分辨率1024*768及以上

    ●   标准鼠标、键盘

    计算机软件环境要求为:

    ●   操作系统Windows XP/Win7 

    ●   Microsoft .NET Framework 3.5

    ●   Microsoft Office Access 2007

    ●   Microsoft Office Word 2007

    4. 进度安排

    该产品的建设周期一般为3个月,如有定制需求,则相应增加定制时间。



    本网站由阿里云提供云计算及安全服务