A model-based design flow for CAN-based systems

Alexios Lekidis (1) , Marius Bozga (1) , Didier Mauuary (2) , Saddek Bensalem (1)

1 VERIMAG - IMAG - VERIMAG
2 Cyberio [Meylan]

This paper introduces a novel approach for systematical development of CAN-based systems with guaranteed functional correctness and optimal performance. This approach relies on formal methods for faithful modeling and analysis of such systems, whilst taking into consideration the effects of critical parameters, such as bit stuffing and buffer utilization. As a proof of concept, the approach has been applied on existing benchmarks simulating realistic automotive networks. The results are similar to ones obtained using domain-specific tools e.g. NETCARBENCH. Moreover, this work creates new perspectives and reveals potential application for the generation of optimal device configurations for the recently developed CAN FD protocol.

Domaines: Systèmes embarqués

Alexios Lekidis, Marius Bozga, Didier Mauuary, Saddek Bensalem. A model-based design flow for CAN-based systems. 13th International CAN Conference iCC 2013, Oct 2013, Paris, France. ⟨hal-01212320⟩