STIMULUS是一种基于端到端需求的验证解决方案。在规范制定阶段，STIMULUS 使系统架构师能够模拟需求，并在设计开始之前检测到模糊、不正确、缺失或冲突的需求，从而创建安全关键型嵌入式系统验证所需的高质量规范。开发团队可以用更少的时间重新定义需求、重写和重新调试代码，从而减少实现高质量结果所需的开发迭代。在验证阶段，STIMULUS 还使测试工程师能够自动生成测试向量和测试目标，并检查您的嵌入式代码是否符合其规范。测试团队不再需要编写或维护从需求中手动派生的测试案例。相反，他们可以重复利用系统架构师已完成的工作来构建高度灵活的测试活动，从而采用有效的敏捷方法。