Cross-layer analysis, testing and verification of automotive control software
Cross-layer analysis, testing and verification of automotive control software
复制标题
汽车控制软件跨层分析、测试与验证
DOI：
10.1145/2038642.2038683
复制
发表时间：
2011
期刊：
影响因子：
--
通讯作者：
W. Pree
中科院分区：
文献类型：
--
作者：
M. Broy;S. Chakraborty;Dip Goswami;S. Ramesh;M. Satpathy;S. Resmerita;W. Pree
今天的汽车架构由多达100个电子控制单元（ecu）组成，通过一个或多个FlexRay和CAN总线进行通信。多个控制应用程序（如巡航控制、制动控制等）被指定为Simulink/Stateflow模型，从中生成代码并映射到不同的ecu上。此外，还需要指定ecu和总线的调度策略和参数。来自Simulink/Stateflow模型的代码生成/优化、任务划分和映射决策，以及为调度程序选择的参数——所有这些都会影响控制任务和控制消息的执行时间和计时行为。这些反过来又影响控制性能，如稳定性和稳态/瞬态行为。本文讨论了这种多层次设计流程的不同方面以及相关的研究挑战。重点是基于模型的代码生成，分析，测试和验证汽车架构的控制软件，以及架构或平台配置，以确保所需的控制性能要求得到满足。
Automotive architectures today consist of up to 100 electronic control units (ECUs) that communicate via one or more FlexRay and CAN buses. Multiple control applications - like cruise control, brake control, etc. - are specified as Simulink/Stateflow models, from which code is generated and mapped onto the different ECUs. In addition, scheduling policies and parameters, both for the ECUs and the buses, need to be specified. Code generation/optimization from the Simulink/Stateflow models, task partitioning and mapping decisions, as well as the parameters chosen for the schedulers - all of these impact the execution times and timing behaviour of the control tasks and control messages. These in turn affect control performance, such as stability and steady-/transient-state behaviour. This paper discusses different aspects of this multi-layered design flow and the associated research challenges. The emphasis is on model-based code generation, analysis, testing and verification of control software for automotive architectures, as well as on architecture or platform configuration to ensure that the required control performance requirements are satisfied.
DOI：
10.1109/sies.2010.5551383
发表时间：
2010
期刊：
International Symposium on Industrial Embedded System (SIES)
影响因子：
--
作者：
Schneider;Goswami;Annaswamy;Chakraborty
通讯作者：
Chakraborty