RTCASE实时系统结构化分析、设计工具

结构化分析和设计方法已成功地用于国外大型软件系统开发，Hatley/Pirbhai针对实时系统特点提出了实时系统结构化分析方法，得到业界认可并在军工、国防领域得到广泛的应用，国内广大客户特别是军工、国防项目大多采用经典的结构化分析和设计方法，但由于缺乏足够的工具与技术支持，大多采用人工方法进行实时系统分析与设计，软件产品质量很难得到控制，创景公司与美国STGCASE公司合作开发适合国内用户的实时系统结构化分析和设计工具RTcase，同时提供实时系统结构化分析与设计方法培训与技术咨询服务。

更多>>

T-vec基于需求与设计测试与验证工具

    在系统或软件测试与验证过程中，测试用例设计是极为重要的一项工作。目前，不论在单元测试、集成测试还是系统测试阶段大都采用人工方式进行测试用例设计。人工方式设计的测试用例随意性较强，需花费大量的人力和时间，并且受到设计人员水平等多方面因素的影响，用例设计缺乏全面性和客观性，难于实现测试用例对于需求的全面准确的追踪，从而难以保证对于被测试软件的全面准确的验证和测试。T-VEC公司基于需求与设计的测试与验证工具可以帮助客户自动生成测试向量与测试驱动，并分析需求模型或设计模型中的缺陷。

更多>>

LDRA Testbed/TBsafe/TBrun 软件质量保证工具

   LDRA公司是全球公认的软件测试技术与工具领导者，LDRA TESTBED工具是改进软件开发过程与测试过程的有效手段，同时具有静态测试与动态测试功能，适用于软件测试各阶段。LDRA为软件开发人员、测试人员以及项目管理人员提出了革命性的新方法  零缺陷软件开发(ZDSD)。功能包括：

RTInsight嵌入式软件测试系统

　　随着嵌入式实时系统的广泛应用，嵌入式软件可靠性越来越成为系统能否正常运行的关键，由于传统主机平台软件测试工具的局限性，给嵌入式平台软件测试带来很大的困难。
RTInsight充分考虑到嵌入式软件实时性特点，结合使用LDRA公司静态分析与代码自动插装技术，可成功用于实时嵌入式系统集成与系统测试，提供代码覆盖率分析、性能分析、变量监控、堆栈监控及系统跟踪功能。

更多>>

Absint公司堆栈分析与性能分析工具

    在实时苛刻性系统中，执行时间与堆栈的使用往往是系统能否正常运行的关键，因此评估与测量系统最坏执行时间及堆栈使用非常关键，传统的对系统执行时间测量及堆栈估算方法一般是基于经验推测或动态测量，由于动态测量方法不可能测量所有情况下系统执行情况，因此很难准确评估出系统最坏执行时间与堆栈使用情况，Absint公司WCET与堆栈分析工具采用纯静态方法分析程序所有情况下执行时间与堆栈使用情况，从而可以判断出系统最坏执行时间与堆栈使用。

更多>>

Xception故障注入系统

在航空航天、国防、通讯及商业等行业越来越多地出现使命苛刻和业务苛刻系统，这类系统高可靠性、高可用性及高安全性方面的要求给现今软件工业带来新的挑战，这些系统的失败将导致大量的经济损失甚至威胁到人类的生命，在使用这些系统前，必须经过精细的测试以确保系统特别是系统内建的容错机制如期正常工作。为确保系统正确地响应非正常或异常事件需要突破传统的测试方法，故障注入技术满足了这一要求。

更多>>

Perennial编译器验证工具

Perennial公司致力于开发C、C++、Embedded C++和Java?语言的编译器验证套件，具有公认的一致性测试实验室，提供C、C++和POSIX的品牌认证。 作为一致性评估战略的重要组成部分，全球超过200个计算机系统生产厂家、编译器开发商、独立运作的测试实验室、政府机构和广泛的终端用户已经使用了Perennial验证套件和一致性测试服务。过程中实现了工具、服务和实施的无缝集成，有效地实现了从概念到发布的全过程。

更多>>

Realtime Studio基于UML实时系统分析、设计工具

    面向对象技术已经成功地运用到信息系统软件中，并已形成一系列组件开发标准如COM及CORBA。UML统一建模语言提供一系列完整的从需求分析到设计的建模方法，并越来越受到广大开发人员的青睐，然而面向对象技术在实时嵌入式系统中并为得到广泛运用，其主要原因是众多工具厂商并未针对实时系统所固有的特点作充分的描述。随着嵌入式微处理器发展，很显然实时系统开发需要新的工具与方法。

　　当前的面向对象分析与设计方法主要集中于系统中软件部分，对于实时系统市场来说是不可接收的，实时系统开发要求实用的完整的描述整个系统而并非只是软件部分。ARTiSAN公司提供的基于UML的面向对象的建模方法专门针对实时系统，是实际可行的实时系统与软件分析、设计方法与工具。

更多>>

Windriver产品

　　Windriver是全球最大的嵌入式系统工具供应商，其产品覆盖整个嵌入式产品开发，产品包括嵌入式开发板/评估板、仿真器（visionICE/visionPROBE)、编译器、调试器及实时操作系统（vxWorks），是业界领导者。上海创景拥有具有丰富经验的技术支持工程师与销售工程师，从事嵌入式产品开发多年，具有丰富的嵌入式产品技术支持经验，是客户开发嵌入式产品的强有力的帮手。

更多>>

ERC32 产品系列

ERC32 CPU (Atmel TSC695) 是高可靠性、高性能、具有容错抗辐射功能的32位 RISC 结构的CPU，在国内、外航空、航天等领域得到广泛应用。创景针对ERC32应用，提供从评估板(TSC695EVB)、JTAG仿真器(ERC32MDS)、操作系统(RTEMS，VxWORKS)及编译调试等一系列开发环境，ERC32 MDS 微处理器开发系统是市面上唯一支持以太网口方式的ERC32仿真器。ERC32 MDS基于ERC32微处理器内置的JTAG调试口，不占用目标系统资源，做到实时仿真与调试ERC32目标平台。ERC32 MDS 提供完整的硬件、软件调试环境，提供丰富的板极硬件调试、FLASH编程及软件调试与测试功能。　

更多>>

LEON产品

创景公司LEON MDS 微处理器开发系统是以太网口方式的LEON2/LEON3仿真器。LEON MDS使用LEON2 / LEON3微处理器内置的DSU设计，不占用目标系统资源，做到实时仿真与调试LEON目标平台。LEON MDS 提供完整的硬件、软件调试环境，提供丰富的板极硬件调试和软件调试功能。

更多>>

ARMice开发系统

　　ARMice是高性能实时仿真器。支持ARM7，ARM9，xScale, MIPS等全系列CPU。具有无与伦比的下载速度，领先全球同行。功能强大的Flash PROM烧写，支持几乎所有的Flash PROM。一键通功能，解决了生产时Flash PROM大量烧写的问题。独特的Standalone模式，可以在还没有目标板的时候，就可以进行项目的开发。在Windows下的源程序调试器，使您开发嵌入式Linux得心应手。

更多>>

Gaisler Research

　　GAISLER Research 提供SPARC结构方面的CPU的VHDL IP 内核及相应的开发工具。主要产品是LEON，LEON II，ERC32方面的处理器模块、以及行为仿真，FPAG开发板、交叉编译工具。同样也提供ASIC/FPGA设计的解决方案和CCSDS在空间遥感、遥控方面的应用。

更多>>

XJTAG产品

　　XJTAG是由专门从事实时嵌入式系统开发的专家(英国剑桥大学)设计的，主要针对越来越多的BGA器件和chipscale （芯片级规模器件）。

　　XJTAG：用于硬件线路板的平台开发、测试、制造、维修和现场测试，不仅可以测试JTAG器件， 而且，也可以用在非JTAG器件上。

更多>>

Fanfare iTest^TM

Fanfare提供的测试用例设计与执行方案可实现QA各阶段的自动化，使得开发和测试团队的所有人员能够共用统一的自动化测试平台，进而降低开发成本，提高产品质量，大大简化并加速了整个质量保证（QA）组织的测试进程。

更多>>