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 control flow is specified using Stateflow. This provides
application control using a State Transition approach or using a more
standard control flow approach. BEACON for Simulink / Stateflow then
analyzes the Stateflow diagrams to generate structured C, Ada, or
FORTRAN code.
The use of Stateflow diagrams is also compatible with the BEACON Tester
automated unit test tool. This tool can perform extensive analysis
on the control 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.
