STOOD是什么

這篇文章主要講解了“STOOD是什么”，文中的講解內(nèi)容簡單清晰，易于學(xué)習(xí)與理解，下面請大家跟著小編的思路慢慢深入，一起來研究和學(xué)習(xí)“STOOD是什么”吧！

近年來，隨著硬件設(shè)備計(jì)算能力的不斷提高，性能關(guān)鍵實(shí)時(shí)系統(tǒng)的規(guī)模和復(fù)雜性急劇增加，導(dǎo)致其開發(fā)成本和非功能屬性的要求也越來越高，這對(duì)其開發(fā)中的設(shè)計(jì)合理性，驗(yàn)證完備性以及開發(fā)效率等方面都帶來了一定的挑戰(zhàn)。STOOD工具，可對(duì)自動(dòng)飛行系統(tǒng)進(jìn)行架構(gòu)設(shè)計(jì)，并對(duì)模型進(jìn)行可調(diào)度分析及進(jìn)行運(yùn)行時(shí)的方針驗(yàn)證，使系統(tǒng)設(shè)計(jì)者在系統(tǒng)架構(gòu)設(shè)計(jì)時(shí)能夠及時(shí)發(fā)現(xiàn)潛在的錯(cuò)誤和問題，便于開發(fā)時(shí)及時(shí)做出調(diào)整，縮短開發(fā)周期，并避免后期損失。

 STOOD  簡介

STOOD是符合AADL和HOOD最新標(biāo)準(zhǔn)的安全關(guān)鍵系統(tǒng)軟件建模工具。它支持統(tǒng)一的建模與架構(gòu)設(shè)計(jì)語言AADL(Architecture Analysis and Desig Laguage)，AADL滿足安全關(guān)鍵的嵌入式實(shí)時(shí)系統(tǒng)的特殊需求。通過對(duì)AADL，UML和HOOD的支持，STOOD得到了持續(xù)的發(fā)展，應(yīng)用到歐洲空間局（European Space Agency）的項(xiàng)目及大量的工業(yè)項(xiàng)目。

 STOOD帶來的變化  

▼ 改進(jìn)關(guān)鍵系統(tǒng)開發(fā)維護(hù)的工程實(shí)踐

      STOOD是針對(duì)安全關(guān)鍵系統(tǒng)的建模工具，使用者在開發(fā)系統(tǒng)和軟件架構(gòu)模型的過程中，能將系統(tǒng)體系結(jié)構(gòu)表示為各交互組件的分層結(jié)構(gòu)，以軟件、硬件和物理組件的接口組成并規(guī)范系統(tǒng)藍(lán)圖，有利于組織開展大規(guī)模、基于團(tuán)隊(duì)開發(fā)的工程實(shí)踐。

▼ 提供體系結(jié)構(gòu)中心方法的分析視角

      STOOD采用體系結(jié)構(gòu)中心方法，可以用它獲取靜態(tài)的模塊化體系結(jié)構(gòu)、以通信任務(wù)為基礎(chǔ)的運(yùn)行時(shí)體系結(jié)構(gòu)、用于部署軟件的計(jì)算機(jī)平臺(tái)體系結(jié)構(gòu)，以及與之進(jìn)行交互的任何物理系統(tǒng)或環(huán)境。將自定義分析和系統(tǒng)規(guī)范與設(shè)計(jì)語言能力結(jié)合起來，為體系結(jié)構(gòu)建模和分析建立一個(gè)完整的設(shè)計(jì)、仿真和驗(yàn)證的工程環(huán)境。

▼ 關(guān)注任務(wù)系統(tǒng)運(yùn)行期間的重點(diǎn)問題

      STOOD使用在架構(gòu)和詳細(xì)設(shè)計(jì)階段，應(yīng)用在需求分析和集成之間。STOOD關(guān)注系統(tǒng)的功能性與軟硬件要素、軟件體系結(jié)構(gòu)與硬件體系結(jié)構(gòu)的對(duì)應(yīng)關(guān)系，支持多種可擴(kuò)展的分析方法，如時(shí)間正確性分析、故障時(shí)間或故障概率建模、功能行為驗(yàn)證和自動(dòng)代碼生成等，將系統(tǒng)級(jí)的問題在系統(tǒng)集成和驗(yàn)收實(shí)驗(yàn)之前顯露并推演出來，避免在開發(fā)和維修中進(jìn)行為時(shí)已晚的、昂貴的返工。

 STOOD優(yōu)勢 

■  支持實(shí)時(shí)系統(tǒng)軟件的全模型開發(fā)

UML語言與工具的發(fā)展

■  支持AADL-SAE國際標(biāo)準(zhǔn)

AADL語法要素

■    支持遺傳Ada和C代碼導(dǎo)入

通用架構(gòu)描述語言AADL的模型驅(qū)動(dòng)設(shè)計(jì)方法原理圖

■  符合工業(yè)標(biāo)準(zhǔn)-包括DO178B

 STOOD功能 

●  需求追蹤

   STOOD提供簡便和有效的方法來處理系統(tǒng)、軟件模塊以及從純文本文件或遠(yuǎn)程工具導(dǎo)入的初始需求之間的更新追蹤；

●  架構(gòu)設(shè)計(jì)

    STOOD圖形編輯器是用來創(chuàng)建軟件及其運(yùn)行環(huán)境（庫，執(zhí)行平臺(tái)，…）的架構(gòu)模型的。STOOD建立圖形化模型的意圖不是顯示所開發(fā)系統(tǒng)或軟件的細(xì)節(jié)，而是聚焦在系統(tǒng)架構(gòu)問題上的設(shè)計(jì)工作。

●  模型實(shí)例

    STOOD為設(shè)計(jì)師提供了直接進(jìn)行實(shí)例化建模能力，如果必要能夠得出抽象的模型。這種方法極大的提高了架構(gòu)設(shè)計(jì)和驗(yàn)證活動(dòng)之間的相互作用的能力。

●  詳細(xì)設(shè)計(jì)&編碼

    STOOD提供了一個(gè)專門的解決方案，使用所有低層次細(xì)節(jié)來豐富架構(gòu)模型，一致性適當(dāng)?shù)哪Ｐ万?yàn)證處理，代碼和文檔生成。STOOD詳細(xì)設(shè)計(jì)行為是基于HOOD對(duì)象描述（ODS）的概念，完全支持AADL性能和用戶定義的配置定制。

●  系統(tǒng)設(shè)計(jì)確認(rèn)

STOOD包含一組由LMP技術(shù)實(shí)現(xiàn)的靜態(tài)模型驗(yàn)證工具。這些工具嵌入在STOOD中，通過AADL和HOOD模型的構(gòu)成利用自動(dòng)更新的交叉引用表格。

●  外部分析工具接入

    除STOOD可作為設(shè)計(jì)檢查器之外，外部的模型檢查工具也可借助AADL接口輕松地與STOOD連接。

●  代碼自動(dòng)生成

    在建?；顒?dòng)的任何階段，都可選擇生成“ready to compile”的代碼文件集和相應(yīng)的makefile。支持的目標(biāo)語言為Ada，C和C++。

●  Round-trip工程和逆向工程

當(dāng)詳細(xì)設(shè)計(jì)活動(dòng)尚未完全完成，底層代碼細(xì)節(jié)還未在ODS段內(nèi)顯現(xiàn)，可以在STOOD外使用注釋源文件來豐富文本信息，然后重新導(dǎo)入工具，以更新的設(shè)計(jì)模型。此外，采用Ada或C的源代碼可導(dǎo)入STOOD生成相應(yīng)的設(shè)計(jì)組件。

●  設(shè)計(jì)文檔

生產(chǎn)文檔是大多數(shù)項(xiàng)目的一項(xiàng)重要且耗時(shí)的活動(dòng)。使用STOOD，可以自動(dòng)生成一個(gè)完整的設(shè)計(jì)文件，和一致的架構(gòu)及源代碼，也已產(chǎn)生的相同的設(shè)計(jì)參考。

●  模型分析

    AADL Inspector能加載多文本的AADL文件或項(xiàng)目，實(shí)現(xiàn)系統(tǒng)規(guī)格設(shè)計(jì)，并可通過AADL行為附錄以及錯(cuò)誤附錄進(jìn)行擴(kuò)展分析。Ellidiss及其合作者開發(fā)了AADL Inspector集成了多種分析工具，為設(shè)計(jì)工程提供遵循AS5506C標(biāo)準(zhǔn)的分析報(bào)告。

 STOOD成功案例 

Airbus A340/A380

● 用于地面和機(jī)上嵌入式軟件應(yīng)用
● 目標(biāo)和語言：Sun/Solaris Ada 83/95、Windows C/C++
● 使用HOOD設(shè)計(jì)方法和Stood工具進(jìn)行靜態(tài)設(shè)計(jì)
● 支持面向?qū)ο蟮姆椒?，提供通用的模塊化手段
● 基于抽象的數(shù)據(jù)類型（使得應(yīng)用結(jié)構(gòu)穩(wěn)定）和控制流（描述任務(wù)及其交互）

● 保證了軟件開發(fā)和編碼任務(wù)的質(zhì)量，不論目標(biāo)語言是什么，設(shè)計(jì)和代碼都是一致的，遵循了軟件工程的準(zhǔn)則

Jason-1高度衛(wèi)星

● 用于開發(fā)星載POSEIDON 2控制軟件，該軟件測量衛(wèi)星與海平面的距離
● 在DORIS系統(tǒng)開發(fā)中起關(guān)鍵作用，DORIS是決定衛(wèi)星軌道的實(shí)時(shí)系統(tǒng)
● 用于PROTEUS多任務(wù)總線的軟件設(shè)計(jì)環(huán)境
● 在上述項(xiàng)目中，Stood都被用來進(jìn)行架構(gòu)設(shè)計(jì)和軟件實(shí)現(xiàn)、代碼和文檔的產(chǎn)生

Tigre直升機(jī)

● 用于反坦克和防護(hù)任務(wù)計(jì)算機(jī)

感謝各位的閱讀，以上就是“STOOD是什么”的內(nèi)容了，經(jīng)過本文的學(xué)習(xí)后，相信大家對(duì)STOOD是什么這一問題有了更深刻的體會(huì)，具體使用情況還需要大家實(shí)踐驗(yàn)證。這里是億速云，小編將為大家推送更多相關(guān)知識(shí)點(diǎn)的文章，歡迎關(guān)注！