SMAVE Requirement

为嵌入式开发提供需求建模与仿真验证的一体化方案，集成需求、模型与架构，实现系统仿真、测试生成与自动验证，提升开发效率与验证准确性。

SMAVE Design Verifier

为高安全关键领域用户提供自动化的基于模型的形式化验证与性能分析等功能，实现了全方位形式化验证。

SMAVE Architect

支持SysML与AADL系统架构建模语言，赋能架构系统化建模、多维度分析，保障顶层设计严谨性与可追溯性。

SMAVE Display

人机交互界面开发的专用工具、可创建完全集成于控制系统硬件的可视化人机交互界面。

SMAVE Model Suite

提供基于模型的开发环境，通过简化关键控制应用程序设计、代码、文档生成的过程，优化开发成本及可靠度。

SMAVE Code Analyzer

为嵌入式C语言软件设计，支持基于MISRA-C规范及自定义规则的自动静态分析，通过ACSL语言进行代码功能的形式化验证，确保质量与安全性。

SMAVE Code Robustness Analyzer

面向安全关键软件与嵌入式控制软件，统一分析最差运行时间、堆栈空间和运行时错误边界，输出可复测、可归档的工程证据链。

SMAVE Code Trace Analyzer

接入源文件、目标二进制和编译配置，完成源码解析、目标文件反汇编、分支一致性、内存访问与控制流图映射分析。

SMAVE Object Code Analyzer

通过上位机应用与下位机 CLI 协同完成对象文件导入、目标板卡采集、覆盖率计算、未覆盖项审阅和报告导出。

SMAVE xSIM

支持模型级、代码级和系统级仿真验证，提供场景配置、结果比对和自动化回归验证能力。

SMAVE Virtual System

提供嵌入式目标处理系统的虛拟仿真运行环境，与原始硬件环境脱离，减少对硬件环境的依赖。

SMAVE Model Fabric

支持不同学科、不同领域的工具产生的模型的导入，从而进行复杂系统的分析。

SMAVE MCDS

内设恶意代码库，能够针对二进制程序进行恶意代码检测，自动检测并识别潜在恶意行为，帮助开发团队快速发现并解决安全漏洞。

SMAVE AI Fuzzer

模拟主流网络交换设备外观，用于测试专用系统及带有私有协议的网络系统的安全。

SMAVE RV

面向异步信息物理系统，支持对象化规范建模、动态量化约束、有界历史访问和可执行监控器生成。