Skip to main content
SpringerLink
Log in

An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment

  • Conference paper
  • First Online:
Algebraic Methodology and Software Technology (AMAST 1999)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 1548))

Abstract

In this paper we present a strategy for combining processes belonging to the same hardware or software component (cluster), in the context of hardware/software partitioning of a system. The strategy takes as input an occam description of a system. This description is the parallel composition of the system components in a predefined form, together with annotations that indicate how the processes, in each cluster, must be combined: by serialisation or by parallelisation. The description given as input can be seen as a binary tree. The strategy to combine processes is based on the reduction of possible configurations in that tree, by using transformation rules which are provable from an algebraic semantics of occam.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. A. Balboni, W. Fornaccari, D. Sciuto. TOSCA: A Pragmatic Approach to Co-Design Automation of Control-Dominated Sustems. In Hardware/Software Codesign, (1996) 265–294, Kluwer Academic Publishers.

    Google Scholar 

  2. E. Barros. Hardware/Software Partitioning using UNITY. PhD thesis, Universität Tübingen, 1993.

    Google Scholar 

  3. E. Barros and A. Sampaio. Towards Probably Correct Hardware/Software Partitioning Using Occam. In Proceedings of the Third International Workshop on Hardware/Software Codesign, Codes/CASHE94, (1994) 210–217, IEEE Press.

    Google Scholar 

  4. E. Barros et al. The PISH Methodology for Hardware/Software Codesign. In Proceedings of the Workshop of ProTem-CC, CNPq, (1998) 65–98.

    Google Scholar 

  5. M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno and A. Sangiovanni-Vicentelli. A Formal Methodology for Hardware/Software Co-design of Embedded Systems. In IEEE Micro, August1994.

    Google Scholar 

  6. R. Ernst and J. Henkel. Hardware-Software Codesign of Embedded Controllers Based on Hardware Extraction. In Handouts of the International Workshop on Hardware-Software Co-Design, October 1992.

    Google Scholar 

  7. M. Goldsmith. The Oxford occam Transformation System. Technical report, Oxford University Computing Laboratory, January 1988.

    Google Scholar 

  8. R. Gupta and G. De Micheli. System-level Synthesis Using Re-programmable Components. In Proceedings of EDAC, (1992) 2–7, IEEE Press.

    Google Scholar 

  9. R. B. Highes and G. Musgrave. The Lambda Approach to System Verification. In Hardware/Software Co-design, G. De Micheli and M. Sami Editors, Kluwer Academeic Publishers, 1996.

    Google Scholar 

  10. Jifeng He, I. Page, and J. Bowen. A Provable Hardware Implementation of occam. In Correct Hardware Design and Verification Methods (Advanced Research Working Conference, CHARME’ 93), Lecture Notes in Computer Science, Springer Verlag, 683, (1993) 214–225.

    Google Scholar 

  11. A. Kalavade and E. Lee. The Extended Partitioning Problem: Hardware/Software Mapping, Scheduling and Implementation-bin Selection. In Design Automation for Embedded Systems, 1997, 2(2): 125–163.

    Article  Google Scholar 

  12. L. Paulson. ML for the working programmer. Cambridge University Press, 1991.

    Google Scholar 

  13. D. Pountain and D. May. A Tutorial Introduction to OCCAM Programming. Inmos BSP Professional Books, (1987).

    Google Scholar 

  14. A. Roscoe and C. A. R. Hoare. The laws of occam programming. In Theoretical Computer Science, 60, (1988) 177–229.

    Article  MATH  MathSciNet  Google Scholar 

  15. D. Saha, R. S. Mitra and A. Basu. Hardware/Software Partitioning Using Genetic Algorithm. In Proc. of 10th International Conference on VLSI Design, India, 1997, 155–160.

    Google Scholar 

  16. A. Sampaio. An Algebraic Approach to Compiler Design. Volume 4 of Algebraic Methodology and Software Technology (AMAST) Series in Computing, World Scientific, 1997.

    Google Scholar 

  17. L. Silva, A. Sampaio and E. Barros. A Normal Form Reduction Strategy for Hardware/Software Partitioning. In Formal Methods Europe (FME) 97. Lecture Notes in Computer Science 1313, (1997) 624–643.

    Google Scholar 

  18. L. Silva, A. Sampaio and E. Barros. A Reduction Strategy for Combining Processes in a Hardware/Software Partitioning Environment. Technical Report, RTDI/ UFPE, Federal University of Pernambuco, Recife, Brazil. (draft)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Depto. de Informática, UFPE - Caixa, Postal 7851, Cidade Universitária - CEP, 50740-540, Recife - PE, Brazil

    Leila Silva, Augusto Sampaio, Edna Barros & Juliano Iyoda

Authors
  1. Leila Silva
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Augusto Sampaio
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Edna Barros
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Juliano Iyoda
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Departamento de Informática, Pontifícia Laboratório de Métodos Formais, Universidade Católica do Rio de Janeiro, Rua Marquês De São Vicente, 225, 22453-900, Rio de Janeiro, RJ, Brazil

    Armando M. Haeberer

Rights and permissions

Reprints and permissions

Copyright information

© 1998 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Silva, L., Sampaio, A., Barros, E., Iyoda, J. (1998). An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment. In: Haeberer, A.M. (eds) Algebraic Methodology and Software Technology. AMAST 1999. Lecture Notes in Computer Science, vol 1548. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-49253-4_23

Download citation

  • DOI: https://doi.org/10.1007/3-540-49253-4_23

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-65462-9

  • Online ISBN: 978-3-540-49253-5

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation