BEACON Coder

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.

BEACON Coder analyzes the Simulink and Stateflow design diagrams to generate safety-critical, high reliability C, Ada, and FORTRAN code. The generated code is highly readable, structured code ready for production embedded applications. The BEACON for Simulink / Stateflow toolset is designed to fit into the customer's existing embedded application development process. Adopting this diagrammatic software design approach promotes code reuse, and results in application code easily tested to the original requirements.

The BEACON Coder is also compatible with the BEACON Tester automated unit test tool. BEACON for Simulink / Stateflow extracts the system architecture from the Simulink and Stateflow diagrams. This architecture is used not only to generate the production code using BEACON Coder but also to apply system analysis and unit test vector generation using BEACON Tester. Ensuring that the system structure used to generate code is also used to prepare test cases ensures reliable test generation and analysis.