Communicating sequential processes
Communicating sequential processes
Current trends in concurrency. Overviews and tutorials
Statecharts: A visual formalism for complex systems
Science of Computer Programming
Three partition refinement algorithms
SIAM Journal on Computing
Communication and concurrency
CCS expressions finite state processes, and three problems of equivalence
Information and Computation
An implementation of an efficient algorithm for bisimulation equivalence
Science of Computer Programming
Foundation of compositional program refinement—safety properties
REX workshop Proceedings on Stepwise refinement of distributed systems: models, formalisms, correctness
The existence of refinement mappings
Theoretical Computer Science
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Science of Computer Programming
Interfacing incompatible protocols using interface process generation
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
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
Frameworks for component-based client/server computing
ACM Computing Surveys (CSUR)
Polynomial methods for component matching and verification
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
The Java programming language (2nd ed.)
The Java programming language (2nd ed.)
The Verilog hardware description language (4th ed.)
The Verilog hardware description language (4th ed.)
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
A formal approach to component based development of synchronous programs
Proceedings of the 2001 Asia and South Pacific Design Automation Conference
The Codesign of Embedded Systems: A Unified Hardware/Software Representation
The Codesign of Embedded Systems: A Unified Hardware/Software Representation
Data Structures and Algorithms in Java with Cdrom
Data Structures and Algorithms in Java with Cdrom
Using Uml: Software Engineering with Objects and Components
Using Uml: Software Engineering with Objects and Components
Introduction To Automata Theory, Languages, And Computation
Introduction To Automata Theory, Languages, And Computation
The Design and Analysis of Computer Algorithms
The Design and Analysis of Computer Algorithms
Compositional Semantics of Non-Deterministic Synchronous Languages
ESOP '96 Proceedings of the 6th European Symposium on Programming Languages and Systems
Controllers for Discrete Event Systems via Morphisms
CONCUR '98 Proceedings of the 9th International Conference on Concurrency Theory
A Methodology for System-Level Design for Verifiability
CHARME '93 Proceedings of the IFIP WG 10.5 Advanced Research Working Conference on Correct Hardware Design and Verification Methods
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
Computing simulations on finite and infinite graphs
FOCS '95 Proceedings of the 36th Annual Symposium on Foundations of Computer Science
A new interface specification methodology and its application to transducer synthesis
A new interface specification methodology and its application to transducer synthesis
Justification and debugging of answer set programs in ASP
Proceedings of the sixth international symposium on Automated analysis-driven debugging
Local Module Checking for CTL Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
Adaptive Verification using Forced Simulation
Electronic Notes in Theoretical Computer Science (ENTCS)
Adaptive techniques for specification matching in embedded systems: a comparative study
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
Hi-index | 0.01 |
Component reuse techniques have been a recent focus of research because they are seen as the next-generation techniques to handle increasing system complexities. However, there are several unresolved issues to be addressed and prominent among them is the issue of component matching. As the number of reusable components in a component database grows, the task of manually matching a component to the user requirements becomes infeasible. Automating this matching can help in rapid system prototyping, improving quality and reducing cost. In addition, if the matching algorithm is sound, this approach can also reduce precious validation effort.In this article, we propose an algorithm for automatic matching of a design function to a device from a component database. The distinguishing feature of the algorithm is that when successful, it generates an interface that can automatically adapt the device to behave as the function. The algorithm is based on a new simulation relation called forced simulation that is shown to be a necessary and sufficient condition for component matching to be possible for a given pair of function and device. We demonstrate the application of the algorithm by reusing on some programmable components of the Intel family.