Sciweavers

WOTUG
2008

Experiments in Translating CSP || B to Handel-C

14 years 29 days ago
Experiments in Translating CSP || B to Handel-C
Abstract. 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 nd 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. Keywords. Handel-C, CSP B, translation, formal development
Steve Schneider, Helen Treharne, Alistair McEwan,
Added 30 Oct 2010
Updated 30 Oct 2010
Type Conference
Year 2008
Where WOTUG
Authors Steve Schneider, Helen Treharne, Alistair McEwan, Wilson Ifill
Comments (0)