Overview
Matlab/Simulink has been used in a number of different ways to support the development and verification of software projects. Example: For civil Aero engine control system Phixos used Matlab/Simulink as a design tool to auto generate C code. For a Satellite test strategy, Matlab/Simulink is used by Phixos to generate a dissimilar model to replicate the formally developed source code, this dissimilar model is used to create our test vectors so we can automate the generation of expected test output based on known test input, which is then used to verify the performance of the formally developed software. For a national grid project Matlab Simulink was used as a design and simulation tool to verify the behaviour of the design and allows simulation testing prior to formal code development.
