bob客户端下载Stimulus需求形式化建模和分析工具

　　bob客户端下载经纬恒润，专业从事汽车电子、智能驾驶、车联网、新能源、人工智能的电子产品研发生产、工程咨询、研发工具以及特定场景自动驾驶运维服务等。

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

　　Stimulus使用“自然语言”对需求进行建模、仿真并验证需求。Stimulus中包含了丰富的时间与逻辑运算符，例如：“当…时”，“如果”，“大于”，“只有”等。通过对需求按照运算符进行重新书写，可以验证需求中是否存在冲突；通过对仿真结果的观察，来验证需求规范中是否存在冲突与缺陷，进而保证了需求规范的正确性。

　　Stimulus可以根据需求描述自动生成符合需求的测试用例（需求可以是高层次需求或者低层次需求），也可以在Stimulus中使用“自然语言”描述测试场景，并生成符合测试场景的测试用例。Stimulus不但可以根据需求生成测试用例，还可以监测系统输出是否符合需求规格说明中的要求。在测试环境中导入生成的测试用例并通过监视系统输出，客户可以验证系统设计是否满足需求，还可以节省手工书写测试用例时冗长而无味的时间。

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

　　随着自动驾驶功能的普及，整车E/E架构由分布式向集中式的演进和升级，加上行车功能和泊车功能在执行端的共用性，以及传感器端的部分可复用，行泊车一体化域方案能够大大减少项目开发与集成的复杂程度，已被越来越被客户所接受和认可。凭借多年L2量产经验，经纬恒润将自动驾驶行车域和自动泊车域做了优势组合，推出了一系列低成本、中低算力的行泊车一体解决方案，

　　随着智能驾驶汽车技术的不断完善，更多新的技术将被应用到智能驾驶汽车上。当前，毫米波雷达由于不具备测高的能力，很难判断前方静止物体是在地面还是在空中。当遇到井盖、减速带、立交桥、交通标识牌等地面、空中物体时，无法准确测得物体的高度数据。如果将这样的数据交给汽车，汽车就会出现频繁刹车的问题。4D成像毫米波雷达的出现，将弥补这一缺陷。4D成像毫米波雷达在原有的距离

　　随着科技的发展与突破，智能化产品在汽车领域扮演了越来越重要的角色。本文即将介绍经纬恒润新产品——AR-HUD（增强现实抬头显示系统），它可以将科幻电影中的驾驶场景变为现实——将信息投影在挡风玻璃上，基于此功能，AR-HUD还可以标记路况、天气、温度等信息，这将极大地提高驾驶效率与乘坐舒适度。AR-HUD样品台架产品介绍AR-HUD的主要优势是能够结合高精地图

　　随着汽车芯片计算能力的提升，汽车电子产品正从分布式向中央计算及物理区域控制方向发展。国内多数主流OEM新一代E/E架构，采用物理区域控制单元实现区域智能传感器执行器配电、网关路由、信号采集以及执行器的控制。经纬恒润基于20年汽车电子产品研发和配套经验，在开发中央计算平台产品的同时，也同步开发了物理区域控制单元（ZCU：ZonalControlUnit），在下

　　随着汽车芯片计算能力的提升，汽车电子产品正从分布式向中央计算及物理区域控制方向发展。国内多数主流OEM新一代E/E架构把高级自动驾驶、智能座舱、车身域及动力控制三个高性能计算平台作为核心，中央计算平台是车身域以及动力域的核心计算单元，集成了中央网关、车身舒适域控制、新能源动力控制、空调热管理等功能。经纬恒润基于20年汽车电子产品研发和配套经验，在新一代架构潮

　　在逐步严苛的排放法规下，全球各大主机厂陆续推出了对应的解决方案。虽然不同的技术路线都有各自的应用场景，但也都存在各种各样的问题。纯电动车受限于电池容量，其行驶里程大多在300~1000km，而充电速率慢、充电站建设不完善，又进一步限制了它的应用，降低了用户体验。传统燃油车的改进大多集中在发动机上，提高发动机效率、降低排放，则一些传统主机厂急需解决的问题。产品

　　-END-原文标题：一图读懂经纬恒润2022年年度报告文章出处：【微信公众号：经纬恒润】欢迎添加关注！文章转载请注明出处。

　　近日，首都精神文明建设委员会办公室公布2022年度“北京市诚信品牌企业”名单，北京经纬恒润科技股份有限公司实力入围。按照首都文明办、市经济和信息化局、市市场监管局、市商务局、市文化和旅游局、市统计局、市税务局、市工商联等部门《关于印发的通知》（精建办〔2022〕1号）要求，北京市共铸诚信活动领导小组办公室在全市组织开展了“北京市共铸诚信企业”征集工作。经企业

　　2023年4月23日，中国汽车基础软件生态委员会（AUTOSEMO）第三届一次委员会在南京召开，经纬恒润当选中国汽车工业协会软件分会基础软件生态委员会AUTOSEMO组织第三届执行单位，并参加“软硬融合智创未来”主题论坛，发表演讲。经纬恒润当选AUTOSEMO第三届执行单位“VehicleOS软件平台开发与实践”主题演讲从2020年7月22日AU

　　随着汽车的智能化、网联化、电动化、共享化趋势发展，电子设备的配备成本在汽车整体成本中所占比例越来越高，“软件定义汽车”已经成为未来汽车发展的共识。然而，汽车电子迅速发展也带来诸多有关软件过程质量问题，经纬恒润针对客户痛点提出了覆盖应用软件开发测试全流程的解决方案。▎基于CMMI/ASPICE3.1的认证咨询服务目前，国内外多数OEM和Tier1在按照CMMI

　　概述为满足日益严格的国内外法规和标准要求，应对愈发严峻的信息安全风险，智能网联汽车通常集成越来越多的信息安全检测和防御措施。而相关的安全措施集成到部件和整车之后，能否发挥有效的防护效果，需要通过严格的信息安全测试进行验证和确认。经纬恒润信息安全团队针对智能网联汽车提供一系列的信息安全测试解决方案，涵盖软件、单部件、系统和实车等各阶段的信息安全测试服务，为信息安全策略的正确实施保驾护航。信息安全测试

　　概述面向服务的架构（ServiceOrientedArchitecture,SOA）是一种从IT领域引入到汽车行业的开发范式，作为一种先进的整车E/E架构开发模式，从一开始就受到国内外整车厂的高度关注。SOA架构下将应用程序的不同功能单元通过服务（Service）联系起来，在功能升级的同时可保证整车软件架构的稳定性，可以提高业务组织敏捷性、减少企业研发维护成本。同时，SOA架构下的服务具有可复用性

　　背景电池替代发动机换来能量系统的空间自由bob客户端下载，电驱动则突破了动力总成布局的边界约束，与此同时，整个动力底盘模块化加速，使得各子系统直接影响到整车性能乃至于用户体验。一方面电驱动总成正在往集成化发展，以匹配不同车型，并进一步提升效能（动力性及经济性），声品质也将直接影响整车驾乘品质，将呈现“五高一低”的技术趋势：高效率/高可靠性/高功率密度/高安全性/高舒适性/低成本。另一方面电驱动与内燃机相比，其存在

　　概述智能座舱系统作为集合智能网联与驾乘体验的高附加值的电子系统，是未来汽车核心三大域中，集成技术种类与更新占比较大的部分，其直面消费者的关键角色，决定了需要一系列验证与测试手段，以解决在产品迭代过程中智能座舱系统的测试与验证bob客户端下载。经纬恒润结合通信信息、人工智能、工业控制、硬件在环等技术，开发了一套智能座舱仿真测试系统，实现了对整车电气、人机交互、交通场景和座舱体验的仿真模拟。系统通过提供触控模拟，智能

　　背景随着汽车功能逐渐丰富，车上包括智能驾驶、智能座舱等在内的各项功能越来越多，给测试本身提出了诸多挑战。以智能驾驶为例，现阶段大多数测试方法的挑战都集中在缺乏安全保证和缺乏可扩展性上。鉴于社会难以容忍自动驾驶造成的道路交通事故死亡，因此安全对于自动驾驶汽车至关重要。自动驾驶测试的典型方法是采用大量统计数据驱动，随着收集到的里程数越多，安全验证就越严格。理论表明，将自动驾驶的事故率降低至人类驾驶事故

　　“安全”被普遍认为是智能驾驶汽车被用户接受或者得到商业应用的显著问题，传统汽车电子按照功能安全（ISO26262，避免系统性故障及随机硬件失效）标准进行安全设计，而智能驾驶汽车安全要求超越了功能安全范畴，尤其是L4及以上智能驾驶车辆中驾驶员将不再接管对车辆的控制权，功能安全要求演化为失效可工作（Fail-operational），产品设计需要兼顾预期功能安全（ISO/PAS21448，解决产品性能

　　随着汽车电子技术的发展，汽车电子领域的嵌入式软件规模越来越庞大，AUTOSAR的软件架构和方已被越来越多的OEM和供应商认可。在国外市场，越来越多的AUTOSAR车型上市，各大OEM也已对其供应商提出了明确的符合AUTOSAR的要求。在国内，经过前一阶段的积累和预研，各OEM也正式启动了研发AUTOSAR车型的计划。OEM和供应商都面临着更加迫切和明确的AUTOSAR需求。

　　随着汽车电子技术的发展，汽车电子领域的嵌入式软件规模越来越庞大，AUTOSAR的软件架构和方已被越来越多的OEM和供应商认可。在国外市场，越来越多的AUTOSAR车型上市，各大OEM也已对其供应商提出了明确的符合AUTOSAR的要求。在国内，经过前一阶段的积累和预研，各OEM也正式启动了研发AUTOSAR车型的计划。OEM和供应商都面临着更加迫切和明确的AUTOSAR需求。

　　经纬恒润作为国内设计、生产商用车车身网络的供应商，推出分布式网络控制方案，实现整车的灯光、雨刮、门窗等电气控制。整套产品目前已经随整车出口到欧洲、中东地区，现已为一汽解放、中国重汽、陕汽重卡、东风柳汽、江淮、华菱、江铃、三一、宇通、北奔、厦门金龙bob客户端下载、Navistar、DAF、MAN、PACCAR 等进行配套。

　　将基于模型的系统工程（Model Based System Engineering, MBSE）方法应用于整车开发过程中，可解决传统整车研发过程中的工程数据一致性、可验证性、可追溯性的问题，降低整车产品开发难度、尽早发现和避免潜在风险，进而提升开发效率和降低开发成本以及后期维护成本。