Skip to main content
Article thumbnail
Location of Repository


By Jack Y T Lee


With the increasing demand for embedded systems and shorter time to market due market competition, reuse techniques of existing components has become the key solution in order to be more competitive in the marketplace. Several techniques have already been developed. In this report, an algorithm called Forced Simulation for Synchronous Programs has been implemented for automated component matching, and by integrating the matching algorithm with a slicing algorithm, automated reuse of components is achieved. The matching algorithm is based on a formal technique called Forced Simulation, and the slicing algorithm is focused on Argos slicing, which is a graphical representation of synchronous reactive systems. Slicing algorithm generates the partitions of a given specification while the matching algorithm finds suitable component and generates appropriate glues to adapt the components so that they behave as required in specification partitions. By putting all required components together, any given specification can be realized. Integration of the two algorithms automates the entire process which is essential to embedded system developers

Year: 2009
OAI identifier: oai:CiteSeerX.psu:
Provided by: CiteSeerX
Download PDF:
Sorry, we are unable to provide the full text but you may find it at the following location(s):
  • (external link)
  • (external link)
  • Suggested articles

    To submit an update or takedown request for this paper, please submit an Update/Correction/Removal Request.