Cross-layer design of automotive systems

This article presents multiple cross-layer methods to ensure security as well as functional correctness of automotive systems. These approaches tie together multiple abstraction layers, going all the way from vehicular networks responsible for vehicle-to-vehicle and vehicle-to-infrastructure communication, to in-vehicle hardware/software architectures. Vehicle design spans across multiple layers. Various automotive functionalities can be captured at the function layer with formal or semiformal models. These models are implemented at the architecture layer, as software tasks running on the hardware platform. This article proposes a model-based software synthesis flow for AUTOSAR-based automotive systems. The cross-layer flow conducts runnable generation from the function model, task generation from the runnables, and task mapping onto a multicore platform in a holistic framework.