Signal Flow With Simulink

BEACON for Simulink / Stateflow enables developers to specify embedded systems requirements using the popular simulation tools: Simulink / Stateflow. The BEACON code generation tools then generate production code from those specifications.

Embedded system signal flow is specified using Simulink. This provides application design using a signal propagation approach. BEACON for Simulink / Stateflow then analyzes the Simulink diagrams to generate structured C, Ada, or FORTRAN code.

The use of Simulink diagrams is also compatible with the BEACON Tester automated unit test tool. This tool can perform extensive analysis on the signal flow structure to generate reports and unit test vectors. This tool automates a large portion of the embedded system formal testing process, saving development time and increasing system reliability.