0
  • 聊天消息
  • 系统消息
  • 评论与回复
登录后你可以
  • 下载海量资料
  • 学习在线课程
  • 观看技术视频
  • 写文章/发帖/加入社区
会员中心
创作中心

完善资料让更多小伙伴认识你,还能领取20积分哦,立即完善>

3天内不再提示

Stimulus—需求形式化建模和验证工具

hirain_tech 来源:hirain_tech 作者:hirain_tech 2023-12-12 16:00 次阅读

产品概述

Stimulus是法国达索公司产品,其目的是通过需求建模分析来验证需求的正确性。Stimulus的核心理念是运用“自然语言”对功能性需求进行建模,并通过仿真来查找需求中的缺陷,例如需求一致性、不二义性和完整性检查等。借助Stimulus可以在系统开发的早期阶段发现并修改需求规范中的错误,在系统最终交付验收阶段检查系统设计是否满足需求规范,从而较大程度地降低产品开发的成本与风险。

wKgZomV4EsmAUS0_AACK4GquF2Y455.png

产品介绍

wKgZomV4EtGANJXVAAEhbCqqCVc040.png

仿真及验证需求规范

Stimulus使系统架构师能够模拟需求,并在设计开始之前检测到模糊、不正确、缺失或冲突的需求,从而创建安全关键型嵌入式系统验证所需的高质量规范。Stimulus使用“自然语言”对需求进行建模、仿真并验证需求,Stimulus中包含了丰富的时间与逻辑运算符,例如:“当……时”“如果”“大于”“只有”等。通过对需求按照运算符进行重新书写,可以验证需求中是否存在冲突;通过对仿真结果的观察,来验证需求规范中是否存在冲突与缺陷,进而保证了需求规范的正确性。开发团队可以用更少的时间重新定义需求、重写和重新调试代码,从而减少实现高质量结果所需的开发迭代。

生成测试用例及系统验证

在验证阶段,Stimulus还使测试工程师能够自动生成测试向量和测试目标,并检查嵌入式代码是否符合其规范。Stimulus可以根据需求描述自动生成符合需求的测试用例(需求可以是高层次需求或者低层次需求),也可以在Stimulus中使用“自然语言”描述测试场景,并生成符合测试场景的测试用例。Stimulus不但可以根据需求生成测试用例,还可以监测系统输出是否符合需求规格说明中的要求。测试团队不再需要编写或维护从需求中手动派生的测试案例。相反,他们可以重复利用系统架构师已完成的工作来构建高度灵活的测试活动,从而采用有效的敏捷方法。

良好的集成扩展性

Stimulus支持对SIMULINK及SCADE集成,可以为SIMULINK或SCADE模型自动生成测试用例,即根据需求生成系统输入以及系统行为的约束限制,进而检验模型是否满足需求规范。

主要优势

实现早期需求验证

在工程师之间分享清晰且可观察的需求

有效扩大测试活动的功能覆盖范围

减少开发流程中成本高昂的迭代

应用案例

某跨国汽车设备供应商(验证ABS/ESP系统需求规范)。

审核编辑 黄宇

声明:本文内容及配图由入驻作者撰写或者入驻合作网站授权转载。文章观点仅代表作者本人,不代表电子发烧友网立场。文章及其配图仅供工程师学习之用,如有内容侵权或者其他违规问题,请联系本站处理。 举报投诉
  • 建模
    +关注

    关注

    1

    文章

    299

    浏览量

    60731
  • stimulus
    +关注

    关注

    0

    文章

    1

    浏览量

    1611
收藏 人收藏

    评论

    相关推荐

    三维可视建筑建模特点

    三维可视建筑建模是一种利用计算机技术对建筑物进行立体表达和展示的过程,是建筑设计和规划中不可或缺的重要环节。在当今数字化时代,三维可视建模
    的头像 发表于 07-23 11:50 465次阅读

    3d场景建模可视,场景1:1还原

    在当今数字化时代,3D场景建模可视技术成为重要工具,为各行业提供了强大的展示和交互手段。从电影特效到建筑设计,从游戏开发到虚拟现实,3D场景建模可视
    的头像 发表于 07-12 14:49 224次阅读

    cad如何进行三维建模

    的基本步骤 确定建模目标和需求 在开始三维建模之前,首先要明确建模的目标和需求。这包括确定模型的用途、尺寸、形状、材料等。明确目标和
    的头像 发表于 07-09 10:23 727次阅读

    神经网络在数学建模中的应用

    数学建模是一种利用数学方法和工具来描述和分析现实世界问题的过程。神经网络是一种模拟人脑神经元结构和功能的计算模型,可以用于解决各种复杂问题。在数学建模中,神经网络可以作为一种有效的工具
    的头像 发表于 07-02 11:29 810次阅读

    隧道BIM如何设计和建模

    、协作工作、优化设计,并最大程度地提高项目效率和质量。下面是关于如何设计和建模隧道BIM的详细内容: 1.数据采集与建模需求确定:在设计之初,需要收集并整合地形、地质、气象等方面的数据,并确定设计
    的头像 发表于 06-04 15:54 349次阅读

    Thermal-BST自动化工具在Flotherm建模中的应用与优势

    引言随着科技的不断发展,电子领域的需求也越来越广泛和多样。然而,PCB板及其上的器件建模问题一直是电子工程师在设计过程中面临的重要挑战之一。软件中原有的PCB建模
    的头像 发表于 05-28 08:35 260次阅读
    Thermal-BST自动化<b class='flag-5'>工具</b>在Flotherm<b class='flag-5'>建模</b>中的应用与优势

    工具工具——映射与调度、模拟与验证、开发与测试工具

    本篇文章将重点介绍工具链的工具相关知识,我们将从工具链的基本概念出发,重点介绍工具链中的映射和调度工具、模拟与
    的头像 发表于 05-16 14:30 2468次阅读
    <b class='flag-5'>工具</b>链<b class='flag-5'>工具</b>——映射与调度、模拟与<b class='flag-5'>验证</b>、开发与测试<b class='flag-5'>工具</b>

    芯片测试和芯片验证的区别

    这是芯片在设计过程中的一个环节,主要通过EDA(电子设计自动工具进行仿真检验。它的主要目的是在芯片生产之前,验证芯片设计是否符合预定的需求规格,是否已经消除了所有的风险,发现并更正
    的头像 发表于 05-08 16:52 1865次阅读

    珠海南方集成电路设计服务中心引进芯华章全流程验证工具

    为更好地推动EDA工具国产,加快构建产业生态体系,3月13日,芯华章科技宣布与珠海南方集成电路设计服务中心(珠海ICC)达成战略合作,后者将引进芯华章智V验证平台及数字验证全流程
    的头像 发表于 03-13 10:01 508次阅读

    如何使用VeriStand的Stimulus Profile?

    VeriStand的激励信号编辑器(Stimulus Profile Editor)可自定义各种激励信号用于测试系统中,例如施加于被测单元的电压、电流、功率等信号激励;自带多种函数和序列,能实现对工程、面板、信号的控制。
    的头像 发表于 02-23 10:20 1832次阅读
    如何使用VeriStand的<b class='flag-5'>Stimulus</b> Profile?

    陶哲轩用 AI 形式化的证明究竟是什么?一文看懂 PFR 猜想的前世今生

    宣布:对多项式 Freiman-Ruzsa 猜想(PFR)的证明进行形式化的 Lean4 项目成功完成,并且耗时仅三周时间,其依赖图的全部节点都带上了「可爱的绿色阴影」。 Lean 编译器也报告该猜想符合标准公理,可以说这是计算机和 AI 辅助证明的一项巨大成功。
    的头像 发表于 12-10 21:45 751次阅读
    陶哲轩用 AI <b class='flag-5'>形式化</b>的证明究竟是什么?一文看懂 PFR 猜想的前世今生

    SaberRD状态机建模工具介绍(二)状态机建模工具使用示例

    假设电阻阻值为r_normal,首先打开状态机建模工具,添加电阻端口,电阻端口包含贯通变量电流和跨接变量电压,使用分支型端口。
    的头像 发表于 12-05 09:53 934次阅读
    SaberRD状态机<b class='flag-5'>建模</b><b class='flag-5'>工具</b>介绍(二)状态机<b class='flag-5'>建模</b><b class='flag-5'>工具</b>使用示例

    SaberRD状态机建模工具介绍(一)什么是状态机建模

    状态机建模是使用状态图和方程式的手段,创建基于混合信号的有限状态机模型的一种建模工具
    的头像 发表于 12-05 09:51 1627次阅读
    SaberRD状态机<b class='flag-5'>建模</b><b class='flag-5'>工具</b>介绍(一)什么是状态机<b class='flag-5'>建模</b>

    ADS/SystemVue/器件建模——线上介绍来了

    Keysight EDA工具在射频微波、射频系统设计、器件建模和高速数字领域提供完整的仿真流程,以协助客户实现准确仿真、通过自动快速仿真以及实现仿真测试同源。
    的头像 发表于 11-30 16:02 1186次阅读
    ADS/SystemVue/器件<b class='flag-5'>建模</b>——线上介绍来了

    形式化验证最佳实践之三:实现端到端属性

    实际上,让我们从一个不是端到端但对高速缓存至关重要的属性开始。该属性是我们唯一需要检查内部细节的属性。它可以验证缓存中的命中请求是否只有一种命中方式。如果不遵守这一点,那么在读取或写入哪种数据时就会非常模糊。
    的头像 发表于 11-24 14:48 513次阅读
    <b class='flag-5'>形式化验证</b>最佳实践之三:实现端到端属性