验证Horizons BLOG
RSS

The Correlation Between Safety Tool Chains and Nuclear Disarmament

The title may have you wondering how the heck I’m going to tie together two very disparate topics. Well here goes! As most are aware, there has been significant growth in safety critical markets with automotive being the recent front runner. To support the advancement in features and technology, tool companies have been rapidly developing solutions to assist and even automate aspects of the safety lifecycle. This includes tools to aid early cycle activities such as requirements definition as well as tools deployed later in the lifecycle that automate the insertion of safety mechanisms and execution of a fault campaign.

随着时光的流逝季度,新技术和新功能的发布,以帮助工程师执行在整个生命周期中出现的活动和可视化的问题。工具公司提供单点解决方案在每个阶段,以帮助工程师,提供这些单点解决方案集成到一个全面的工作流程,并实现整个供应链的互操作性更容易将很好地推动下一代产品的开发。

随着新的解决方案,填补空白,现有的解决方案得到增强,今天开会的挑战,我常常在想如何自动化的安全生命周期会变成什么?特别:

  • Will the industry tolerate full automation of certain safety activities? And if so, which ones?
  • 在哪里可以自动化来利用,以帮助安全专家?
  • 哪些活动将继续由安全专家完全驱动?

一个面临安全团队希望引入自动化到他们的安全生命周期的挑战是信任的工具提供正确的结果。当我想到这一点,下面的语句在我脑海中突然出现:“信任,但要验证”。在冷战期间返回,这句话开车框架核实前苏联和美国之间的核裁军。这个短语是还在编译与运行时执行的编译器和检查的范围内利用。新的解决方案将进入市场和现有的解决方案将在成熟的增长,但没有工具是完美的,因此,关键是要检查数据以确保结果的准确性。幸运的是,工具可以在这个空间提供援助。的工具链,当适当地构成,形成一组,其中从一个溶液结果的准确性与另一种解决方案这是被称为跨多个安全关键产业独立工具评估概念验证制衡。通过利用工具来执行“但验证”活动,再次发生,并设计驱动的工具检查可以减少,节省了显著的时间和资源。图 - 图1和图2下面说明了这一概念。

图-1 - 独立工具交叉检查结果

图-2检查上游工具的结果的工具下游

我相信有需要的安全工程师,尤其是在理念和架构阶段,其中的意图,使用模式的理解,并要求安全概念的界定。然而,正在并将继续成为自动化的更高水平的机会,特别是在生命周期的后期阶段。也许在地方适当的工具链,有一条小路前进,其中基础设施,工具和方法,可以安全地自动较大块的生命周期。

注释

Add Your Comment