实时建模和测试工具系列

建 模


RTDS - 实时开发工作室

实时开发工作室软件是一款建模工具用于实时
和嵌入软件。它适合于任何通讯系统或者任何
运行在实时操作系统顶部的应用程序。它包括
必要条件,参数,原型制作,设计,目标调试
和测试。主要好处包括:

  • 质量提高达1/5
  • 减少开发时间平均35%
  • 自我文档记载应用
  • 轻便应用可从一个RTOS到另一个
  • 模型检查功能
  • 可追踪信息

它的实用性和低成本性非常容易使用,保证投资快速得到回报。详细 >

 

追 踪


MSC Tracer

PragmaDev MSC tracer是一款图形化追踪工具,
它基于国际标准。可以在线或者离线追踪你的目标
行为,采用标准的图形化表现形式。

MSC Tracer可运行于一个实时开发工作室软件许
可证或者一个便宜的专用MSC Tracer版本。我们
也提供一个免费的MSC Tracer版本,不需要许可
证,但是不能保存图形。详细 >

 

测 试

国际唯一的测试标准 TTCN-3 是实时开发工作室的一个完整部分。基于它独有的测试功能例如模板,备选方案,和并行测试部件, TTCN-3 能够轻松进行单元测试和系统验证测试。另外,RTDS中的TTCN支持可以独立测试任何对象的模型。RTDS提供实施之前的V周期顶部验证。详细 >

新闻事件


PragmaDev选择虹科为中国合作伙伴

PragmaDev开始提供免费的全功能版本MSC Tracer

PragmaDev发布它的模型开发工具支持ASN.1和生成静态代码

空中客车选择CS和PragmaDev用于开发它的空中交通控制软件

PragmaDev发布RTDS V4.0把测试和原型制作功能引入它的模型驱动开发工具中

 

公司介绍

成立于2001年,位于法国巴黎, PragmaDev是全球领先的图形化软件建模工具供应商,基于SDL国际标准,产品包括实时开发工作室软件包。适合于使用实时操作系统的所有开发团队,这个市场中有90%的开发没有使用建模工具。

主要客户包括:Airbus, Alcatel, Renault, Thomson, the French Army, Nortel Networks, the European Space Agency, Toshiba, Korean Telecom, LG Electronics, 和 Wipro。

 

  020-3874 4538;3874 4528 | sales@hkaco.com
  广州虹科电子科技有限公司版权所有 | 华南理工大学国家科技园2-504
RTDS
MSC Tracer
技术
技术支持
全部产品系列 > 开发工具 > PRAGNADEV