This project provides an open-source framework for the generation of high quality source code which is suitable for safety-critical applications and certification (e.g DO-178B). Currently a Simulink and Stateflow front-end and a C-language back-end are included.
Some of the strengths of UCGN:
- Clearly readable source-code
- Separation of functionality and parameters ("tunable parameters")
- Robust data storage (compile-time static structures in favor of pointer run-time constructs)
-...
Design by Contract with seamless integration into the Spring Framework, based on Annotations, AOP and a pluggable Specification Language (supports Expression Language (EL) with Extensions, Groovy, OGNL out of the box).