|
Simulink, developed by MathWorks, is a graphical programming environment for modeling, simulating and analyzing multidomain dynamic 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.〔(【引用サイトリンク】title=Model Based Design Accelerates the Development of Mechanical Locomotive Controls )〕 == 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 flow charts. MathWorks claims that, coupled with another of their products,〔(【引用サイトリンク】title=Automatic Code Generation - Simulink Coder )〕 Simulink can automatically generate C source 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,〔(A Software Safety Certification Plug-in for Automated Code Generators: Feasibility Study and Preliminary Design )〕 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.〔(Lotus Engineering Develops Control Systems Software to Reduce Diesel Emissions )〕〔(A Comparison of Three Code Generators for Models Created in Simulink )〕〔(【引用サイトリンク】title=Multitarget modeling reduces ECU software costs )〕 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〔(【引用サイトリンク】title=Code Generation - Embedded Coder - Simulink )〕 also supports specific embedded targets. When used with other generic products,〔(HDL Coder )〕 Simulink and Stateflow can automatically generate synthesizable VHDL and Verilog. 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. The systematic testing tool TPT is marketed as a way to perform a formal verification and validation process to stimulate Simulink models but also for use during the development phase where the developer generates inputs to test the system. By the substitution of the Constant and Signal generator blocks of Simulink, MathWorks claim that the stimulation becomes reproducible. 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. 抄文引用元・出典: フリー百科事典『 ウィキペディア（Wikipedia）』 ■ウィキペディアで「Simulink」の詳細全文を読む スポンサード リンク
|