Rhapsody[模型驅動可視化開發軟體]

Rhapsody[模型驅動可視化開發軟體]
更多義項 ▼ 收起列表 ▲

美國I-Logix公司剛剛發布了其著名產品Rhapsody的最新版本6.0,為嵌入式系統和軟體技術帶來突破性進展。

簡介

Rhapsody 6.0是遵循UML2.0的模型驅動的(Model-Driven Development--MDD)軟體開發平台,Rhapsody能夠最大限度的讓系統、硬體、軟體和測試工程師以更加靈活和最佳化的方式協同開發和交流。

功能

支持UML2.0

支持UML2.0的增強功能。如今Rhapsody更加適合做系統建模,增強了實時建模關注的在調度、性能、時間(UML Profile for Schedulability, Performance, and Time)上的擴展;支持UML2.0新增的關鍵內容,例如Ports, Information Flows, Sequence diagram enhancements,Profile,Free Flowing Activity Diagrams等。

支持面向功能分解的結構化建模方式

在國防、航天航空、通訊、汽車、醫療領域,Rhapsody廣泛的用於系統建模,系統建模無需關注軟體實現的細節,更關注高層的功能劃分、結構分解、行為規範和需求分析。Rhapsody為系統工程師提供模組圖(Block Diagram)捕獲總體系統結構。

在Block Diagram中,可以進一步增加系統結構的細節,達到自頂向下設計的目的。同時支持傳統的軟體建模常用的數據流的概念(Flows)。Flows是連線不同Block的單向或者雙向的數據流,可以攜帶不同類型的數據項。Flows 和Functional Block可以很容易支持C4ISR結構框架。

圖一 數據流和功能模組建模(Block Diagram)

模型/代碼的相關

模型/代碼相關是Rhapsody特有的技術。模型/代碼相關是Rhapsody特有的技術。軟體代碼實現不再是一個單獨的依靠手工編寫的過程。在Rhapsody中,軟體代碼可以由模型動態生成;反過來,代碼的修改也可以反映到模型中來。模型可以產生高質量的代碼,這種代碼既可以作為系統模型驗證的代碼,也可以是系統最後提交的代碼,並且這些簡潔、可讀性好的代碼可以在其他商業IDE中很容易的被調試。

圖二模型/代碼相關(點擊看動畫)

可執行的模型

Rhapsody可以讓UML模行動起來,就是說Rhapsody代碼在目標機上運行的同時,運行情況動態反饋到設計模型中來,例如基於狀態圖的斷點設定、在順序圖上捕捉不同對象之間的訊息映射等等。在進行設計級調試的同時,Rhapsody支持與代碼級調試工具的聯合調試。通過模型級/代碼級聯合調試、驗證,能夠直觀地儘早發現系統的設計錯誤或缺陷,從而較早地確定或降低項目風險。

圖三:可執行模型,可以在構件系統時對設計進行調試和驗證(點擊看動畫)

實時框架

一般嵌入式套用中有60-90%的代碼用於內務處理,如狀態機的實現、任務間的通信、容器類的實現、設計模式的套用、時鐘機制的運用等等。這些代碼被反覆的編寫,耗費了程式設計師的大量精力。在Rhapsody中,這些代碼可以通過實時框架來自動實現。實時框架是一個垂直框架,提供了一套為嵌入式和實時套用專門選擇和最佳化的設計模板。實時框架使得設計得模型與作業系統無關,通過實時框架,應用程式可以方便的從一個實時作業系統移植到其他的作業系統。同時,實時框架可以被配置和擴展,以適套用戶自己特別的作業系統和中間件。

圖四:實時框架結構

對C語言的專門最佳化

Rhapsody 6.0包含大量的C語言的最佳化和增強功能,體現在對於實時框架調用和VTBL的最佳化、使用inline和macro加快調用速度,更重要的是增加了Interrupt-Driven Framework(IDF,中斷驅動框架),這樣,Rhapsody模型可以運行在8位/16位無作業系統CPU及基於各種DSP的目標機上。

逆向工程

Rhapsody可以很方便的把利用其他工具開發產生的代碼引入模型中,做為模型的一部分,從而提高開發效率,提高以有技術的利用率。

文檔自動生成

Rhapsody可以生成高質量的中文文檔,可以生成軟體套用所需的框架結構、運行庫、編譯檔案、通訊方式、實施策略等。而且模型和代碼的一致性更保證了文檔和代碼的一致性,為我們順利的完成開發、後期經驗的累積提供了很好的平台。可以通過定製模板,來生成適合具體工作要求的文檔。

需求管理

在項目的整個生命周期中,捕獲、跟蹤與管理用戶需求及需求變化的流程是項目成功的基礎。Rhapsody 6.0提供了需求管理套件GateWay,可以編輯、跟蹤和管理項目中建立起來的所有需求,以保證產品結果符合客戶定義的需求,與Word、Excel和PDF有很好的集成。需求管理在開發周期中是自始至終都存在的,而且需求管理同項目管理式密不可分的。有明顯的事實可以說明減少需求的錯誤對套用軟體開發人員實現按時且在預算內交付高質量軟體的目標是最有效的行動。為了建造高質量的系統,首先必須定義需求,然後使開發來滿足需求。需求不僅僅是對技術人員很重要,對其他人員也很重要。

基於模型的測試

擴展的MDD理應包含MDT(Model Driven Testing),Rhapsody ATG(Automatic Test Generation自動測試生成)提供高覆蓋率的測試用例,用於MC/DC分析,符合Do178B標準。ATG生成的測試用例提供給Rhapsody附加模組TestConductor,也可以輸出給第三方的測試執行工具如VectorCast、LDRA等執行測試。

圖五:基於模型的測試工作原理

團隊開發的廣泛支持

使用Rhapsody,開發團隊將可以無縫和高效的在模型驅動的開發環境合作開發,Rhapsody的集成開發技術,將系統級和軟體級的設計、代碼和文檔進行共享、重用以及集成變得十分容易。使得開發團隊通過網路或者區域網路進行很好的協作。

開放的軟體

Rhapsody 6.0是開放的系統,可以很容易的用Rhapsody作為核心,構造一個協同的適合團隊開發的和強實時性要求的 嵌入式軟體開發環境。Rhapsody是一個開放的、可定製的、可擴展的設計平台。Rhapsody提供與市場上提供的優秀的 配置管理工具、需求管理跟蹤工具和測試 分析工具的接口,如ClearCase、PVCS、CVS、Doors等。另外,利 用Rhapsody的API和XMI數據接口,Rhapsody可以與開發工具鏈上的任何工具相連線。加上Rhapsody提供的可視化的模 型區分與合併功能,真正使團隊協作成為可能。同時,Rhapsody提供對標準的XML格式的支持,方便開發者共享他們 的設計成果。總之,開發人員對於合作設計和遠程團隊開發的選擇不會因為Rhapsody而受到任何限制。

圖六:開放的Rhapsody

根據第三方的報告,Rhapsody正在迅速成為國防/航空航天領域首選的MDD(模型驅動開發,Model Driven Development)開發環境,在一系列項目中被作為主要開發工具來使用,如Joint Strike Fighter (JSF), Future Combat Systems (FCS) and F-22等,同時在通訊、醫療、汽車和消費電子等領域贏得快速持續的增長。

C4ISR新一代標準DoDAF套用平台

美國I-Logix公司是全球領先的自動化解決方案供應商,旗下最新發布的Rhapsody DoDAF是完全遵從美國國防部DoDAF標準的執行建模工具組件。支持所有DoDAF中定義的26種“產品”。

DoDAF目的在於確保架構說明可在不同組織和專業領域間比較和關聯,其中包括多國任務、多軍種聯合作戰和業務領域。它通過操作面、系統面和技術標準面三種視圖面為系統架構描述提供了規範。

I-Logix同期發布Rhapsody ATG自動測試生成組件,全面支持DoDAF測試用例自動生成。Rhapsody TestConductor提供可執行模型自動驅動測試功能。具備高級文檔同步功能,自動生成或同步文檔,支持DoDAF標準。

DoDAF-美國國防部架構框架

C4ISR系統,也稱為“軍隊指揮自動化”系統。美軍新時代軍事轉型的核心,是從以平台為中心轉向以網路為中心,並將“網路中心戰”列為未來的主要作戰樣式,提出了開發建設將陸、海、空和太空的各種感測器系統、指揮控制系統和武器系統集成為一體的系統之系統。為此,美國制定了(DoDAF)標準,替代了C4ISR AF2.0框架成為目前最新的美軍C4ISR系統標準。

相關詞條

熱門詞條

聯絡我們