By Topic

An approach for designing highly adaptable process-control systems

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)
D. Wang ; Dept. of Comput. Sci., Texas Univ., Dallas, TX, USA ; F. B. Bastani ; I. -L. Yen ; R. A. Paul

Process-control systems usually deal with changeable environments so that high adaptability of these systems is required. After a process-control system has been implemented and deployed, it is not an easy task to adapt the system to satisfy new requirements. Considering this problem, we propose the use of relational program architectures to design process-control systems for high adaptability. With the relational program architecture, a process-control system is designed to be the composition of several Independently Developable End-user Assessable Logical (IDEAL) components through pre-defined composition patterns. Each IDEAL component is associated with several end-user visible properties and can be solved and validated in its restricted "view" of the system, i.e., it can be designed and implemented independently, and can be tested or verified by the end-user independently. In addition, the system level properties (safety, stability, and reliability) can be inferred from the individual IDEAL components mathematically. The relational program architecture can provide not only the ultra-high dependability assurance of a process-control system, but can also make the system highly adaptable. We propose several principles, by which we can accurately determine which components of the system need to be adapted and how to adapt them after the system's requirement has changed. These principles can be evolved to automated tool support.

Published in:

Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC'05)

Date of Conference:

18-20 May 2005