Simulink

Simulink is a MATLAB-based graphical programming environment for modeling, simulating and analyzing multidomain dynamical systems. Its primary interface is a graphical block diagramming tool and a customizable set of block libraries. It offers tight integration with the rest of the MATLAB environment and can either drive MATLAB or be scripted from it. Simulink is widely used in automatic control and digital signal processing for multidomain simulation and model-based design.^[3][4]

MathWorks and other third-party hardware and software products can be used with Simulink. For example, Stateflow extends Simulink with a design environment for developing state machines and flow charts. Simscape is an add-on product that extends Simulink with support for physical modeling. Developed by MathWorks, it enables the modeling and simulation of multidomain physical systems by connecting physical components whose interactions represent domains such as electrical, mechanical, thermal, and fluid systems.^[5] Simscape models can be combined with standard Simulink block diagrams, allowing the simulation of systems that couple physical dynamics with control algorithms and signal-based components. Coupled with another of their products,^[6] Simulink can automatically generateCsource code for real-time implementation of systems. As the efficiency and flexibility of the code improves, this is becoming more widely adopted for production systems,^[7][8] in addition to being a tool for embedded system design work because of its flexibility and capacity for quick iteration. Embedded Coder creates code efficient enough for use in embedded systems.^[9][10][11]

Simulink Real-Time (anteriormente conocido como xPC Target), junto con los sistemas en tiempo real basados ​​en x86, es un entorno para simular y probar modelos de Simulink y Stateflow en tiempo real en el sistema físico. Otro producto de MathWorks ^{[ 12 ]} también admite objetivos embebidos específicos. Cuando se utiliza con otros productos genéricos, ^{[ 13 ]} Simulink y Stateflow pueden generar automáticamente VHDL y Verilog sintetizables .

Simulink Verification and Validation permite la verificación y validación sistemática de modelos mediante la comprobación del estilo de modelado, la trazabilidad de los requisitos y el análisis de la cobertura del modelo. Simulink Design Verifier utiliza métodos formales para identificar errores de diseño como desbordamiento de enteros , división por cero y lógica muerta, y genera escenarios de casos de prueba para la verificación del modelo dentro del entorno Simulink.

SimEvents se utiliza para agregar una biblioteca de bloques de construcción gráficos para modelar sistemas de colas al entorno Simulink, y para agregar un motor de simulación basado en eventos al motor de simulación basado en tiempo en Simulink. ^{[ 14 ]}

• Lista de software de ingeniería aeroespacial

• Sitio web oficial