从无人机到车辆互联——安全关键性嵌入式软件的代码自动生成

翻译整理：王方勇

开发一款物联网（IOT）使能产品是一项复杂的任务，无论它是有着信息娱乐系统一样用户界面的无人驾驶汽车，还是互联工厂。物联网使能产品含有数百，甚至上百万行嵌入式软件代码。而很多这些产品（包括控制它们的系统和软件）是属于任务或安全关键性的。因此，开发人员必须要有信心，这些设备的控制代码是百分之百准确，并按预定方式进行响应的。

您可能已经了解到，有研究表明，由于系统和控制它们的软件之间的高度集成与互动，物联网使能设备中的安全关键性系统的数量越来越多。这种趋势随着安全相关性软件的功能、容量和复杂度的增加结合在一起，导致了系统和软件的复杂程度达到了惊人的水平，很多产品开发人员发现，几乎不可能再采用传统的手工软件开发方法来实现它们。

我跟很多安全关键性软件的开发人员交流过，他们通过转变到基于模型的开发方法来解决这些难题，其中嵌入式软件和系统的图形模型成为了开发过程中的基石。（我最近举办的一场按需提供的网络研讨会正是关于这个话题）。

通过采用基于模型的方法，工程师可以PC工作站上模拟模型的行为，并立即观察到结果，使得可以在系统设计过程早期得到关键的信息，从而快速提高模型的性能。工程师们还可以将模型的预期行为链接到特定的客户需求。最后，模型可用来自动生成嵌入式代码，从而消除了对手工编码的依赖。

对安全相关标准的符合性，使得安全关键性应用的开发人员，可以证明他们是使用了一致、可审计的流程来设计安全系统。这类应用于不同工业领域的标准有很多，例如航空工业的DO-178C和汽车行业的ISO 26262。

通过ANSYS SCADE产品线，您可以了解到所有开发安全关键性嵌入式软件所需的功能，这些软件用于控制包括无人驾驶汽车在内的很多极度复杂的产品。 SCADE的自动代码生成器实现了广泛适用于各行业标准的代码的自动生成。您可以使用SCADE自动代码生成器来大幅降低嵌入式软件的开发时间和成本。SCADE代码生成器可以作为完整端到端基于模型的系统工程（MBSE）解决方案的一部分，适用于安全相关系统，这一点可以通过在大量安全关键性系统开发过程中的应用来证明。

 

现在，来看看Piaggio Aerospace如何在短短七个月内使用ANSYS SCADE将有人驾驶飞机转换到无人机！

 

想了解关于ANSYS SCADE和自动代码生成器如何减少开发时间和成本的更多信息，请参与网络研讨会：From Drones to Connected Cars: Safe and Secure Embedded Software Development for IoT Devices 。