FLIPPER是一套在旨在评估Xilinx VirtexII系列SRAM-FPGA上单粒子翻转（SEU）效应的工具，即用来模拟内部资源中的由于辐射引起的单粒子翻转效应，来配置内存和重新配置逻辑。在基于静态存储的FPGA中，用户设计是通过配置存储在静态存储单元中的数据来实现的，这些存储单元可以动态重配置先验无限次数。在静态存储中的单粒子翻转事件通过（“1”转“0”和“0”转“1”）来表示翻转效果，一般称为位翻转。由于基于测试的设计是在一块放在控制板上的单独的DUT板上进行实施，FLIPPER在建立故障注入时便可提供高度的灵活性。这样就允许通过实施相应的DUT板和评估不同设备上的一个单一设备来实现测试不同的设备。此外还可以得到各种不同的测试工作频率，也可以在一个广泛的范围内定义测试信号的数量。SEU是通过比特流操纵注入的。单个和多个SEU都可以注入。在多SEU情况下，同框架中的两个相邻位被同时修改一次。DUT行使一整套的测试向量之后，都会执行一次单一注射。注射的效果则取决于总结以往的影响。注入SEU在比特流中的位置可以是随机、顺序、或由用户定义的。顺序意思是在配置存储器或配置控制寄存器中的比特流中的每一个字节都是通过顺序访问来获取和修改的。用户定义的意思是，通过文本文件来选定位置进行注射。FLIPPER提供从Mentor导入的接口，FLIPPER的注射结果可以很容易的导入到工作表格或数据库中。 系统描述：——————————————————————————————————l 该系统包括三个主要部分：Ø 一个灵活的基于FPGA板（控制板），以规范故障注入程序；Ø 一个DUT（被测设备）板，包含要测试的FPGA，XQ2VR6000设备；Ø 一台个人电脑。FLIPPER管理多达150个三重测试信号，包括一个同步测试时钟（朝向DUT）、以及从DU...
产品简介：——————————————————————————————————Exhaustif是西班牙MTP公司推出的用于软件和硬件故障注入测试的软件平台。它采用先进的软件故障注入(SWIFI)技术，可实现异常情况下对系统功能进行测试，从而发现系统弱点，帮助系统设计者充分评估系统风险与缺陷，验证系统RAMS（可靠性、可用性、维护性及安全性）。Exhaustif由Exhaustif 执行管理(EEM)和故障注入内核(FIK) 两部分组成。EEM可通过图形用户界面定义故障注入行为，并调用SQL数据库来保存测试结果，便于事后分析。FIK位于被测系统上，接收来自EEM的指令对被测系统中的应用程序执行故障注入测试。 执行管理模块(EEM)负责故障注入实验管理，可同时连接多个故障注入内核(FIK)，每个FIK和一个被测系统相关联。EEM通过以太网和FIK进行连接，并发送故障执行指令给FIK。其功能如下：● 管理、编辑和控制测试● 软件和硬件故障注入● 测试结果管理● 通信管理● 故障注入内核(FIK)实现在被测系统中执行故障注入，它驻留在被测系统中，并接收来自EEM的指令。其功能如下● 接收故障注入请求● 执行故障注入● 返回测试结果 功能特点：——————————————————————————————————● 采用主机/目标机结构；● 友好直观的图形用户界面；● 可实现CPU、内存及IO等多种硬件故障；● 可实现变量、函数、线程等不同级别的软件故障；● 可方便的与Eclipse及IBM@ Rational集成；● 基于JAVA开发，不依赖于被测目标平台，可支持Windows、Linux等多种操作系统。
产品简介：——————————————————————————————————RapiTime是一个专业用于系统执行时间分析的工具。它采用“基于测量的执行时间分析”方法能够准确得到系统在最差情况下的执行时间。从而帮助设计人员确认系统能否满足规定的时间性要求；RapiTime还能够识别出在那些对系统最差情况执行时间有影响的、缺乏效率的代码，从而使工程师可以集中精力在这部分代码的优化上，进而提升整个系统的设计水平。 RapiTime由RapiTime集成软件模块和附件RTBx硬件跟踪器模块组成：RapiTime集成软件模块用于系统的最差情况执行时间分析：RapiTime采用将系统的执行时间测量和代码结构静态分析相结合的方式得到系统准确的最差情况执行时间：使用RapiTime的硬件RTBx能够测量出系统的准确的执行时间，再结合通过静态分析而得到的代码结构，最后通过计算得到系统在最差情况下的执行时间和包含在执行路径中的代码。RapiTime的计算是基于真实的执行情况而不是假设的保守情况，它能够识别出那些真正在最差路径中被执行的代码，并标识出在最差情况路径中代码具体的执行时间，从而为代码优化提供指导。RapiTime由于不需要对处理器建模从而适用于各种复杂的高性能处理器。RapiTime支持对实际测量的执行时间和计算得出的执行时间进行比较，帮助设计人员找到隐藏的最差情况执行路径；能够得到由于硬件变化的原因对于执行时间的影响；同时提供代码执行的覆盖率分析报告。RTBx硬件跟踪器模块用于准确测量并记录系统的执行时间：RTBx 是用于准确测量并记录系统执行时间的硬件。RTBx能够直接与目标系统硬件的输出端口相连，在系统的执行过程中，实时记录系统执行的时间信息。将记录的执行时间信息和从RapiTime得到的代码结构分析相结合就能够方便的计算出系统在最差情况下的执行时间。RTBx能够...
产品介绍：——————————————————————————————————● Understand度量Understand™对所分析的代码进行高效的度量计算，其计算也可通过命令行自动运行，同时支持表格导出、图形显示以及GUI动态浏览；另外，更可以通过Understand Perl API进行度量的自定义。通过Understand，还可以产生项目级（包含文件、类、函数或系统架构）的报告。● 代码检查Understand检查您的代码是否符合代码的国际标准（如MISRA-C 2004，MISRA-C++ 2008等），或者您自己自定义的检查标准，如企业的代码规范等。● 代码编辑器Understand提供了可以维护和理解您的代码的编辑器，通过其浏览、对比（文件/目录对比，‘微’对比 – 如字符级对比）您的源代码，可以更容易、更高效的进行代码的编辑；同时，该编辑器还支持自定义的设定，满足开发人员的工作需要。● 依赖关系分析Understand可以生成各种依赖关系图表（如整体架构的继承关系、子系统的继承关系等），其结果可以保存为PNG、JPEG、SVG等，更可以直接保存为VISIO文件。Understand依赖关系信息可以导出为CSV文件以备您进行进一步的分析。● 即时搜索通过Understand的即时搜索能力，您可以在上百万行的代码中立刻找到您需要的信息。● 多种图表Understand支持各种图表的生成，所有的图表您都可以将其保存成图片格式作为更广泛的编辑用途。● 代码信息通过Understand的信息浏览器，你可以看到相关代码实体所有详细信息，代码上下文信息显示。● 报告通过Understand提供的相应命令，您可以快速的创建、分析项目和产生报告，同时可以将Understand与您的构建系统进行集成，自动完成所以代码的分析。Understand支持各种报告的生成。 ...
产品介绍：——————————————————————————————————界面清新、操作简单方便易用：工具界面设计风格清新、简单、精细。按钮，文本框，下拉列表框整齐排列几乎没有一个多余的像素。而且支持快捷键设计，只需简单的按下快捷键大部分的工作都可以通过键盘完成。通讯提醒功能：当一个bug被提交或者发生修改的时候，工具将会自动发送邮件给这个bug的相关人员。订阅了这个bug变更的人员也会收到这个提醒。工具不会给bug的提交者或者变更者发生邮件，因为在大多数情况下这些动作的执行者都清楚自己在做什么。一旦一封邮件被工具接管，您就可以做所有操作例如分配bug、解决bug等。一个非常容易使用的小型论坛系统，用来与客户或者开发者之间进行讨论。项目的管理与评估：工具可以用来跟踪多个项目，在每一个项目的内部，可以将各种案例进行分类。管理员可以创建并编辑多项目配置与分类。每一个项目都有一个主要的联系人。工具允许评估任意一个bug或者任务需要花费的时间。过滤系统：工具可以定义并保存不同的过滤器，这些过滤器代表了使用者关注的不同方面。例如您可能需要创建一个所有分配给您，尚未解决bug列表的过滤器，一个需要项目下一个发行版本要修复的bug列表的过滤器等等；使用者可以快速的获得满足自己查询条件的各种bug或者任务。产品发布版本系统：工具中每一个项目都有一系列的发行版本。例如一个典型的软件项目可能包括Alpha、Beta、Release、Sevice Pack等各种版本；一旦为项目添加了版本的信息，就可以将bug与发行版本关联起来。当版本将要发布的时候，通过关联信息就可以知道此版本还有多少bug等待修复。其它常用工具系统：屏幕截图工具，当用户在测试的过程中发现了bug可以用工具自带的截图工具将当时的场景录下来。各种源码管理工具，包括CVS、Subversion、Perforce和VSS.
产品简介：——————————————————————————————————RapidRMA基于单调速率分析(rate monotonic analysis)技术，融入了实时和分布式实时系统的最新的调度算法和资源管理技术。RapidRMA提供了对各种经典实时调度算法的可调度性分析，自带的多种工具包帮助开发者测试基于多种开发环境的软件模型，并计算出如何改变运行命令能优化系统的运行。不管在软实时还是硬实时系统中，通过识别影响进程的设计瓶颈，Rapid RMA可以节省大量人力财力，帮助实时系统软件开发者最大化降低设计错误同时减少开发时间。使用RapidRMA，有助于探究调度选项，找到优化性能的方案。使用者可以灵活的改变调度算法和优先级方案，然后重新进行分析。可以针对任务对资源的分配或任务的周期进行试验。对于多处理器系统，可以试验任务对处理器的分配。RapidRMA甚至可以自动指定优先级和任务分配。RapidRMA可以提供以下帮助：● 描述任务随着时间变化对资源的使用率● 向用户报告需要预备多少capacity● 计算达到deadline时，执行和阻塞可以增加的最大倍数● 可以计算任意任务在执行时间上的裁剪，以防止任务超过deadline 功能特点：——————————————————————————————————● 提供时间和调度分析环境● 强大的单调速率分析模型● 时间耗尽限速率分析● 循环执行分析● 非周期性仿真● 与风河的WindView GUI接口集成● 实时CORBA语言支持● 对于实时CORBA进程的离线分析服务● DASPCP 用于面向对象资源冲突问题的解决● 对单节点或多节点架构的端到端的分析● 与RapidSched（RT CORBA Scheduling Service）接口● 基于CORBA的客户端架构● 通过FLEXlm模块提高License...
● 对于软件开发人员Klocwork根据开发人员的开发行为设计，通过Klocwork，开发人员可以在桌面端直接提交无Bug的代码。通过集成开发环境(IDE)、文本编辑器或者命令行环境，Klocwork帮助开发人员显著减少修改bug的时间，从而将更多的时间投入到项目创新中。● 对于软件研发经理 Klocwork为软件研发经理提供了强大的可视化功能，软件研发经理可以通过Klocwork直接看到软件代码和架构的安全性和可靠性视图，避免软件研发经理往往需要研读软件代码才能发现软件中的问题的弊端。● 对于软件安全经理 Klocwork使软件安全经理在软件开发生命周期中发现、评估、纠正和度量软件安全成为可能。企业软件安全部门可利用Klocwork在开发团队中制定安全代码规范、普及代码安全理念，从而实现安全代码的最佳实践。● 对于软件架构师 Klocwork为项目源代码生成各种级别的可视化模型。通过对整个系统源代码的分析， Klocwork提供了软件架构的安全性和可靠性的可视化能力，避免了架构师往往需要在大量源代码中发现架构问题的弊端。功能特点：——————————————————————————————————▬源代码分析-Source code analysis a) 错误路径跟踪专利技术 i. 安全性、可靠性和维护性问题检查：超过200个专业检查器 ii. 构建集成工具：提供基于自然构建的多种分析和集成方法，超过60种编译器的官方支持。b) 桌面端实时分析：开发人员可实时发现代码的问题c) 集成开发环境插件、命令行环境和非集成开发环境的代码检查d) 支持 MISRA, CWE, CERT等代码规范 ▬构建&项目报告&分析-Build &am...
产品简介：——————————————————————————————————RTI DDS支持应用软件独立于具体的操作系统和编程语言，方便不同的系统之间的相互通讯。DDS封装了分布式系统中的网络通信，以及数据传送可靠性等服务质量保障的细节，使系统设计者专注于应用功能的开发，而无需在应用程序中考虑数据分发的具体支撑技术和移植性，DDS支持通过可扩展的传输框架连接多个物理端点，传输方式可以是以太网络、共享内存、背板或其他连接方式。RTI DDS具有多种服务质量策略（QoS）参数可供调整，方便设计者调整他的应用程序，达到性能和资源使用的最佳组合。 图1 DDS使用原理▲功能特点：——————————————————————————————————● DDS是针对网络编程的一个开放标准● 是一套支持发布/订阅设计思想的应用程序接口（ API）● 体现了以数据为中心进行架构设计的方法学● 专为高性能的实时系统设计● 可以大大降低用户成本：● 用户可专注于自己的应用设计，不需要自己设计系统中数据通信所需的组件；● 降低集成成本，减少起初的设计时间和后续的测试等时间开销● 采用开放标准，减少了被供应商专有技术禁锢的风险应用案例：——————————————————————————————————全球已经有500多个项目和案例成功采用了RTI公司的DDS方案，网络中间件的市场占有率高达80%左右。包括航空、航天、船舶、国防、金融、通信、汽车等领域。● 美国海上战争中心(NSWC)高性能分布式计算系统（HiPer-D）● 美国海军 LPD-17舰内广域网络● 洛马美国海军Aegis 开放式架构武器系统● Insitu 无人机● Navy Open Architecture舰艇自卫系统 (SSDS)● 濒海战斗舰 Littoral Comba...
VSIPL 提供运行模式和开发模式，开发模式中调试信息可帮助迅速定位程序bug。NAS VSIPL库针对目标处理器做了高度优化，并且充分发挥了处理器SIMD特性（PowerPC的Altivec 或者X86的SSE），一般情况下相对于non-SIMD的代码实现，它可以提供6-8倍的性能提升。在多核和共享内存的系统中（包括intel、mips），库是多线程的，对于复杂问题自动提供可扩展的性能。VSIPL库功能：NAS VSIPL库包括了VSIPL标准全集中定义的功能，提供全部979项功能，支持的功能包括：• 快速傅里叶变换和卷积 • 开窗和过滤器运算（例如滑动平均运算）• 向量数学函数（例如sin，cos） • 矩阵的元素运算（例如矩阵加法）• 向量的元素运算（例如向量加法） • 分散/集中运算（例如点积运算）• 矩阵运算（例如矩阵转置）• 矩阵-向量运算（例如矩阵-向量积，广义矩阵-向量积（GEMV））• 矩阵-矩阵运算（例如矩阵-矩阵积，广义矩阵-矩阵积（GEMM））• 线性代数（方程式求解，矩阵分解）等VSIPL库性能：库里的函数针对目标处理器提供专门的优化：右图是函数的性能比较：复数-复数快速傅里叶变换（长度N）8641D: 1GHz PowerPC, 400MHz Front Side BusIntel Core Duo: Merom, 2.16GHz, 667MHz Front Side BUS下表列出了库中支持的994个函数： 运行环境：PowerPC/G4 Linux PowerPC VXWorksIntel SSE2/4 Linux Intel SSE2/4 VXWorksIntel SSE2/4 Windows XP/Vista MIPS64 Linux*NAS公司介绍：N.A. Softwa...