A distributed alternative to finite-state-machine specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
“Sometimes” and “not never” revisited: on branching versus linear time temporal logic
Journal of the ACM (JACM) - The MIT Press scientific computation series
Constructing Protocols with Alternative Functions
IEEE Transactions on Computers - Special issue on protocol engineering
Model checking and modular verification
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
ISSTA '96 Proceedings of the 1996 ACM SIGSOFT international symposium on Software testing and analysis
Subject-oriented design: towards improved alignment of requirements, design, and code
Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Proving temporal properties of hybrid systems
WSC' 90 Proceedings of the 22nd conference on Winter simulation
A formal method to prove ordering properties of multicast systems
ACM SIGOPS Operating Systems Review
On the criteria to be used in decomposing systems into modules
Communications of the ACM
Composition patterns: an approach to designing reusable aspects
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Hyper/J: multi-dimensional separation of concerns for Java
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
Relational programs: An architecture for robust real-time safety-critical process-control systems
Annals of Software Engineering
Extending standard UML with model composition semantics
Science of Computer Programming - Special issue on unified modeling language (UML 2000)
An Improved Method for Constructing Multiphase Communications Protocols
IEEE Transactions on Computers
State-Based Model Checking of Event-Driven System Requirements
IEEE Transactions on Software Engineering
A Theory of Interfaces and Modules - I: Composition Theorem
IEEE Transactions on Software Engineering
Model Checking Large Software Specifications
IEEE Transactions on Software Engineering
Highly Reliable Relational Control Programs for Robust Rapid Transit Systems
HASE '01 The 6th IEEE International Symposium on High-Assurance Systems Engineering: Special Topic: Impact of Networking
ECOOP '01 Proceedings of the 15th European Conference on Object-Oriented Programming
Functionality Decomposition by Compositional Correstness Preserving Transformation
CAV '93 Proceedings of the 5th International Conference on Computer Aided Verification
Composition of Service and Protocol Specifications
ICOIN '01 Proceedings of the The 15th International Conference on Information Networking
Reliability of Systems of Independently Developable End-User Assessable Logical (IDEAL) Programs
ISSRE '01 Proceedings of the 12th International Symposium on Software Reliability Engineering
A quantitative approach to the formal verification of real-time systems
A quantitative approach to the formal verification of real-time systems
Systematic Reliability Analysis of a Class of Application-Specific Embedded Software Frameworks
IEEE Transactions on Software Engineering
IEEE Transactions on Software Engineering
From Goals to Aspects: Discovering Aspects from Requirements Goal Models
RE '04 Proceedings of the Requirements Engineering Conference, 12th IEEE International
Modeling and Composing Scenario-Based Requirements with Aspects
RE '04 Proceedings of the Requirements Engineering Conference, 12th IEEE International
An Approach for Designing Highly Adaptable Process-Control Systems
ISORC '05 Proceedings of the Eighth IEEE International Symposium on Object-Oriented Real-Time Distributed Computing
A framework for software safety in safety-critical systems
ACM SIGSOFT Software Engineering Notes
| Hi-index | 0.00 |
This paper presents a method for decomposing process-control systems. This decomposition method is automated, meaning that a series of principles that can be evolved to support automated tools are given to help a designer decompose complex systems into a collection of simpler components. Each component resulting from the decomposition process can be designed and implemented independently of the other components. Also, these components can be tested or verified by the end-user independently of each other. Moreover, the system properties, such as safety, stability, and reliability, can be mathematically inferred from the properties of the individual components. These components are referred to as IDEAL (Independently Developable End-user Assessable Logical) components. This decomposition method is applied to a case study specified by the High-Integrity Systems group at Sandia National Labs, which involves the control of a future version of the Bay Area Rapid Transit (BART) system.