Homomorphism between AOMRC and Hoare Model of Deterministic Reconfiguration Processes in Reconfigurable Computing Systems

Published in Volume XVII, 2007, pages 113-145

Authors: P. C. Vinh

Abstract

In this paper, the notion of aspect-oriented modular reconfigurable computing (AOMRC) is introduced, CSP-based behaviors of AOMRC are approached by developing a model of AOMRC and constructing a Hoare model of deterministic reconfiguration processes. Then, under the theory of coalgebras, we build a homomorphism between AOMRC and a Hoare model of deterministic reconfiguration processes. In other words, since AOMRC and the Hoare model of deterministic reconfiguration processes are seen as coalgebras, their homomorphic relationship results in the behavioral equivalence between AOMRC being carried out by a transformations-based aspect and a Hoare model of deterministic reconfiguration processes.

Full Text (PDF)

References

[1] J. Adamek, H. Herrlich, and G. Strecker. Abstract and Concrete Categories. John Wiley and Sons, 1990.

[2] A. Asperti and G. Longo. Categories, Types and Structures. M.I.T. Press, 1991.

[3] L.S. Barbosa and Z. Liu, editors. Proceedings of the 2nd International Workshop on Formal Aspects of Component Software (FACS), volume 160 (August 2006) of ENTCS, Macao, 24-25 October 2005. UNU/IIST, Elsevier Science Publishers Ltd.

[4] G. M. Bergman. An Invitation to General Algebra and Universal Constructions. Henry Helson, 15 the Crescent, Berkeley CA 94708, US, 1998.

[5] A. DeHon. DPGA Utilization and Application. In Proceedings of 4th International Symposium on Field Programmable Gate Arrays (FPGA’96), pages 115-121, Monterey, CA, US, 11-13 February 1996. ACM.

[6] A. DeHon and J. Wawrzynek. Reconfigurable Computing: What, Why, and Implications for Design Automation. In Proceedings of 36th Design Automation Conference (DAC), pages 610-615, New Orleans, LA, USA, 21-25 June 1999. ACM.

[7] R. Hartenstein. The Microprocessor is No Longer General Purpose: Why Future Reconfigurable Platforms Will Win. In Proceedings of 2nd Annual International Conference on Innovative Systems in Silicon, pages 2-12, Austin, TX, USA, 8-10 October 1997. IEEE.

[8] R. Hartenstein. A Decade of Reconfigurable Computing: A Visionary Retrospective. In Proceedings of Design, Automation, and Test in Europe Conference (DATE), pages 642-649, Munich, Germany, 13-16 March 2001. IEEE.

[9] R. Hartenstein. Coarse Grain Reconfigurable Architectures. In Proceedings of Asia and South Pacific Design Automation Conference (ASPDAC), pages 564-569, Yokohama, Japan, 30 January – 2 February 2001. IEEE.

[10] R. Hartenstein. Reconfigurable Computing: A New Business Model and its Impact on SoC Design. In Proceedings of Euromicro Symposium on Digital Systems, Design (DSD), pages 103-110, Warzaw, Poland, 4- 6 September 2001. IEEE.

[11] R. Hartenstein. Trends in Reconfigurable Logic and Reconfigurable Computing. In Proceedings of 9th International Conference on Electronics, Circuits and Systems (ICECS), volume 2, pages 801-808, Dubrovnik, Croatia, 15-18 September 2002. IEEE.

[12] R. Hartenstein. Are We Really Ready for the Breakthrough? [morphware]. In Proceedings of International Parallel and Distributed Processing Symposium (IPDPS), Nice, France, 22-26 April 2003. IEEE. CD-ROM.

[13] R. Hartenstein. Morphware and configware. In Albert Y. Zomaya, editor, Handbook of Nature-Inspired and Innovative Computing. Integrating Classical Models with Emerging Technologies. Springer, 2005. 780 pages.

[14] M. Herz, R. Hartenstein, M. Miranda, E. Brockmeyer, and F. Catthoor. Memory Addressing Organization for Stream-based Reconfigurable Computing. In Proceedings of 9th International Conference on Electronics, Circuits and Systems (ICECS), volume 2, pages 813-817, Dubrovnik, Croatia, 15-18 September 2002. IEEE.

[15] C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 2004. This book has been updated by Jim Davies at the Oxford University Computing Laboratory.

[16] B. Jacobs and J. Rutten. A Tutorial on (Co)Algebras and (Co)Induction. Bulletin of EATCS, 62:222-259, 1997.

[17] G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes, J.M. Loingtier, and J. Irwin. Aspect-Oriented Programming. In M. Ak¸sit and S. Matsuoka, editors, Proceedings of 11th European Conference on Object-Oriented Programming (ECOOP), volume 1241 of Lecture Notes in Computer Science, pages 220-242, Jyvaskyla, Finland, 10 June 1997. Springer-Verlag. The paper originating AOP.

[18] M. Levine. Categorical Algebra. In G. Benkart, T.S. Ratiu, H.A. Masur, and M. Renardy, editors, Mixed Motives, volume 57 of Mathematical Surveys and Monographs, chapter I, II, II of Part II, pages 373-499. American Mathematical Society, USA, 1998.

[19] P. Lysaght. Aspects of Dynamically Reconfigurable Logic. In Proceedings of Colloquium on Reconfigurable Systems, volume 61, pages 1/1-1/5, Glasgow, Scotland, UK, 10 March 1999. IEE.

[20] J.J.M.M. Rutten. Automata and Coinduction (an Exercise in Coalgebra). In Proceedings of 9th International Conference on Concurrency Theory (CONCUR), volume 1466 of Lecture Notes in Computer Science, pages 194-218, Nice, France, 8-11 September 1998. SpringerVerlag.

[21] J.J.M.M. Rutten. Universal Coalgebra: A Theory of Systems. Theoretical Computer Science, 249(1):3-80, 17 October 2000.

[22] P.C. Vinh. Formal Aspects of Dynamic Reconfigurability in Reconfigurable Computing Systems. PhD thesis, London South Bank University, 103 Borough Road, London SE1 0AA, UK, 4 May 2006.

[23] P.C. Vinh and J.P. Bowen. Formalising Configuration Relocation Behaviours for Reconfigurable Computing. In Proceedings of SFP Workshop, FDL’02: Forum on Specification & Design Languages, Marseille, France, 24-27 September 2002. CD-ROM.

[24] P.C. Vinh and J.P. Bowen. An Algorithmic Approach by Heuristics to Dynamical Reconfiguration of Logic Resources on Reconfigurable FPGAs. In Proceedings of 12th International Symposium on Field Programmable Gate Arrays, page 254, Monterey, CA, USA, 22-24 February 2004. ACM/SIGDA.

[25] P.C. Vinh and J.P. Bowen. A Provable Algorithm for Reconfiguration in Embedded Reconfigurable Computing. In M.G. Hinchey, editor, Proceedings of 29th Annual IEEE/NASA Software Engineering Workshop (SEW), pages 245-252, Greenbelt, MD, USA, 6-7 April 2005. IEEE Computer Society Press.

[26] P.C. Vinh and J.P. Bowen. Continuity Aspects of Embedded Reconfigurable Computing. Innovations in Systems and Software Engineering: A NASA journal, 1(1):41-53, April 2005. Springer.

[27] P.C. Vinh and J.P. Bowen. POM Based Semantics of RTL and a Validation Method for the Synthesis Results in Dynamically Reconfigurable Computing Systems. In J. Rozenblit, T. O’Neill, and J. Peng, editors, Proceedings of 12th Annual International Conference and Workshop on the Engineering of Computer Based Systems (ECBS), pages 247-254, Greenbelt, MD, USA, 4-5 April 2005. IEEE Computer Society Press.

[28] P.C. Vinh and J.P. Bowen. A Formal Approach to Aspect-Oriented Modular Reconfigurable Computing. In Proceedings of 1st IEEE & IFIP International Symposium on Theoretical Aspects of Software Engineering (TASE), pages 369-378, Shanghai, China, 6-8 June 2007. IEEE Computer Society Press.

Bibtex

@article{sacscuza:vinh2007hbaahmodrpircs,
  title={Homomorphism between AOMRC and Hoare Model of Deterministic Reconfiguration Processes in Reconfigurable Computing Systems},
  author={P. C. Vinh},
  journal={Scientific Annals of Computer Science},
  volume={17},
  organization={``A.I. Cuza'' University, Iasi, Romania},
  year={2007},
  pages={113--145},
  publisher={``A.I. Cuza'' University Press}
}