裝備電子系統的研發、測試、保障解決方案中心

      ● 需求追蹤

          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。

      ● 代碼自動生成

         在建?；顒拥娜魏坞A段，都可選擇生成一個可以編譯的代碼文件集和相應的makefile文件。支持的目標語言是Ada，C和C ++。

       ● Round-trip工程和逆向工程

         當詳細設計活動尚未完全完成，底層代碼細節還未在ODS段內顯現，可以在Stood外使用注釋源文件來豐富文本信息，然后重新導入到工具，以更新設計模型。此外，以前用Ada或C寫成的源代碼可導入Stood生成相應的設計組件。

      ● 設計文檔

         文檔生成是大多數項目的一個重要且耗時的活動。使用Stood可以自動生成一個完整的設計文檔，這個文檔與由相同設計生成的源代碼的結構保持一致。Stood文檔工具可以生成PDF、HTML、RTF和MIF格式的文檔。