Welcome to the csp2hc Project Website

The csp2hc The complexity inherent to concurrent systems can turn their development into a very complex and error-prone task. The use of formal languages like CSP and tools that support them simplifies considerably the task of developing such systems. This process, however, usually aims at reaching an executable program: a translation between the specification language and a practical programming language is still needed and is usually rather problematic. In this project, we are developing a translation framework that that provides an automatic translation from a subset of CSP to Handel-C, a programming language that is similar to standard C, but whose programs can be converted to produce files to program an FPGA.

Here you can download some resources related to the project.

Downloads

Executable

The csp2hc executable runs from the csp2hs.jar and can be download by the link below.

Download

CSP Scripts

The CSP Scripts used to verify the multi-synchronisation can be download from the links below:

• Original Version
• Extended Version

The CSP Scripts used to verify the multi-synchronisation can be download from the links below:

• Interleaving using Renaming
• Interleaving using Barriers

Examples

We provide a list of CSP examples and the Handel-C obtained from the csp2hc tool.

Parking Spot

Steam Boiler