stood是什么意思(STOOD是什么)

近年來,隨著硬件設備計算能力的不斷提高,性能關鍵實時系統的規模和復雜性急劇增加,導致其開發成本和非功能屬性的要求也越來越高,這對其開發中的設計合理性,驗證完備性以及開發效率等方面都帶來了一定的挑戰。STOOD工具,可對自動飛行系統進行架構設計,并對模型進行可調度分析及進行運行時的方針驗證,使系統設計者在系統架構設計時能夠及時發現潛在的錯誤和問題,便于開發時及時做出調整,縮短開發周期,并避免后期損失。

STOOD 簡介

STOOD是符合AADL和HOOD最新標準的安全關鍵系統軟件建模工具。它支持統一的建模與架構設計語言AADL(Architecture Analysis and Desig Laguage),AADL滿足安全關鍵的嵌入式實時系統的特殊需求。通過對AADL,UML和HOOD的支持,STOOD得到了持續的發展,應用到歐洲空間局(European Space Agency)的項目及大量的工業項目。

STOOD帶來的變化

▼改進關鍵系統開發維護的工程實踐

STOOD是針對安全關鍵系統的建模工具,使用者在開發系統和軟件架構模型的過程中,能將系統體系結構表示為各交互組件的分層結構,以軟件、硬件和物理組件的接口組成并規范系統藍圖,有利于組織開展大規模、基于團隊開發的工程實踐。

▼提供體系結構中心方法的分析視角

STOOD采用體系結構中心方法,可以用它獲取靜態的模塊化體系結構、以通信任務為基礎的運行時體系結構、用于部署軟件的計算機平臺體系結構,以及與之進行交互的任何物理系統或環境。將自定義分析和系統規范與設計語言能力結合起來,為體系結構建模和分析建立一個完整的設計、仿真和驗證的工程環境。

▼關注任務系統運行期間的重點問題

STOOD使用在架構和詳細設計階段,應用在需求分析和集成之間。STOOD關注系統的功能性與軟硬件要素、軟件體系結構與硬件體系結構的對應關系,支持多種可擴展的分析方法,如時間正確性分析、故障時間或故障概率建模、功能行為驗證和自動代碼生成等,將系統級的問題在系統集成和驗收實驗之前顯露并推演出來,避免在開發和維修中進行為時已晚的、昂貴的返工。

STOOD優勢

■ 支持實時系統軟件的全模型開發

UML語言與工具的發展

■支持AADL-SAE國際標準

AADL語法要素

■ 支持遺傳Ada和C代碼導入

通用架構描述語言AADL的模型驅動設計方法原理圖

■ 符合工業標準-包括DO178B

STOOD功能

●需求追蹤

STOOD提供簡便和有效的方法來處理系統、軟件模塊以及從純文本文件或遠程工具導入的初始需求之間的更新追蹤;

● 架構設計

STOOD圖形編輯器是用來創建軟件及其運行環境(庫,執行平臺,…)的架構模型的。STOOD建立圖形化模型的意圖不是顯示所開發系統或軟件的細節,而是聚焦在系統架構問題上的設計工作。

●模型實例

STOOD為設計師提供了直接進行實例化建模能力,如果必要能夠得出抽象的模型。這種方法極大的提高了架構設計和驗證活動之間的相互作用的能力。

●詳細設計&編碼

STOOD提供了一個專門的解決方案,使用所有低層次細節來豐富架構模型,一致性適當的模型驗證處理,代碼和文檔生成。STOOD詳細設計行為是基于HOOD對象描述(ODS)的概念,完全支持AADL性能和用戶定義的配置定制。

●系統設計確認

STOOD包含一組由LMP技術實現的靜態模型驗證工具。這些工具嵌入在STOOD中,通過AADL和HOOD模型的構成利用自動更新的交叉引用表格。

●外部分析工具接入

除STOOD可作為設計檢查器之外,外部的模型檢查工具也可借助AADL接口輕松地與STOOD連接。

●代碼自動生成

在建?；顒拥娜魏坞A段,都可選擇生成“ready to compile”的代碼文件集和相應的makefile。支持的目標語言為Ada,C和C++。

●Round-trip工程和逆向工程

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

●設計文檔

生產文檔是大多數項目的一項重要且耗時的活動。使用STOOD,可以自動生成一個完整的設計文件,和一致的架構及源代碼,也已產生的相同的設計參考。

●模型分析

AADLInspector能加載多文本的AADL文件或項目,實現系統規格設計,并可通過AADL行為附錄以及錯誤附錄進行擴展分析。Ellidiss及其合作者開發了AADLInspector集成了多種分析工具,為設計工程提供遵循AS5506C標準的分析報告。

STOOD成功案例

Airbus A340/A380

●用于地面和機上嵌入式軟件應用
●目標和語言:Sun/Solaris Ada 83/95、Windows C/C++
●使用HOOD設計方法和Stood工具進行靜態設計
●支持面向對象的方法,提供通用的模塊化手段
●基于抽象的數據類型(使得應用結構穩定)和控制流(描述任務及其交互)

●保證了軟件開發和編碼任務的質量,不論目標語言是什么,設計和代碼都是一致的,遵循了軟件工程的準則

Jason-1高度衛星

●用于開發星載POSEIDON 2控制軟件,該軟件測量衛星與海平面的距離
●在DORIS系統開發中起關鍵作用,DORIS是決定衛星軌道的實時系統
●用于PROTEUS多任務總線的軟件設計環境
●在上述項目中,Stood都被用來進行架構設計和軟件實現、代碼和文檔的產生

Tigre直升機

●用于反坦克和防護任務計算機

感謝各位的閱讀,以上就是“STOOD是什么”的內容了,經過本文的學習后,相信大家對STOOD是什么這一問題有了更深刻的體會,具體使用情況還需要大家實踐驗證。這里是本站,小編將為大家推送更多相關知識點的文章,歡迎關注!