We are happy to announce that a fully compliant CPAL parser, along with a model-transformation (MT) framework has been released in open-source under AGPLv3.0 license by RealTime-at-Work, CNR (Italy) and University of Luxembourg. The MT framework is thread-safe and features a plugin based infrastructure and internal caches for speed. It has been developed to automate the “augmentation” of CPAL models with dependability mechanisms (e.g., process and data redundancy, voting), and to extract formal models (such as Promela) from CPAL code. There are two other CPAL parsers serving other purposes, the one of the distribution written in C, and one written in Java that is meant for C code generation from CPAL.
The source code, about 8000 lines of C, is available on github
, feedback and contributions welcome!