Instrumentation and integration within a heterogenous test equipment environment.
Use Model Advisor exclusion capability to speed up verification of Simulink and Stateflow models.
Lockheed Martin and NASA using MATLAB/Simulink to develop and test GN&C Flight Software
Produce a real-time prototype incorporating 80% of the final product’s functionality in a few months
Adaptive DPD Design
Techniques based on formal methods for verifying complex avionics systems.
Description of tools and a workflow for converting models from floating point to fixed point
Creating a High-Fidelity Model of an Electric Motor for Control System Design and Verification
Next-Generation Endoscopic Surgical Stapler Prototyping
Model-Based Design with MATLAB and Simulink enabled Septentrio to streamline DO-178B certification.
Amimon's technology enables HDTVs to interface wirelessly to all HD video sources
Simulink and Xilinx tools are used to develop a receiver for a 16-QAM telemetry system.
Model-Based Design enabled IAV to reduce their mass-production ECU development process
Die IAV verkürzt ihre Entwicklungszeit von drei Jahren auf nur 18 Monate
A MATLAB Toolbox of Level Set Methods by Ian Mitchell
TPT the unique model based testing tool for all Simulink models
Downloads for Windows, Mac and Linux, with documentation, publications and links.
Specman+Matlab package updates reviewed. Jangook Lee updated in Asia to 64 bit .
In only its third year of competition, the TU/e team placed second in the RoboCup championship
Tesla Motors used Model-Based Design to develop the first all-electric product sports car
German translation of the article: Accelerating Model Verification with Model Advisor