ENGLISHCasePlayer2评估版下载
  产品概览
嵌入式开发解决方案
软件工程解决方案
DSP应用产品
总线测试解决方案
宽带应用解决方案
信息安全终端解决方案
军用PDA及其他产品
行业应用PDA解决方案
研发及定制服务

 

 

 

 

 

 

 

 

 

 

 

 

 

 

首页 >> 产品信息

产品--软件工程解决方案--实时系统

RT-Builder 多处理器/多总线系统实时体系的建模和验证的解决方案 

RT-Builder 是一个完整的解决方案,致力于多总线、多处理器环境中动态实时体系结构的建模、仿真和验证。

使用 RT-Builder ,用户能够建模、仿真和验证系统实时规范,并深入开发系统原型,即使硬件和功能应用还未存在。

主要好处

使用 RT-Builder ,用户可以为控制和数据两者建立模型并管理其中的交互作用,同时处理并发性、多任务、抢占优先、共享资源、事件路由和过滤、 FIFO 缓冲等操作。

在 RT-Builder 的结构模型中,用户能够导入包含功能性行为的实际模型,仿真和 / 或验证以使整个应用符合系统结构的整体需求。这种重要的能力为用户提供了集成 Simulink TM /StateFlow TM 设计和 C 代码可能。

应用领域

RT-Builder 的应用范围包括控制系统、嵌入式软件、实时系统、信号处理和安全性要求很高的软件(软件失效会导致严重的后果)。这些通常应用在航空航天、国防、运输器械、能源和通信等工业领域。

基础技术

RT-Builder 的核心技术是 SIGNAL 语言( INRIA )。这种语言的形式化同步语义允许用户严格地描述 RT-Builder 模型及对其进行确定性的仿真。

RT-Builder 的库

RT-Builder 的一个主要能力是对基于实时操作系统(如 OSEK )和总线(如 CAN 、 MIL-STD-1553 、 AFDX 、 CORBA )库的分布式多处理器实时体系的描述,它使得工程师可以开发符合航空和汽车工业标准的应用。 RT-Builder 的库便于升级,也可根据客户的特定需求定制相关的模块。

主要特性

•  允许用户建模和仿真实时应用中所有的非功能性方面( RTOS 、任务、总线、处理器、调度、优先级、资源共享等)

•  为了实施全局仿真,允许用户导入和仿真实时应用中的功能性方面( C 代码、 Simulink/StateFlow 离散时间设计)

•  提供了方便的分布式多处理器体系的建模( RTOS 模型库、总线模型库)

•  混合了数据流和控制流的事件驱动( Event-driven )仿真器(用户驱动 (user-driven) 仿真、基于场景 (scenario-based) 的仿真、随机 (random-based) 的仿真等)

•  集成调试器(单步 / 多步、记号、断点、用户定义的观察器以观察事件,等等)

•  高级计算能力( CPU 负载、总线负载、数据传输时间、任务定时,等等)

•  后处理( Post-processing )能力

•  对需求跟踪的支持(专用的需求跟踪编辑器)

•  自动产生文档( ASCII , LaTeX , MiF , PostScript , RTF )

主要应用

RT-Builder 被 Airbus 广泛地用于 A380 嵌入式软件的开发当中, Hispano-Suiza ( SNECMA 组织)用它开发民用、军用飞机引擎的程序。

在 European R&D 项目中, TNI-Software 同以下组织建立了 RT-Builder 的合作关系: Hispano-Suiza , Israel Aircraft Industries , MBD 和 Renault 。

支持的环境

•  PC : WindowsNT4,2000,XP

SUN Solaris & PC Linux :(计划中)

 

 

 
返回