By Topic

Formal specification and verification of reconfigurable protocol stack for networked control system

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

4 Author(s)
Chen Hui ; Key Laboratory of Ministry of Education for Image Processing and Intelligent Control, in Department of Control Science & Engineering, Huazhong University of Science & Techonolgy, Wuhan, Hubei, 430074 China ; Zhou Chunjie ; Huang Xiongfeng ; Qing Yuanqing

The protocol stack plays a critical role in determining the performance of Networked Control System (NCS), which governs the communication activities and directly affects the communication Quality of Service (QoS). Full or partial reconfiguration of protocol stack offers both optimized communication service and system performance. This paper proposes a formal approach for the design and implementation of reconfiguration protocol stack based on Specification Description Language (SDL) for NCS. In Telelogic TAU environment, detail SDL models to support communication and reconfiguration functions of communication link layer, network transmission layer and application layer are discussed respectively. The MSC verification results validate the effective of our reconfiguration concepts on the protocol implementation for NCS.

Published in:

Networking, Sensing and Control (ICNSC), 2010 International Conference on

Date of Conference:

10-12 April 2010