Skip to main content
SpringerLink
Log in

Serialising Parallel Processes in a Hardware/Software Partitioning Context

  • Conference paper
  • First Online:
Book cover FME 2001: Formal Methods for Increasing Software Productivity (FME 2001)

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

Included in the following conference series:

  • 583 Accesses

Abstract

In this paper we present a strategy to serialise parallel processes in occam, in the context of a hardware/software partitioning approach. The strategy takes as input two parallel processes to serialise and applies algebraic rules to perform the serialisation. These rules are derived from the semantics of occam, which guarantees that the serialisation strategy preserves the semantics of the original parallel processes. In particular, the strategy ensures that deadlock is not introduced during the serialisation procedure.

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 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.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. E. Barros. Hardware/Software Partitioning Using UNITY. PhD thesis, Tübingen University, 1993.

    Google Scholar 

  2. E. Barros and A. Sampaio. Towards Probably Correct Hardware/Software Partitioning Using Occam. In Proceedings of the Third International Workshop on Hardware/Software Co-design CODES/CASHE94, 1994, 210–217, IEEE Press.

    Google Scholar 

  3. E. Barros, A. Sampaio, M. E. Lima, L. Silva, R. Jacobi and N. Calazans. The PISH Methodology for Hardware/Software Co-design. In Workshop of ProTem-CC, CNPq, Belo Horizonte, Brazil, 1998, 65–98.

    Google Scholar 

  4. E. Barros and M. V. D. Santos. A Safe, Accurate Intravenous Infusion Control System. In IEEE Micro Magazine, Sept/Oct 1998.

    Google Scholar 

  5. M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno and A. Sangiovanni-Vicentelli. Hardware/Software Co-design of Embedded Systems. In IEEE Micro, August 1994, 26–36.

    Google Scholar 

  6. . Ernst and J. Henkel.Hardware-Software Co-design 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. Manual available from the author, 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. Harper, D. MacQueen and R. Milner. Standard ML. Edinburgh University LFCS report series ECS-LFCS-86-2, 1986.

    Google Scholar 

  10. C. A. R. Hoare and He Jifeng. Unifying Theories of Programming. Prentice-Hall Europe, 1998.

    Google Scholar 

  11. R. B. Hughes and G. Musgrave. The Lambda Approach to System Verification. In Hardware/Software Co-design, Editors G. De Micheli and M. Sami, Kluwer Academic Publisher, 1996, 427–451.

    Google Scholar 

  12. J. Iyoda, A. Sampaio and L. Silva. ParTS: A Partitioning Transformation System. In Proceedings of FM99 (World Congress on Formal Methods), Lecture Notes in Computer Science, Springer Verlag, 1999, 1709:1400–1419.

    Google Scholar 

  13. J. Iyoda. ParTS: A Support Tool to Hardware/Software Partitioning. Master thesis, Federal University of Pernambuco, Brazil, May 2000 (in Portuguese).

    Google Scholar 

  14. H. Jifeng, I. Page, and J. Bowen. Towards a Provably Hardware Implementation of occam. In Correct Hardware Design and Verification Methods (Advanced Research Working Conference, CHARME’ 93), Lecture Notes in Computer Science, Springer Verlag, 1993, 683:214–225.

    Chapter  Google Scholar 

  15. G. Jones and M. Goldsmith. Programming in occam 2. Prentice-Hall, 1988.

    Google Scholar 

  16. J. Madsen, J. Grode, P. V. Knudsen, M. E. Petersen and A. Haxthausen. Lycos: The Lyngby Co-synthesis System. In Design Automation of Embedded Systems, Editor R. Camposano, 1997, 2(2):195–235.

    Google Scholar 

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

    Article  MATH  MathSciNet  Google Scholar 

  18. 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 

  19. 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 

  20. 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, September 1997, 1313:624–643.

    Google Scholar 

  21. L. Silva, A. Sampaio, E. Barros and J. Iyoda. An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment. 7th International Conference on Algebraic Methodology and Software Technology (AMAST) 98, Lecture Notes in Computer Science, January 1999, 1548:308–324.

    Chapter  Google Scholar 

  22. L. Silva. An Algebraic Approach Hardware/Software Partitioning. PhD. Thesis, Federal University of Pernambuco, Recife, Brazil, July 2000.

    Google Scholar 

  23. P. Welch and G. R. R. Justo. On the serialisation of parallel programs. Occam and the Transputer-Current Developments, 159–180, IOS Press, Amsterdam, 1991.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Departamento de Ciência da Computação e Estatística, Universidade Federal de Sergipe, CEP 49100-000, Aracaju - SE, Brazil

    Leila Silva

  2. Centro de Informática - Universidade Federal de Pernambuco, Caixa Postal 7851 - Cidade Universitária, CEP 50740-540, Recife - PE, Brazil

    Augusto Sampaio

  3. Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, UK, OX1 3Q

    Geraint Jones

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. Geraint Jones
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Computer Science Department, University of Minho, Campus de Gualtar, 4700-320, Braga, Portugal

    José Nuno Oliveira

  2. AT&T Laboratories — Research, 180 Park Avenue, Florham Park, New Jersey, 07932, USA

    Pamela Zave

Rights and permissions

Reprints and permissions

Copyright information

© 2001 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Silva, L., Sampaio, A., Jones, G. (2001). Serialising Parallel Processes in a Hardware/Software Partitioning Context. In: Oliveira, J.N., Zave, P. (eds) FME 2001: Formal Methods for Increasing Software Productivity. FME 2001. Lecture Notes in Computer Science, vol 2021. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45251-6_19

Download citation

  • DOI: https://doi.org/10.1007/3-540-45251-6_19

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-41791-0

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

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation