A distributed alternative to finite-state-machine specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Checking progress with action priority: is it fair?
ESEC/FSE-7 Proceedings of the 7th European software engineering conference held jointly with the 7th ACM SIGSOFT international symposium on Foundations of software engineering
Relational programs: An architecture for robust real-time safety-critical process-control systems
Annals of Software Engineering
A Compositional Approach to Multiparadigm Programming
IEEE Software
An Improved Method for Constructing Multiphase Communications Protocols
IEEE Transactions on Computers
A Theory of Interfaces and Modules - I: Composition Theorem
IEEE Transactions on Software Engineering
Software Component Independence
HASE '98 The 3rd IEEE International Symposium on High-Assurance Systems Engineering
Reliability of Systems of Independently Developable End-User Assessable Logical (IDEAL) Programs
ISSRE '01 Proceedings of the 12th International Symposium on Software Reliability Engineering
Hi-index | 0.00 |
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 divideand-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 [1] [9] [12], 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 [1], meaning that each aspect can be designed and implemented independently, and can be tested or verified by the enduser 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.