Model-based validation of CANopen systems

Alexios Lekidis (1) , Marius Bozga (1) , Saddek Bensalem (1)

1 VERIMAG - IMAG - VERIMAG

CANopen is an increasingly popular protocol for the design of networked embedded systems. Nonetheless, the large variety of communication and network management functionalities supported in CANopen can increase significantly systems complexity and in turn, the needs for system validation at design time. We present hereafter a rigorous method based on formal modeling and verification techniques, allowing to provide a comprehensive analysis of CANopen systems. Our method uses BIP, a formal framework for modeling, analysis and implementation of real-time, heterogeneous, component-based systems and the associated BIP tools for simulation, performance evaluation and statistical model-checking.

Domaines: Systèmes embarqués

Alexios Lekidis, Marius Bozga, Saddek Bensalem. Model-based validation of CANopen systems. 10th IEEE Workshop on Factory Communication Systems WFCS 2014, May 2014, Toulouse, France. pp.1-10, ⟨10.1109/WFCS.2014.6837602⟩. ⟨hal-01212300⟩