By Topic

Decomposition of fairness and performance aspects for high assurance continuous 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
$31 $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)
Wang, D. ; Dept. of Comput. Sci., Univ. of Texas at Dallas, Richardson, TX, USA ; Hui Ma ; Bastani, F.B. ; I-Ling Yen

There are many applications that can be modeled as evolutions of continuous state spaces, such as real-time embedded systems, etc. For such applications, the divide-and-conquer method is usually used to achieve high quality software development. Instead of decomposing the state space based on phases, objects, etc., we decompose the state space based on aspects. Typically, there are four kinds of aspects, namely, constraint aspects, goal aspects, fairness aspects, and performance aspects. In our previous work (Bastini et al., 2001), we have investigated the decomposition of a system into constraint and goal aspects. In this paper, we further discuss the separation of fairness and performance aspects from constraint aspects and goal aspects, and the decomposition of fairness and performance aspects. All the decomposed aspects are guaranteed to be independently developable end-user assessable logical (IDEAL) aspects, meaning that each aspect can be designed and implemented independently, and can be tested or verified by the end user independently. Also, the system level properties (safety, stability, and reliability) can be inferred from the decomposed aspects mathematically to a high degree of confidence. A vehicle control system is used to illustrate the handling of the fairness and performance aspects in continuous process-control systems.

Published in:

High Assurance Systems Engineering, 2004. Proceedings. Eighth IEEE International Symposium on

Date of Conference:

25-26 March 2004