Precise specification matching for adaptive reuse in embedded systems

@article{Guo2007PreciseSM,
  title={Precise specification matching for adaptive reuse in embedded systems},
  author={Hai-Feng Guo and Miao Liu and Partha S. Roop and C. R. Ramakrishnan and I. V. Ramakrishnan},
  journal={J. Applied Logic},
  year={2007},
  volume={5},
  pages={333-355}
}
Specification matching is a key to reuse of components in embedded systems. Existing specification matching techniques for embedded systems are designed to match reactive behaviors using adaptive techniques to dynamically alter behaviors. However, correct specification matching demands both behavioral matching (that checks component adaptability) and functional matching (that ensures that proper functionality is reused). While approaches for behavioral matching exist, combined functional and… CONTINUE READING

References

Publications referenced by this paper.
SHOWING 1-10 OF 35 REFERENCES

Communication and Concurrency

R. Milner
  • Prentice-Hall International
  • 1989
VIEW 8 EXCERPTS
HIGHLY INFLUENTIAL

Reuse oriented slicing of specifications for embedded systems

V. Krishnan, S. Sethuraman
  • Department of Electrical Engineering, Final Year Project Report, University of Auckland
  • 2002
VIEW 1 EXCERPT

Software Reliability Methods

  • Texts in Computer Science
  • 2001
VIEW 1 EXCERPT

Similar Papers

Loading similar papers…