Abstract
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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Ã…kesson, K., Flordal, H., Fabian, M.: Exploiting modularity for synthesis and verification of supervisors. In: Proc. 15th IFAC World Congress on Automatic Control, Barcelona, Spain (2002)
Abadi, M., Lamport, L.: The existence of refinement mappings. Theoretical Computer science 82(2), 253–284 (1991)
Cassandras, C.G., Lafortune, S.: Introduction to Discrete Event Systems. Kluwer, Dordrecht (1999)
Chang, H., Cooke, L., Hunt, M., Martin, G., McNelly, A., Todd, L.: Surviving the SOC revolution: a guide to platform based design. Kluwer, Dordrecht (1999)
Cherchago, A., Heckel, R.: Specification matching of web services using conditional graph transformation rules. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 304–318. Springer, Heidelberg (2004)
Dietrich, P., Malik, R., Wonham, W.M., Brandin, B.A.: Implementation considerations in supervisory control. In: Caillaud, B., Darondeau, P., Lavagno, L., Xie, X. (eds.) Synthesis and Control of Discrete Event Systems, pp. 185–201. Kluwer, Dordrecht (2002)
Guo, J.: Software components adaptive integration. In: Proc. 8th International Conference and Workshop on the Engineering of Computer Based Systems, pp. 315–321. IEEE Computer Society Press, Los Alamitos (2001)
Hemer, D.: Specification matching of state based modular components. In: Proc. 10th Asia-Pacific Software Engineering Conference. IEEE, Los Alamitos (2003)
Hoare, C.A.R.: Communicating Sequential Processes. Prentice-Hall, Englewood Cliffs (1985)
Hoare, C.A.R., He, J.: The weakest prespecification. Information Processing Letters 24(2), 127–132 (1987)
Jeng, J.-J., Cheng, B.H.C.: Specification matching for software reuse: A foundation. In: Proc. ACM SIGSOFT Symposium on Software Reusability (SSR 1995), pp. 97–105 (1995)
Jha, P.K., Dutt, N.D.: High-level library mapping for arithmetic components. IEEE Transactions on Very Large Scale Integration (VLSI) Systems 4(2), 1–13 (1996)
Keating, M., Bricaud, P.: Reuse methodology manual for System-on-a-chip design. Kluwer, Dordrecht (1999)
Kumar, R., Garg, V.K.: Modeling and Control of Logical Discrete Event Systems. Kluwer, Dordrecht (1995)
Lynch, N., Vaandrager, F.: Forward and backward simulations part I: Untimed systems. Information and Computation 121(2), 214–233 (1995)
Mili, H., Mili, F., Mili, A.: Reusing software: Issues and research directions. IEEE Transactions on Software Engineering 21(6), 528–562 (1995)
Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
Mitra, R.S., Roop, P.S., Basu, A.: A new algorithm for implementation of design functions by available devices. IEEE Transactions on Very Large Scale Integration (VLSI) Systems 4(2), 170–180 (1996)
Phenix, J., Alexander, P.: Toward automated component adaptation. In: Proc. 9th International Conference on Software Engineering and Knowledge Engineering, SEKE 1997 (1997)
Ramadge, P.J.G., Wonham, W.M.: The control of discrete event systems. Proceedings of the IEEE 77(1), 81–98 (1989)
Roop, P.S., Sowmya, A., Ramesh, S., Guo, H.F.: Tabled logic programming based IP matching tool using forced simulation. IEE Proc. Computer and Digital Techniques 151(3), 199–208 (2004)
Roop, P.S., Sowmya, A., Ramesh, S.: Forced simulation: A technique for automating component reuse in embedded systems. ACM Transactions on Design Automation of Electronic Systems 6(4), 602–628 (2001)
Roscoe, A.W.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1997)
Smith, J., de-Micheli, G.: Polynomial methods for component matching and verification. In: Proc. IEEE/ACM International Conference on Computer Aided Design, pp. 678–685. ACM, New York (1998)
van Glabbeek, R.J.: The linear time — branching time spectrum I: The semantics of concrete, sequential processes. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra, pp. 3–99. Elsevier, Amsterdam (2001)
Zaremski, A.M., Wing, J.M.: Specification matching of software components. ACM Transactions on Software Engineering and Methodology 6(4), 333–360 (1997)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Malik, R., Roop, P.S. (2005). Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study. In: Romijn, J., Smith, G., van de Pol, J. (eds) Integrated Formal Methods. IFM 2005. Lecture Notes in Computer Science, vol 3771. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11589976_4
Download citation
DOI: https://doi.org/10.1007/11589976_4
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30492-0
Online ISBN: 978-3-540-32240-5
eBook Packages: Computer ScienceComputer Science (R0)