Coder/Tester Generates Code From Simulink Models

Beacon software consists of three component tools--Designer, Coder, and Tester--for generating efficient, safety-critical production code from Simulink models. Designer provides the capability to specify software-design details including fixed-point scaling, calibration parameters, software buses via aggregate data types, code optimizations, and legacy code interfaces. Details are added without manipulating the Simulink and StateFlow models, thereby maintaining their integrity. Coder generates compiler-independent C or Ada software, floating or fixed point, from the models and performs safety checks during code generation. Tester automatically creates unit test vectors that target errors such as incorrect Boolean logic, one-off comparison defects, and numerical overflows. The application supports ANSI-C, Ada-83/95, and SPARK languages.