Workshops Model-Driven Development Days
During the ASD:Suite workshop, participants will experience the power of the ASD model-driven development platform through a hands-on exercise.
Participants will learn how to transform their ideas into flawlessly working software by using the ASD:Suite formal verification. In the two-hour workshop the ASD concept is explained as an introduction, then the participants will start to work on an actual case.
To add to the fun, participants will run their formally verified ASD designs on a 3D simulation model to validate system behavior before execution on a Lego Mindstorm target system.
A full featured 30 day evaluation version of the ASD:Suite is made available for all participants.
Have a look at the latest release of MathWorks tools, including MATLAB and Simulink. Are you already a user? Try out the newest features. Are you new to the tools? Get a quick introduction and an overview of what is possible. In any case: get a free two-week trial license on your laptop and go through some interesting examples.
Learn how to create models of electrical, mechanical and mechatronical devices and their controllers as part of the model-driven development process. Have a look into StateFlow as the environment for creating hierarchical, supervisory controllers. Go from requirements to formal verification with Simulink Verification and Validation and Simulink Design Verifier. See how optimisation techniques can help you to tune a control system or improve the physical properties of a design.
You can then go through some tutorial examples and get your questions answered by MathWorks experts.