BEACON enables developers to specify embedded systems requirements
using Control and Signal Flow Diagram along with the BEACON Data Window.
The BEACON code generation tools then generate production code from
those specifications.
BEACON analyzes the 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.
BEACON 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 code generators are also compatible with BEACON's automated
unit test tool (AUTT). BEACON extracts the system architecture from
the Simulink and Stateflow diagrams. This architecture is used not
only to generate the production code but also to apply system analysis
and unit test vector generation using AUTT. Ensuring that the system
structure used to generate code is also used to prepare test cases
ensures reliable test generation and analysis.
