基于模型的汽车控制软件集成

基于模型的汽车控制软件集成

模型工程（MBE）方法是应对下一代汽车系统设计挑战的一种非常有前景的方法。汽车电子软件平台、分布式实时嵌入式软件，以及从一体化程度的增加，需要提出更加高效的设计方法。然而，异质性、互操作性以及缺乏在建模、集成、验证和优化方面的正式语义支撑使自动化设计面临巨大的挑战，这成为MBE在行业中更广泛应用的障碍。简要介绍了在MBE环境下的互操作性挑战，介绍了目前对涉及汽车控制软件系统方面难题的解决方案。提出了一种新型基于模型的汽车控制软件集成结构，通过在系统方面的约束和优化设计能够完成建模、时态规范、形式语义、设计等。此方法的主要优点是使用常规方法、架构分析、设计语言（AADL）和相关工具，具有表达性时序关系语言的AADL新型时序附件能够表达组件级需求和组件集成验证的正式契约式语言，由此可产生高保障系统。

当前的汽车控制软件系统越来越复杂，其结构各异和构件分散，同时需要更安全、更可靠、资源使用更优和更强环境适应性。更新功能软件的集成使控制软件极具挑战性。此外，由于汽车控制软件系统是保证安全的关键，因此对其本身的安全性要求更高，设计过程涉及建模、集成、实施和高精度验证。

网址：http://dx.doi.org/10.1145/ 2744769.2747945

作者：Prachi Joshi et al

编译：马玲玲