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