装备电子系统的研发、测试、保障解决方案中心

      ● 需求追踪

          Stood本身提供一个简单而有效的需求追踪方法，保证系统软件模型和最初需求之间的实时可追溯性。需求可以从纯文本文件或远程工具导入。

      ● 架构设计

        Stood 图形编辑器用于构造软件及其环境的模型（库，执行平台，……）。Stood图形化建模的意图不是显示被开发的系统和软件的细节，而是聚焦在系统架构问题上的设计工作。此外，Stood支持的图形模型语言是分层的，所以可用作大规模体系结构的应用设计。

      ● 模型实例

        大部分基于模型的工具执行图形设计抽象实体时，通常是通过UML类图来标识；而出于分析系统行为的目的，特别是在实时系统的情况下，这样的抽象模型需要在被处理之前首先实例化。与之不同的是，Stood使设计者直接建立一个实例模型，如有必要可以从一个抽象模型中提取实例模型。这种方法显著地增加了架构设计和验证活动之间相互作用的能力。

     ● 详细设计

       一般的图形设计不能有效地表达大规模系统和软件模式的详细细节，Stood为此提供了一个专门的解决方案，丰富所有底层的细节架构模型。这些模型执行适当的模型处理，例如模型校对、代码及文档生成。Stood的详细设计基于HOOD对象描述框架（ODS），它是完全可定制化的，可以支持AADL特性和用户自定义配置。一个ODS可以附属于每个架构模型的组件。在详细设计的最后，Stood模型是详尽的，可以作为应用程序的参考，自动生成跟设计保持一致的代码和文档。

      ● Stood设计检查器

        Stood含有一套通过LMP技术来实现的静态模型校验工具。在建立AADL 和HOOD模型期间，Stood可以自动更新交叉引用表，可用的校验工具是：

       ■ 交叉引用

       ■ 调用树及数据访问图

       ■ HOOD设计规则检查器

       ■ AADL合法性规则检查器

       ■ 软件设计度量

       ■ 可调度性分析

       ■ 需求覆盖分析

此外，用户自定义的校验工具可添加为“即插即用”方式，以便Stood对项目进行特殊验证。

      ● 远程分析工具

        借助于Stood的AADL接口，远程模型设计检查器可以非常容易地与Stood进行连接，比如强大的实时性能分析工具Cheddar、多代理实时仿真器Marzhin。

      ● 代码自动生成

         在建模活动的任何阶段，都可选择生成一个可以编译的代码文件集和相应的makefile文件。支持的目标语言是Ada，C和C ++。

       ● Round-trip工程和逆向工程

         当详细设计活动尚未完全完成，底层代码细节还未在ODS段内显现，可以在Stood外使用注释源文件来丰富文本信息，然后重新导入到工具，以更新设计模型。此外，以前用Ada或C写成的源代码可导入Stood生成相应的设计组件。

      ● 设计文档

         文档生成是大多数项目的一个重要且耗时的活动。使用Stood可以自动生成一个完整的设计文档，这个文档与由相同设计生成的源代码的结构保持一致。Stood文档工具可以生成PDF、HTML、RTF和MIF格式的文档。