Decomposition of fairness and performance aspects for high assurance continuous process-control systems

摘要

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.