Communicating sequential processes
Communicating sequential processes
Information Processing Letters
The existence of refinement mappings
Theoretical Computer Science
Specification matching for software reuse: a foundation
SSR '95 Proceedings of the 1995 Symposium on Software reusability
Forward and backward simulations I.: untimed systems
Information and Computation
High-level library mapping for arithmetic components
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
A new algorithm for implementation of design functions by available devices
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Specification matching of software components
ACM Transactions on Software Engineering and Methodology (TOSEM)
Polynomial methods for component matching and verification
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
Reuse methodology manual: for system-on-a-chip designs
Reuse methodology manual: for system-on-a-chip designs
Surviving the SOC revolution: a guide to platform-based design
Surviving the SOC revolution: a guide to platform-based design
Forced simulation: A technique for automating component reuse in embedded systems
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Communication and Concurrency
The Theory and Practice of Concurrency
The Theory and Practice of Concurrency
Reusing Software: Issues and Research Directions
IEEE Transactions on Software Engineering
Specification matching of state-based modular components
APSEC '03 Proceedings of the Tenth Asia-Pacific Software Engineering Conference Software Engineering Conference
| Hi-index | 0.00 |
The specification matching problem in embedded systems is to determine whether an existing component may be adapted suitably to match the requirements of a new specification. Recently, a refinement called forced simulation has been introduced to formally address this problem. It has been established that when a forced similarity relation exists between a component and its specification, an adapter process can be constructed so that the composition of the adapter and the component fulfil the specification. This looks very similar to synthesis methods in supervisory control theory, where a controller is constructed to make a plant satisfy a desired specification. However, due to the need for state-based hiding in specification matching, supervisory control theory is not directly applicable. This paper develops a supervisory control based solution to the specification matching problem by modifying the problem representation. Subsequently, a comparison of the forced simulation and supervisory control based specification matching methods is made.