Editing Simulink (section)

== Add-on products ==
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 [[Flowchart|flow charts]].

Coupled with another of their products,<ref>{{cite web|url=http://www.mathworks.com/products/simulink-coder?s_cid=wiki_simulink_3|title=Automatic Code Generation - Simulink Coder|work=mathworks.com|access-date=28 June 2015}}</ref> Simulink can [[automatic code generation|automatically generate]] [[C (programming language)|C]] [[source code]] for [[real-time computing|real-time]] implementation of systems. As the efficiency and flexibility of the code improves, this is becoming more widely adopted for production systems,<ref>[http://ti.arc.nasa.gov/m/pub-archive/1296h/1296%20(Denney).pdf A Software Safety Certification Plug-in for Automated Code Generators: Feasibility Study and Preliminary Design]</ref><ref>{{cite web|url=http://www.greencarcongress.com/2009/10/general-motors-developed-twomode-hybrid-powertrain-with-mathworks-modelbased-design-cut-24-months-of.html|title=Green Car Congress: General Motors Developed Two-Mode Hybrid Powertrain With MathWorks Model-Based Design; Cut 24 Months Off Expected Dev Time|author=BioAge Media|work=greencarcongress.com|access-date=28 June 2015}}</ref> in addition to being a tool for [[embedded system]] design work because of its flexibility and capacity for quick iteration{{citation needed|date=April 2015}}. Embedded Coder creates code efficient enough for use in embedded systems.<ref>[http://www.techsource.com.sg/eresources/eres_storyDetails.asp?stid=10 Lotus Engineering Develops Control Systems Software to Reduce Diesel Emissions] {{Archive url|url=https://web.archive.org/web/20060223102856/http://www.techsource.com.sg/eresources/eres_storyDetails.asp?stid=10|date=2006-02-23}}</ref><ref>[http://www.cedes.se/Registrerade%20dokument/17%20RH%20JN%20A%20comparison%20of%20code%20generators.pdf A Comparison of Three Code Generators for Models Created in Simulink] {{webarchive|url=https://web.archive.org/web/20100811055925/http://www.cedes.se/Registrerade%20dokument/17%20RH%20JN%20A%20comparison%20of%20code%20generators.pdf |date=2010-08-11 }}</ref><ref>{{cite web|url=http://www.automotivedesignline.com/howto/193300307|archive-url=https://web.archive.org/web/20071018215921/http://automotivedesignline.com/howto/193300307|url-status=dead|archive-date=18 October 2007|title=Multitarget modeling reduces ECU software costs|work=EETimes|access-date=28 June 2015}}</ref>

Simulink Real-Time (formerly known as xPC Target), together with x86-based real-time systems, is an environment for simulating and testing Simulink and Stateflow models in real-time on the physical system.  Another MathWorks product<ref>{{cite web|url=http://www.mathworks.com/products/embedded-coder?s_cid=wiki_simulink_5|title=Code Generation - Embedded Coder - Simulink|work=mathworks.com|access-date=28 June 2015}}</ref> also supports specific embedded targets.  When used with other generic products,<ref>[http://www.mathworks.com/products/slhdlcoder?s_cid=wiki_simulink_6 HDL Coder]</ref> Simulink and [[Stateflow]] can automatically generate [[logic synthesis|synthesizable]] [[VHDL]] and [[Verilog]]{{citation needed|date=April 2015}}.
<!-- Deleted image removed: [[File:Matlab.family.png|300px|left|Matlab product family]] -->

Simulink Verification and Validation enables systematic verification and validation of models through modeling style checking, [[requirements traceability]] and model coverage analysis. Simulink Design Verifier uses [[formal methods]] to identify design errors like [[integer overflow]], [[division by zero]] and dead logic, and generates test case scenarios for [[model checking]] within the Simulink environment.

[[SimEvents]] is used to add a library of graphical building blocks for modeling queuing systems to the Simulink environment, and to add an event-based simulation engine to the time-based simulation engine in Simulink.<ref>{{cite web|title=Introduction to Discrete-Event Simulation | last=Cassandras| first=Christos | publisher= Springer US | date=2007-11-27 | url=http://www.springerlink.com/content/g82w56/?v=editorial| archive-url=https://archive.today/20130202230246/http://www.springerlink.com/content/g82w56/?v=editorial| url-status=dead| archive-date=2013-02-02| access-date=2009-11-03}}</ref>