SCADE强化功能模块

SCADE Suite Document Generator（文档生成器）

该模块还提供了文档自动生成功能，提高了软件工程自动化程度。它不仅保证了开发工作与开发文档的一致性，同时将开发人员从繁重的文档编制、维护过程中解放出来，集中精力于需求分析、设计等更有价值的创性活动。

该模块支持用户可以根据自己的需求定制文档生成器。

SCADE Suite MTC（模型覆盖率分析）

模拟仿真是对模型进行功能测试的过程，模型覆盖率分析可以定量地评估SCADE模型模拟仿真的完备程度。

利用模型覆盖率分析功能，可以帮助客户发现需求和设计中的问题，在开发的早期排除错误。根据预定义的或用户自定义的覆盖率准则，它可以帮助我们分析仿真场景在模型中的覆盖程度，并能指明未覆盖的路径，方便开发人员在覆盖率达不到要求时定位问题，比如：需求错误、测试用例不足、模型设计错误等。覆盖率分析完成后，还可以自动生成报告。

SCADE Suite Time Verifier（最坏运行时间分析器）在实时系统中，在任务实际运行前，需要知道在最差情况下的任务执行时间。SCADE内置的最坏运行时间分析工具，在选定处理器（ARM, MPC, DSP）以及Cache、内存等相关的硬件配置信息之后，SCADE Time Verifier在模型级别自动运行并统计出最坏执行时间，并生成相关的报告。

SCADE Suite Stack Verifier（堆栈分析器）

堆栈内存要由程序开发人员静态进行分配。如果低估了堆栈的使用量，将会导致程序运行时很多难以发现的错误；而过高的估计了堆栈的使用又将造成系统内存资源的浪费。SCADE内置了功能强大、简单易用的堆栈分析工具，自动计算出程序的堆栈使用情况。并且分析的起始点可以任意选取，它不仅可以降低开发的难度，而且可以防止由于堆栈溢出引起的程序运行错误。

SCADE Requirement Management（需求管理工具）

SCADE内置了功能强大、简单易用的需求管理工具。在指明要处理数据的来源(Doors、Word、FrameMaker、UML 分析工具、设计工具等)、位置、它们之间的连接关系以及要在这些文件中搜索的需求可追溯性信息。SCADE RM工具对文档和数据库进行分析，然后生成一个与项目整体相关联的需求可追溯性信息映像。

  SCADE Suite Simulink 网关

如果用户使用Matlab/Simulink进行系统原型设计，那么SCADE和Simulink的桥接器可以把Simulink模型中有价值的模块自动转化成SCADE模型，一方面帮助我们重用已有的模型和设计，减少工作量；另一方面又能充分享受SCADE的优势，如确定的系统行为、模型覆盖率分析、形式验证、高安全性嵌入式代码的自动生成等等。

此外，该桥接器也可以把SCADE生成的代码返回到Simulink模型内部作为一个S函数使用，从而可以对嵌入式系统进行全局的仿真和调整。

SCADE Design Verifier（形式验证）

模拟仿真能够测试系统模型是否实现了我们所期望的功能，但并不能保证系统百分之百满足安全性要求。以电梯设计为例，“电梯在运行过程中门必须是关着的”就是安全性要求之一。由于测试的局限性，我们不可能通过模拟仿真来完全保证这样的安全性，对于复杂的逻辑控制系统来说尤是如此。形式验证这一功能弥补了这一局限性。

详尽的形式验证，不需要借助测试用例，就可以检验SCADE模型是否达到安全性。只需在SCADE中描述安全性要求，并设置一个“特性观察器”，用户按一个键就可验证SCADE模型的安全性。如果模型是安全的，它能给出一个安全的证明；如果模型是不安全的，它能给出一个反例帮助我们进行错误定位。形式验证很大程度上保证了目标系统的安全性。

SCADE同时还内置了两个形式验证的应用功能：除零检查和溢出检查，可以帮助用户快速定位可能的除零隐患和溢出危险。

Compiler Verification Kit（编译器验证工具包）

编译器验证（CVK：Compiler Verification Kit）是一套工具包，用于验证用户所选用的编译器能否正确地编译SCADE KCG生成的代码。SCADE通过保证模型的正确性和安全性以及模型到实现的一致性，最大程度地保证了源代码的质量，因此需要通过验证编译器确保编译器正确地将源代码编译成目标代码。

参数资料:

SCADE强化功能模块SCADE强化功能模块