BEACON for Simulink / Stateflow

BEACON for Simulink / Stateflow combines the proven strength of BEACON's code generator with the modeling power of the MathWorks' Simulink & Stateflow tool set. The synergy created between the two tool sets extends the benefits of a world-class structured software design tool into the dynamic world of algorithmic modeling.

Signal flow software is designed using Simulink, while control flow is designed using Stateflow. Simulink and Stateflow's simulation-oriented models are translated into production-quality designs using BEACON for Simulink's Designer, complete with its data dictionary and user control over processing allocation. Once Designer is done, the BEACON code generators create efficient, well-commented, and standardized ANSI C or Ada in accordance with the user's annotations of the algorithmic model.

Because testing follows implementation, BEACON Tester generates the structural unit-level test cases needed to validate and verify the design. The complete structural test requirements dictated by the software design are accumulated, and test cases to cover them are formulated, all funneled into a self-documenting test file ready for importation into your favorite unit test harness.

BEACON for Simulink was designed explicitly to support the model-based development paradigm being embraced throughout segments of the embedded controller industry. The tool set's flexibility and power offer dramatic productivity and maintainability enhancement across the application's life cycle. Software designers are freed up to design software – with world-class tools in their pocket to alleviate the stress of translating their solid designs into fielded implementations.

BEACON generates safe code for critical applications, as well as, lower risk applications. The safe code paradigm promotes reliability and dependability. For more on safe code, see Safe Code (pdf).

For more, see Beacon for Simulink datasheet in PDF (270 kb).