托马斯M.五倍子,伊莱比特公司
亚历山大很多,伊莱比特公司
汽车标准AUTOSAR提供ECU的软件开发组成的分层软件架构的伴有由相关联的开发方法80的软件模块和库的标准化的基础。
的AUTOSAR软件体系结构的应用程序的软件组件(的SWC)和基本软件(BSW)模块之间的明确区分。接口和软件模块和组件内部行为的描述包含在AUTOSAR标准的XML文件。
除其他事项外,这些描述文件包含调用图上的调度信息,模块的并发性,和使用特定的存储器部分。这些信息可以被用作ECU软件验证的基础。
在本届会议上,我们提出了确保代码的方法是基于AUTOSAR的ECU和使用标准化的AUTOSAR XML文件,以使软件能够与计算上是可行的验证运行时错误无。
因为越来越多的汽车ECU受到安全标准,如IEC 61508或ISO 26262,这种验证是安全案例的文档中的一个重要组成部分。
记录:2012年4月17日
您还可以选择从下面的列表中的网站:
选择最佳的网站性能的中国网站(在中国或英文)。其他MathWorks的国家网站都没有从您的位置访问进行了优化。