Title :
Model-based validation of CANopen systems
Author :
Lekidis, Alexios ; Bozga, Marius ; Bensalem, Saddek
Author_Institution :
VERIMAG, Univ. Grenoble Alpes, Grenoble, France
Abstract :
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.
Keywords :
computational complexity; controller area networks; embedded systems; formal verification; object-oriented programming; CANopen system; associated BIP tools; component-based system; formal modeling; formal verification; model-based validation; networked embedded system; performance evaluation; statistical model-checking; systems complexity; Analytical models; Atomic layer deposition; Ports (Computers); Protocols; Servers; Standards; Synchronization;
Conference_Titel :
Factory Communication Systems (WFCS), 2014 10th IEEE Workshop on
Conference_Location :
Toulouse
DOI :
10.1109/WFCS.2014.6837602