调试汽车和高安全性的应用程序时可能被证明是最有效的正式使用。
学校的,天然气便宜和家庭在美国涌入他们的汽车或面包车悠久的越野旅行。这些天,在后座的孩子不需要娱乐,发现来自美国50个州的牌照或挑起他们的兄弟或姐妹。相反,他们可以保持开心与汽车的复杂的娱乐或wi - fi系统。
这只是一个开始。不会很久之前整个家庭将能够坐下来,放松,认为旧灰狗巴士的口号是“让我们。”或在这种情况下,离开自主车辆的驾驶。
家庭在这些无人驾驶汽车有无比复杂的电子系统感谢这个欢迎受益。反过来,汽车供应商不可或缺的ISO 26262汽车标准和形式验证解决方案,感谢确保他们的先进技术是保证乘客的安全,不是一件简单的事情。
现代汽车的功能复杂性和硅密度电子硬件组件驱动失败的风险增加。鉴于这些组件的安全性至关重要的性质,失败,系统在开发过程中引起的和随机发生在操作过程中,必须尽可能地消除家庭安全度假目的地。
来自严格的和高度自动化的开发过程来减少系统故障的风险由人为错误和开发实践不足引起的。安全机制监控硬件异常行为,由于磨损或其他物理效应,可以降低随机故障的发生。
形式验证并不是一个新的验证技术和正式的属性检查工具多年来证明他们的价值为任意数量的硬件的应用程序。直到最近,易用性和其他能力的进步更formal-based方法开始捕捉广泛采用。
调试汽车和任务关键型应用程序的能力,可能是最有效的使用这种技术。正式解决方案中心在许多关键安全硬件开发流程,提高质量和效率,扮演了一个重要的角色在实施安全措施。
正式的方法是数学技术和工具来指定,设计和验证软件和硬件系统,被认为是强大的方法来发现硬件设计缺陷,否则逃脱基于仿真的验证,导致系统失败。
一个特点是能够检查设计行为详尽而不需要输入的刺激,并证明设计从未偏离了其预期功能指定一个属性或断言。仿真工具不能达到这种级别的精度,即使是最简单的设计。改进了一系列硬件开发任务通过使用正式进行解决方案,从寄存器传输级(RTL)设计探索和正式产品毛羽的端到端验证的关键模块。
特别相关的安全性至关重要的应用程序是能够精确控制注入故障硬件模型并分析其顺序的影响。形式验证工具可能会执行这个任务有效地通过用户努力和计算要求不需要代码插装的步骤。
正式的工具为汽车硬件的高效发展提供重要的价值。随着复杂性的增加和工程师必须分析其设计的行为在更广泛的工作负载下,包括恶意输入,形式验证将通常用于开发安全性至关重要的硬件。
在未来,家庭涌向大峡谷6月份会在他们的自主车辆安全在很大程度上归功于正式的验证,强大的技术来发现硬件设计缺陷。
|
|
|
|
|
|
|
|
|
|
留下一个回复