Serialising Parallel Processes in a Hardware/Software Partitioning Context

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.

[1]  Anne Elisabeth Haxthausen,et al.  LYCOS: the Lyngby Co-Synthesis System , 1997, Des. Autom. Embed. Syst..

[2]  Michael Goldsmith.  The Oxford occam transformation system , 1988 .

[3]  Augusto Sampaio,et al.  A Normal Form Reduction Strategy for Hardware/Software Partitioning , 1997, FME.

[4]  Augusto Sampaio,et al.  An Algebraic Approach to Combining Processes in a Hardware/Software Partitioning Environment , 1998, AMAST.

[5]  Augusto Sampaio,et al.  ParTS: A Partitioning Transformation System , 1999, World Congress on Formal Methods.

[6]  Michael Goldsmith,et al.  Programming in occam 2 , 1985, Prentice Hall international series in computer science.

[7]  R.K. Gupta,et al.  System-level synthesis using re-programmable components , 1992, [1992] Proceedings The European Conference on Design Automation.

[8]  Luciano Lavagno,et al.  Hardware-software codesign of embedded systems , 1994, IEEE Micro.

[9]  Robin Milner,et al.  Standard ML: Report ECS-LFCS-86-2 , 1986 .

[10]  C. A. R. Hoare,et al.  The Laws of Occam Programming , 1988, Theor. Comput. Sci..

[11]  Augusto Sampaio,et al.  Towards provably correct hardware/software partitioning using OCCAM , 1994, Third International Workshop on Hardware/Software Codesign.

[12]  Augusto Sampaio.  An Algebraic Approach to Compiler Design , 1993, AMAST Series in Computing.

[13]  Luciano Lavagno,et al.  Hardware-Software Co-Design of Embedded Systems , 1997 .

[14]  Edna Barros,et al.  A safe, accurate intravenous infusion control system , 1998, IEEE Micro.

[15]  Jifeng He,et al.  Towards a Provably Correct Hardware Implementation of Occam , 1993, CHARME.

[16]  G. Musgrave,et al.  The Lambda Approach to System Verification , 1996 .

[17]  Peter H. Welch,et al.  On the Serialisation of Parallel Programs , 1991 .

[18]  Debanjan Saha,et al.  Hardware software partitioning using genetic algorithm , 1997, Proceedings Tenth International Conference on VLSI Design.