FPGA design support using CλaSH and LUNA

Modern software development for embedded systems has an increasing amount of require- ments, constantly increasing the complexity of the design process. An often used approach to simplify the design process of embedded systems is Model-driven design. gCSP (graphical Communicating Sequential processes) is such a model. It is a graphical way of displaying CSP models, which conforms to a precise syntax and has external tool support. Traditionally embedded systems consist of an embedded processor running real-time software on a real-time operating system. Due to higher demands, more design effort is needed to meet these requirements. Since an embedded processor is often used for other purposes it is difficult to meet these real-time requirements. Offloading these real-time processes to an FPGA should resolve this problem. Due to the parallel nature of CSP, the FGPA platform is extremely suitable for CSP execution.