RTDS 基于模型的嵌入式軟件開發工具

√需求建模  √模型檢查  √模擬仿真  √形式驗證  √代碼自動生成  √文檔自動生成

RTDS（Real Time Developer Studio）是由Pragmadev公司推出的一款基于模型的嵌入式軟件開發工具。該工具基于UML、SysML、SDL以及SDL-RT等語言進行系統建模和描述，提供完善的系統流程圖、標準化的軟件說明文檔，并可對系統功能進行模擬仿真，最終自動生成完整的C/C++源代碼，用戶可以直接對圖形化模型進行動態的測試和修改，最終可自動生成文檔。

RTDS能有效節省50%-70%的開發工作量，提高20%多的軟件質量和項目管理水平，工具已大量應用于航空/航天、汽車、電力、通訊、環境等領域。

RTDS 完全支持嵌入式系統以及嵌入式操作系統，支持事件驅動。

工具特性:

● 可以創建完整的C/C++源代碼，由模型生成的高質量的集成代碼，既可以作為系統模型或代碼級的調試驗證，也可以作為最后系統應用程序。 

● 支持對已有代碼的無縫集成。

● 獨有的動態模型/代碼關聯功能，雙向的同步。

● 支持實時框架技術，通過實時框架，應用程序可以方便的從一個實時操作系統（RTOS）移植到另外的RTOS系統上。

● 可無縫支持ThreadX，VxWorks，pSOS，QNX，MSWindows，Linux，Unix，Nuleus。

● 支持報告文檔的自動生成，文檔格式支持RTF、OpenDocument、HTML或SGML等格式。

● MSC tracer是一款圖形化追蹤工具。它基于國際標準，采用標準的圖形化表現形式。在開發早期階段就可檢測出設計錯誤支持與Verimag, LAAS, or CEA 互聯，相通自動的系統優化以及性能分析功能功能

● TTCN-3: 測試以及測試控制根據國際標準通信聯盟Z.140

1、需求建模

RTDS通過圖形化建模來實現軟件開發的自動化，將用戶從冗長枯燥的任務中解放出來，有更多的時間去關注其他更重要的領域。RTDS 提供3級建模方式（非正式、半正式、正式），非正式模型以表達一個想法或者一個概念，半正式模型以實現從概念到實施之間的連接，以及正式模型可在實施之前進行全面驗證。

● 實時任務分解同時進行

● 任務通信

● 同步

● 支持單系統以及多板多機系統

2、模型檢查

在圖形化建模后，RTDS中的MSC tracer模塊可以對建立的模型進行檢查：MSC tracer提供的圖形表示形式:

3、模擬仿真

在系統建模后，RTDS仿真器可以對整個系統或是系統中任意一個模塊進行模擬仿真。RTDS仿真器是一個強大的可視化的圖形調試工具，可以設置斷言、斷點、中斷條件、信號等等；可以檢查輸入數據、內部的變量和輸出數據的值；還可以記錄和回放仿真的場景。

4、形式驗證與調試

模擬和仿真能夠在一定程度上測試系統的模型是否很好實現我們所期望的功能，經過模擬仿真測試的系統安全性并不能完全得到保證。RTDS內置的形式驗證的功能解決了這個問題。

依據用戶條件工具設計好了一個“形式驗證器”之后，用戶只需按一個鍵就可驗證模型。保證了目標系統的安全性，形式驗證遵循TTCN-3標準。

5、代碼自動生成

經過仿真和形式驗證，保證了模型的安全、完整以后，RTDS可以自動生成面向工程的C/C++源代碼。和其它的許多代碼生成器相比，RTDS生成的代碼有二個顯著的特點：

第一：RTDS所生成的代碼完全面向工程。

第二，RTDS基于嚴格的數據理論，它保證所生成的代碼的正確性，并承諾所生成的代碼的行為和仿真的行為完全一致。

產生代碼結構

從模型到生成代碼示意圖

6、原型機接口

RTDS完全支持用戶自定義的系統架構以及仿真人機界面。可以將仿真，跟蹤，SDL 模型，人機界面融為一體

7、調試環節

● 支持多種嵌入式環境

● 支持多種嵌入式操作系統

● 支持狀態調試

● 支持多任務事件

● 支持消息隊列

● 支持實時定時器操作

● 約支持模型調試，代碼調試，任務級調試

8、 文檔自動生成

RTDS文檔自動生成工具可以自動生成你的系統的全部文檔，文檔可被自動生成為RTF、OpenDocument、HTML或SGML格式。

支持的實時操作系統種類

RTDS工具支持的實時操作種類有：ThreadX , VxWorks、OSE、 OSE Epsilon、 CMX RTX、 Nucleus、 Posix、和 Win32

工具運行平臺

RTDS工具運行平臺有：Windows，Linux，Solaris