STIMULUS

STIMULUS 概述

STIMULUS 是达索系统 CATIA 品牌下用于嵌入式系统需求工程仿真与验证的软件，提供端到端的 MBSE（基于模型的系统工程）与测试自动化能力，以需求在环（Requirements-In-the-Loop）仿真为核心。

主要功能

• 功能需求仿真：将功能需求建模为可执行的形式，在规格阶段即可仿真需求行为。
• 早期错误检测：自动发现缺失、冲突与错误的需求，在编码前纠正规格问题。
• 测试向量自动生成：利用约束求解器根据测试场景自动生成大量输入组合。
• 功能测试自动化：观察代码或系统响应并与需求定义的行为比较，实现全自动功能测试。
• 硬件在环测试：自动分析 HIL 测试日志，检测集成系统对需求的任何违反。

适用场景

STIMULUS 面向航空航天、国防、交通运输、能源与高科技等安全关键或任务关键领域的嵌入式系统开发，支持 DO178、ISO26262 等合规要求，并通过功能模型接口与 CATIA Magic 等工具保持数字连续性。