RTDS基于模型的嵌入式开发工具

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