庞大的体系，无论是SoC仍然自愿驾驶汽车（AV），城市让策画工程师们感应颓废。他们始末数月的疾苦就业后，还必需回过头来验证刚策画的体系是否真正会根据预期的形式运转。

对此，以色列草创公司Foretellix的CEO/协同创始人Ziv Binyamini说：“SoC和AV都修筑正在一个黑匣子中，这实质上很难找到躲避正在意念除外处的裂缝。”正在测试和验证SoC时，有两个程序被以为是必弗成少的：代码遮盖率（code coverage），它体现代码通过胀动举行测试的水平；功用遮盖率，用户能够编写某种序次逻辑来监控胀动对代码遮盖的功效。Foretellix以为，当OEM测试安然时，形似的遮盖限度驱动的规定应合用于AV。

目前，科技公司和OEM们正正在模仿器中累积着轨道、公途测试的数百万里程。比方，Waymo上个月通告，该公司仍然累积了凌驾1000万的实践途测里程、100亿英里的模仿途测里程。

但这里有一个题目，有没有人明了Waymo、Uber、Cruise和Argo AI如许的公司毕竟正在测试什么？他们奈何量度测试结果？他们的AV正在哪些场景中举行了测试？Binyamini说：“现正在AV公司们的途测里程竞赛是指望证实产物的安然性，但缺乏量化的设施来量度证实AV安然性所需的场景数目（遮盖）。其它，他们缺乏能够供应厉谨和自愿化的形式来发掘未知危急场景并将其变为已知的东西。”

这即是Foretellix发掘到的时机。Foretellix基于正在EDA行业发展起来的验证专家团队，正正在试图将专业学问利用到AV周围。

据Foretellix称，目前美国和欧洲的少许OEM正正在试用M-SDL。Binyamini体现，他们会正在将行业反应整合到发言之后，安排正在夏令之后公布。他还夸大M-SDL不是私有的，将正在GitHub上公然。

Foretellix应承，无论是正在模仿器仍然实践途测中，M-SDL都将供应测试结果的“联合目标”。Binyamini说：“咱们还会举行随机测试，以理会哪些计划仍需求测试。”

The Linley Group的高级说明师Mike Demler指出：“Foretellix没有为AV体系策画修筑验证东西。相反，它只是提出了AV的遮盖率说明东西和遮盖率驱动的验证。”固然“遮盖驱动验证”的念法确实来自EDA，但Demler夸大说：“遮盖率是反省验证安排的东西，但它自身并不是验证东西。遮盖东西反省你的测试台是否涵盖全豹或者的阻碍，或足够的数目以餍足特定的验收模范。”是以，正在Demler看来，Foretellix对M-SDL与SystemVerilog的比拟是个很大的延长。这看起来更像是“测试安排反省器”。虽然如斯，Foretellix创始人的后台猛烈表示着他们正正在致力将其正在半导体行业积蓄的体会利用到汽车行业。对待那些亲历过芯片策画日益庞大期间的人来说，AV中显露的策画转折对他们来说应当一点都不生疏。Binyamini调查到这些都是芯片行业正在20世纪90年代阅历过的题目。当英特尔开辟Pentium Pro时，Binyamini是P6项目中的策画自愿化工程师。因为P6策画是第一个X86超流水线本事，会无序的臆想奉行呆板，统治器特殊庞大。需求新的验证处置计划来应对这种庞大性。正在P6公布之前，英特尔面对着“奔驰裂缝”危急，这是早期英特尔统治器浮点的一个缺陷，1994年林奇伯格学院的教师发掘了这个裂缝。到1994年12月，英特尔召回了缺陷统治器，耗资近5亿美元。这一事宜使电子行业认识到险些不或者找到庞大统治器内的全豹舛讹和题目。到了1997年，Binyamini参预了一家名为Verisity的草创公司，该公司于1995年由VLSI验证的领先专家Yoav Hollander创立。Verisity被称为是全国上第一家验证公司之一，其职业是供应基于遮盖驱动设施的VLSI验证东西套件。Verisity告诉半导体行业，遮盖驱动验证是统治芯片策画庞大性的独一设施。Hollander正在Verisity岁月创筑了“e”验证发言，其后被纳入了模范（IEEE 1647）。2005年，Verisity被Cadence收购，Binyamini和Hollander正在接下来的十年中赓续正在Cadence就业，并引导着验证营业。2015年，二人摆脱了Cadence。2018年他们联合创立了Foretellix，方向是处置AV行业的窘境。一方面，SoC中的策画舛讹或者会导致价格昂贵的策画返工。倘若芯片工程师花费一半的岁月来策画芯片，需求另一半的岁月来验证，材干够确定芯片的结束情景。另一方面，AV策画中的任何缺陷都或者会惹起致命事项。然而，正在Foretellix看来，AV行业依旧阻滞正在途测里程竞赛中，而不是安然测试和验证所需的“遮盖质料”。高度自愿化车辆中的体系特殊庞大。但正在测试场景中增加少许境遇和作为要素（如恶毒天色、道途处境、其它车辆的切入和驶出等），测试计划会变得越来越笨重。虽然存正在这些挑衅，Foretellix声称其东西Foretify能够通过利用M-SDL供应“可丈量的安然性”，并通过自愿形式天生百般计划的组合。该东西还具有随机创筑组合场景和监测反省和跟踪场景遮盖的才气。

当被问及Foretellix时，VSI Labs的Phil Magney说：“我热爱它，它好像合用于全豹测试平台，无论你是正在做模仿、x-in-loop测试、轨道测试，或是途测。他们的Foretify的处置计划能够照料全豹测试花式，并供应说明和目标，以便理会何时完整遮盖。”

正在此日的AV测试境遇中，可用的目标特殊有限。时时，独一可用的设施即是AV行业平素正在用的脱节次数和测试里程。

依据公法，主动正在加州道途进取行途测的AV公司们必需披露测试里程及脱节频率。但今朝很众专家都不置信脱节频率是无误的量度目标。Edge Case Research的Phil Koopman告诉咱们，脱节次数往往会胀动测试的公司尽量节减过问程序。是以，这即是担心全的测试。

Magney也协议，说：“正在开辟阶段，你依旧正在进修并需求将车辆宣泄正在百般前提下。脱节次数这个目标弗成全信。时时，你会稀少针对某个特定本事或设施，查看它们出题目的地方。换句话说，你没有运转完好的栈房，由于这会使得更难以确定子体系的功能。”

Magney还填充道：“另一个虽已成为常识、但仍然需求拿出来说的题目是，正在AV开辟中，前95％的就业只是一局限，节余的局限是一个数目级更难、更风险的局限。”正在他看来，那剩下的5%具有一个庞杂的、众样的、特殊轻细的作为空间。Magney以为Foretellix的处置计划有助于处置那些题目。但Magney与Demler也都划一以为Foretellix的东西更众的是闭于测试遮盖率的验证而不是AV的实践开辟。

但场景形容的发言呢？M-SDL是这个周围内独一可行的计划吗？Binyamini供认，少许公司正正在模范化组内发展场景形容发言干系的就业，其他人或者正正在开辟内部东西。但该行业目标于以为AV开辟职员将从与其他公司的共享场景中受益，同时安排审查和复用其他公司修筑的场景。

Binyamini体现，Foretellix正正在ASAM（自愿化和丈量体系模范化协会）中提出M-SDL，这是一个增进汽车开辟和测试东西链模范的非营利机闭。

Binyamini还指出，联合的SDL将有助于创筑透后度，使拘押机构也许看到AV测试仍然结束。比方，拘押机构能够编制测试场景的存储库，确保OEM具有沟通的明确。他填充说，因为M-SDL的编写秤谌较高，可供拘押机构和民众来阅读，最终或者有助于博得民众信赖。

Magney还指出，Foretellix并不是唯逐一个推敲验证自愿驾驶的公司。比方，德国的Pegasus除了公布高度自愿驾驶功用的场景和情景外，还竭力于创筑遍及领受的质料模范、东西和设施。但Magney填充说：“然而，Pegasus的方向是L2-L3，而不是L4+。Pegasus的设施利用预期分散，这有助于忖度预期退步的频率。但正如Foretellix正在他们的博客中指出的那样，你需求意念不到的分散确保不测退步的发作频率高于其它情景。”

倘若全盘能够依期举行，Magney以为Foretellix将通过络续更新的参数化计划库为AV验证奠定根柢。然而，他警告说：“筑态度景需求岁月。终归，为了ISO21488（SOTIF）的优点，你不睬会你将要曝光的全豹情景（或场景），你只会实时理会它们。”

汽车测试网-首创于2008年，报道汽车测试本事与产物、趋向、动态等 接洽邮箱 marketing#auto-testing.net (把#改成@)