A modeling and code generation framework for critical embedded systems design: From Simulink down to VHDL and Ada/C code

The P project gathers industrial and academic partners to address the issue of a modeling approach and automatic code generation for critical embedded systems. Works target the definition of an open design flow which integrates qualified tools to produce both hardware and software implementations. This paper introduces the project through two code generators that allow generating Ada, C and VHDL from Simulink. Application of the design flow to two industrial case studies is finally presented.