Verification and Validation for High-Integrity Systems
Next-Generation Endoscopic Surgical Stapler Prototyping
Adaptive DPD Design
TPT the unique model based testing tool for all Simulink models
Creating a High-Fidelity Model of an Electric Motor for Control System Design and Verification
German translation of the article: Accelerating Model Verification with Model Advisor
Techniques based on formal methods for verifying complex avionics systems.
Downloads for Windows, Mac and Linux, with documentation, publications and links.
Produce a real-time prototype incorporating 80% of the final product’s functionality in a few months
Use Model Advisor exclusion capability to speed up verification of Simulink and Stateflow models.
A MATLAB Toolbox of Level Set Methods by Ian Mitchell
Model-Based Design with MATLAB and Simulink enabled Septentrio to streamline DO-178B certification.
Lockheed Martin and NASA using MATLAB/Simulink to develop and test GN&C Flight Software
Instrumentation and integration within a heterogenous test equipment environment.
Amimon's technology enables HDTVs to interface wirelessly to all HD video sources
Specman+Matlab package updates reviewed. Jangook Lee updated in Asia to 64 bit .
Die IAV verkürzt ihre Entwicklungszeit von drei Jahren auf nur 18 Monate
Model-Based Design enabled IAV to reduce their mass-production ECU development process
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
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