Software Development using Model Based Design (MBD)
For the Creation of Dependable Maintainable Systems
Get the benefits of:
Lower development cost Shorter development time More reliable software
In MBD all development activities are based on an executable model that represents the requirements. Since the model is executable, the requirements can be demonstrated and validated prior to implementation.
Errors are typically introduced into software by either poor, incomplete, or changing requirements and during the typical error-prone manual sequence of software development steps.
MBD addresses these issues by validating the requirements prior to implementation and automating the development steps for the direct generation of software code, and the generation of test drivers and test vectors for code testing, thus greatly reducing the possible introduction of errors.
Finding and fixing requirement flaws early in the development cycle can lead to much improved designs and the likelihood that the design is completed in a shorter development cycle.
The figure below shows the MBD framework.
The figure shows the requirements refinement path associated with requirements validation by the executable model. Once the model has been developed and the requirements validated, each of the succeeding steps show in the figure is automated, thus eliminating the traditional manual steps and the possible introduction of errors.
MATLAB, Simulink, Stateflow, and Simulink Coder are registered trademarks of The MathWork, Inc.
