Paper Details

%T Experiments in Translating CSP||B to Handel\-C
%A Steve Schneider, Helen Treharne, Alistair A. McEwan, Wilson Ifill
%E Peter H. Welch, S. Stepney, F.A.C Polack, Frederick R. M. Barnes, Alistair A. McEwan, G. S. Stiles, Jan F. Broenink, Adam T. Sampson
%B Communicating Process Architectures 2008
%X This paper considers the issues involved in
   translating specifications described in the CSP||B formal
   method into Handel\-C. There have previously been approaches
   to translating CSP descriptions to Handel\-C, and the work
   presented in this paper is part of a programme of work to
   extend it to include the B component of a CSP||B
   description. Handel\-C is a suitable target language because
   of its capability of programming communication and
   state, and its compilation route to hardware. The paper
   presents two case studies that investigate aspects of the
   translation: a buffer case study, and an abstract arbiter
   case study. These investigations have exposed a number of
   issues relating to the translation of the B component, and
   have identified a range of options available, informing more
   recent work on the development of a style for
   CSP||B specifications particularly appropriate to
   translation to Handel\-C.

If you have any comments on this database, including inaccuracies, requests to remove or add information, or suggestions for improvement, the WoTUG web team are happy to hear of them. We will do our best to resolve problems to everyone's satisfaction.

Copyright for the papers presented in this database normally resides with the authors; please contact them directly for more information. Addresses are normally presented in the full paper.