Thomas M. Galla, Elektrobit公司
亚历山大·马奇,Elektrobit公司
汽车标准AUTOSAR为ECU软件开发提供了标准化的基础,该软件开发包括一个分层的软件体系结构,包含80多个软件模块和库,以及相关的开发方法。
AUTOSAR软件体系结构清楚地区分了应用软件组件(swc)和基本软件模块(BSW)。软件模块和组件的接口和内部行为的描述包含在标准化的AUTOSAR XML文件中。
除此之外,这些描述文件包含关于调度、模块的并发性、调用图和特定内存段的使用的信息。此信息可作为ECU软件验证的基础。
在这一节中,我们提出了一种方法,以确保基于AUTOSAR的ecu的代码不会出现运行时错误,并使用标准化的AUTOSAR XML文件使软件验证成为可能,在计算上也是可行的。
由于越来越多的汽车ECU受IEC 61508或ISO 26262等安全标准,因此此类验证是安全案件文档中的重要组成部分。
记录:2012年4月17日
你也可以从以下列表中选择一个网站:
选择中国网站(中文或英文)以获得最佳网站性能。其他MathWorks国家站点没有针对您所在位置的访问进行优化。