University of Surrey

Test tubes in the lab Research in the ATI Dance Research

Experiments in Translating CSP||B to Handel-C

Schneider, S, Treharne, H, McEwan, A and Ifill, W (2008) Experiments in Translating CSP||B to Handel-C In: Communicating Process Architectures 2008 - WoTUG-31, 2008-09-07 - 2008-09-10, York, UK.

Available under License : See the attached licence file.

Download (176kB)
[img] Text (licence)

Download (1kB)


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 ill this paper is part of a programme of work to extend it to include the B component of a CSP parallel to 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 all 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 oil the development of a style for CSP parallel to B specifications particularly appropriate to translation to Handel-C.

Item Type: Conference or Workshop Item (Conference Paper)
Divisions : Faculty of Engineering and Physical Sciences > Computing Science
Authors :
Schneider, S
Treharne, H
McEwan, A
Ifill, W
Date : 2008
DOI : 10.3233/978-1-58603-907-3-115
Contributors :
ContributionNameEmailORCID, PH, S, FAC, FRM, AA, GS PRESS,
Uncontrolled Keywords : Handel-C, CSP parallel to B, translation, formal development, HARDWARE, SYSTEMS
Depositing User : Symplectic Elements
Date Deposited : 30 Sep 2011 14:09
Last Modified : 31 Oct 2017 14:09

Actions (login required)

View Item View Item


Downloads per month over past year

Information about this web site

© The University of Surrey, Guildford, Surrey, GU2 7XH, United Kingdom.
+44 (0)1483 300800