DocumentCode :
159678
Title :
Model-based validation of CANopen systems
Author :
Lekidis, Alexios ; Bozga, Marius ; Bensalem, Saddek
Author_Institution :
VERIMAG, Univ. Grenoble Alpes, Grenoble, France
fYear :
2014
fDate :
5-7 May 2014
Firstpage :
1
Lastpage :
10
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Factory Communication Systems (WFCS), 2014 10th IEEE Workshop on
Conference_Location :
Toulouse
Type :
conf
DOI :
10.1109/WFCS.2014.6837602
Filename :
6837602
Link To Document :
بازگشت