Experiments in Translating CSP||B to Handel-C
Tools
Tools
Tools
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.
![[img]](/style/images/fileicons/application_pdf.png)
| PDF Available under License : See the attached licence file. 172Kb | |
![[img]](/style/images/fileicons/text_plain.png) | Plain Text (licence) 1516b |
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 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 (Paper) |
|---|---|
| Uncontrolled Keywords: | Handel-C, CSP parallel to B, translation, formal development, HARDWARE, SYSTEMS |
| Divisions: | Faculty of Engineering and Physical Sciences > Computing Science |
| ID Code: | 7212 |
| Deposited By: | Symplectic Elements |
| Deposited On: | 30 Sep 2011 15:09 |
| Last Modified: | 16 Feb 2013 16:32 |
Document Downloads
Repository Staff Only: item control page