24
1 © 2011 The MathWorks, Inc. It‘s Math That Drives Things – Simulink as Simulation and Modeling Environment Dr. Joachim Schlosser Senior Team Leader Application Engineering MathWorks

It‘s Math That Drives Things – Simulink as Simulation and Modeling Environment

Embed Size (px)

DESCRIPTION

You can benefit from Simulink, the software that Engineers love for doing their work Engineers in industries like Aerospace, Automotive, Energy production, Industrial Machinery, Automation, Railway and many others use Model-Based Design with Simulink for an increasing amount of their applications. Simulink allows you to… gain knowledge about the dynamics of your system and have a direct path to implementation use the modeling language that most engineers speak. Math underpins all Systems. Simulink is Math made real. Whatever domain your system incorporates: It is likely that mathematics plays a part of it. For example, Simulink covers domains like: Continuous time, Discrete time, Discrete event State machine, Physical models, Text based algorithms System environment, Digital hardware, Analog/RF hardware Embedded software, Mechanical systems MATLAB & Simulink provide a unified environment for all. Functional testing those systems uses simulation and formal methods. Begin to use Simulink for engineering mechatronic systems now. Find ways to look at the system you could not do before, and save time in your development Simulink is industry standard for engineering controls, signal processing. Ask someone who already uses Simulink Get a deeper insight on mathworks.com/model-based-design/ During conference, reach me at Twitter @schlosi

Citation preview

Page 1: It‘s Math That Drives Things – Simulink as Simulation and Modeling Environment

1© 2011 The MathWorks, Inc.

It‘s Math That Drives Things – Simulink as Simulation and Modeling Environment

Dr. Joachim Schlosser

Senior Team Leader Application EngineeringMathWorks

Page 2: It‘s Math That Drives Things – Simulink as Simulation and Modeling Environment

2

It‘s Math That Drives Things – Simulink as Simulation and Modeling EnvironmentExecutive Summary – Dr. Joachim Schlosser, MathWorks

You can benefit from Simulink, the software that Engineers love for doing their work Engineers in industries like Aerospace, Automotive, Energy production, Industrial Machinery, Automation, Railway

and many others use Model-Based Design with Simulink for an increasing amount of their applications. Simulink allows you to…

gain knowledge about the dynamics of your system and have a direct path to implementation use the modeling language that most engineers speak.

Math underpins all Systems. Simulink is Math made real. Whatever domain your system incorporates: It is likely that mathematics plays a part of it. For example, Simulink

covers domains like: Continuous time, Discrete time, Discrete event State machine, Physical models, Text based algorithms System environment, Digital hardware, Analog/RF hardware Embedded software, Mechanical systems

MATLAB & Simulink provide a unified environment for all. Functional testing those systems uses simulation and formal methods.

Begin to use Simulink for engineering mechatronic systems now. Find ways to look at the system you could not do before, and save time in your development Simulink is industry standard for engineering controls, signal processing.

Ask someone who already uses Simulink Get a deeper insight on mathworks.com/model-based-design/ During conference, reach me at Twitter @schlosi

Page 3: It‘s Math That Drives Things – Simulink as Simulation and Modeling Environment

3

It‘s math that drives things.The more math in your system

bigger benefit from Simulink

Page 4: It‘s Math That Drives Things – Simulink as Simulation and Modeling Environment

4

Why do your engineering colleagues love Simulink?

Why?

Page 5: It‘s Math That Drives Things – Simulink as Simulation and Modeling Environment

5

Detect System Integration Issues In Simulation

Model:

Actuator(Ideal)

InputsSystem

(Include)

Actuator(Realistic)

System(Ignore)

Mechanical

Hydraulic

Electrical

Controls

Park

Spin

SupervisoryLogic

LiftDrag

Wind

Aero-dynamics

Page 6: It‘s Math That Drives Things – Simulink as Simulation and Modeling Environment

6

“Accurate modeling is essential not only for planning

investments but also to detect situations that can cause

an outage. […] we can simulate power electronics,

mechanics, and control systems in one environment,

and our models respond like the turbines we have in the

field.”

Richard Gagnon

Hydro-Québec

“Accurate modeling is essential not only for planning

investments but also to detect situations that can cause

an outage. […] we can simulate power electronics,

mechanics, and control systems in one environment,

and our models respond like the turbines we have in the

field.”

Richard Gagnon

Hydro-Québec

Link to user storyTurbines on a wind farm

Page 7: It‘s Math That Drives Things – Simulink as Simulation and Modeling Environment

7

“Developing an HVAC system as complex as ours by

hand-coding in C would not be possible. Model-Based

Design not only made development possible, it also

made it faster while enabling us to verify and test

months earlier than we could before.”

Johan Hägnander

GM Engineering Europe

“Developing an HVAC system as complex as ours by

hand-coding in C would not be possible. Model-Based

Design not only made development possible, it also

made it faster while enabling us to verify and test

months earlier than we could before.”

Johan Hägnander

GM Engineering Europe

Link to user story

One of 54 types of GM vehicle dashboard with the HVAC control system installed

Page 8: It‘s Math That Drives Things – Simulink as Simulation and Modeling Environment

8

“Polyspace enabled us to dramatically

reduce our workload per analysis — from

several man-months to a matter of days.”Svetoslav Stoyanov

ELESYS North America

“Polyspace enabled us to dramatically

reduce our workload per analysis — from

several man-months to a matter of days.”Svetoslav Stoyanov

ELESYS North America

Airbag deployment during a frontal crash test

Link to user story

Page 9: It‘s Math That Drives Things – Simulink as Simulation and Modeling Environment

9

“Everyone knows that errors are much less

expensive to fix when you find them early. With

Simulink Design Verifier, we build on the advantages

of Model-Based Design by performing formal testing

in the first phases of development.”

Christoph Hellwig

TRW

“Everyone knows that errors are much less

expensive to fix when you find them early. With

Simulink Design Verifier, we build on the advantages

of Model-Based Design by performing formal testing

in the first phases of development.”

Christoph Hellwig

TRW

TRW Electric Parking Break

Results Test development time

reduced days hours 100% model coverage

achieved

Page 10: It‘s Math That Drives Things – Simulink as Simulation and Modeling Environment

10

“When Alstom delivered a Pendolino train to

Czech Railways, the railway application was

the first with automatically generated code

to receive TÜV certification.”

Han GeerligsAlstom

“When Alstom delivered a Pendolino train to

Czech Railways, the railway application was

the first with automatically generated code

to receive TÜV certification.”

Han GeerligsAlstom

Pendolino tilting train, w/ Safety-Critical Power Converter Control System

Link to user story

Page 11: It‘s Math That Drives Things – Simulink as Simulation and Modeling Environment

11

One Simulation & Modeling Environmentfor Multidomain Systems

Mechanical systems

Embedded software

Digital hardware

System environment

Analog/RF hardware

Modeling domains

Discrete-time

Continuous-time

System elements

State machine

Discrete-event

Physical models

Text-based

Page 12: It‘s Math That Drives Things – Simulink as Simulation and Modeling Environment

12

INTEGRATION

IMPLEMENTATION

Model-Based Design – Early Verification

DESIGN

TE

ST

& V

ER

IFIC

AT

ION

RESEARCH REQUIREMENTS

MCU DSP FPGA ASIC

Structured Text

VHDL, VerilogC, C++

Environment Models

Physical Components

Algorithms

TEST SYSTEM

PLC

Page 13: It‘s Math That Drives Things – Simulink as Simulation and Modeling Environment

13

Test and Verification Landscape

Model used for production

code generation

C Source Code

ExecutableObject Code

Textual Requirements

ExecutableSpecification

Design Verification

Code Verification

AutomatedFunctional

Tests

PropertyProving

Traceability

Coding Standards

Modeling Standards

Review

Equivalence Tests

Manual & RegressionFunctional

Tests

Modeling

Modeling

FormalizedRequirements

Modeling

Standard Requirements

CodeGeneration

Compilation/Linking

Page 14: It‘s Math That Drives Things – Simulink as Simulation and Modeling Environment

14

Download Wind Turbine Model from MATLAB Central

Complete example and many intermediate steps shown

http://www.mathworks.com/matlabcentral/fileexchange/25752-wind-turbine-model

Page 15: It‘s Math That Drives Things – Simulink as Simulation and Modeling Environment

15

Start using Simulink now Ask someone who already uses Simulink www.mathworks.com/model-based-design/ During conference, reach me at

@schlosi

Page 16: It‘s Math That Drives Things – Simulink as Simulation and Modeling Environment

16

Backup / References

Page 17: It‘s Math That Drives Things – Simulink as Simulation and Modeling Environment

17

Hydro-Québec Models Wind Power PlantPerformance

ChallengePlan the integration of new wind farms into the power system, predict power output, and ensure safe, reliable operation

SolutionUse MathWorks products to simulate individual windturbines and wind farms and to generate C code formultiprocessor simulation of entire power systems

Results Simulation speed increased to real time Equipment needs accurately predicted Dynamic simulations enabled

“Accurate modeling is essential not

only for planning investments but

also to detect situations that can

cause an outage. With MathWorks

tools, we can simulate power

electronics, mechanics, and control

systems in one environment, and

our models respond like the

turbines we have in the field.”

Richard Gagnon

Hydro-Québec

“Accurate modeling is essential not

only for planning investments but

also to detect situations that can

cause an outage. With MathWorks

tools, we can simulate power

electronics, mechanics, and control

systems in one environment, and

our models respond like the

turbines we have in the field.”

Richard Gagnon

Hydro-QuébecLink to user story

Turbines on a wind farm.

Page 18: It‘s Math That Drives Things – Simulink as Simulation and Modeling Environment

18

GM Engineering Europe Develops HVAC Controller for GM Vehicles Using Model-Based Design

ChallengeDesign an advanced HVAC embedded controller for GM vehicles worldwide

SolutionUse MathWorks tools and Model-Based Design to develop and implement a real-time controller with reusable components

Results System models reused across 54 vehicles Quality improved through early verification Team communication improved

“Developing an HVAC system as

complex as ours by hand-coding in

C would not be possible. Model-

Based Design not only made

development possible, it also made

it faster while enabling us to verify

and test months earlier than we

could before."

Johan Hägnander

GM Engineering Europe

“Developing an HVAC system as

complex as ours by hand-coding in

C would not be possible. Model-

Based Design not only made

development possible, it also made

it faster while enabling us to verify

and test months earlier than we

could before."

Johan Hägnander

GM Engineering Europe

Link to user story

GM vehicle dashboard with the HVAC control system installed.

Page 19: It‘s Math That Drives Things – Simulink as Simulation and Modeling Environment

19

Philips Consumer Lifestyle (Philips) Develops One-Piece Surround Sound System with MathWorks Tools

ChallengeDevelop a high quality surround sound system integrated in a single component

SolutionUse MathWorks tools to develop and test acoustic algorithms, run real-time simulations, and fine-tune parameters

Results New algorithms validated in days, not weeks Executable demonstrations ready in one day 80% of design reused in future projects

“Our acoustical engineers are not

expert programmers. With Simulink

they can quickly develop algorithms

and test their ideas without writing

any low level DSP code. Only after

identifying the best solution, sound

algorithms are implemented on a

DSP and committed to hardware.”

Georges Aerts

Philips Consumer Lifestyle

“Our acoustical engineers are not

expert programmers. With Simulink

they can quickly develop algorithms

and test their ideas without writing

any low level DSP code. Only after

identifying the best solution, sound

algorithms are implemented on a

DSP and committed to hardware.”

Georges Aerts

Philips Consumer Lifestyle

The Ambisound Soundbar integrated home theatre system.

Link to user story

Page 20: It‘s Math That Drives Things – Simulink as Simulation and Modeling Environment

20

Scania Develops Fuel-Saving DriverSupport System for Award-WinningLong-Haulage Trucks

ChallengeDevelop a real-time driver analysis system that provides truck drivers with immediate feedback on their driving techniques

SolutionUse MathWorks tools for Model-Based Design to design and simulate the driver support system, generate embedded code for prototype and production targets, and build a prototype user interface

Results Development time and effort reduced Model coverage increased Regression-testing time reduced

“Simulink is particularly helpful in two

stages of our development process.

Early on, it helps us try new ideas and

visualize how they will work. After

generating code and conducting in-

vehicle tests, we can run multiple

simulations, refine the design, and

regenerate code for the next iteration.”

Jonny Andersson

Scania

“Simulink is particularly helpful in two

stages of our development process.

Early on, it helps us try new ideas and

visualize how they will work. After

generating code and conducting in-

vehicle tests, we can run multiple

simulations, refine the design, and

regenerate code for the next iteration.”

Jonny Andersson

Scania

Link to user story

The Scania Driver Support display panel.

Page 21: It‘s Math That Drives Things – Simulink as Simulation and Modeling Environment

21

ELESYS North America Speeds Verification of Safety-Critical Embedded Software with Polyspace Products for C/C++

ChallengeAccelerate the verification of airbag suppression systems

SolutionUse Polyspace to detect run-time errors in safety-critical embedded software

Results Verification in days, not months Hard-to-find bugs located Testing efficiency increased

"Polyspace enabled us to

dramatically reduce our

workload per analysis — from

several man-months to a matter

of days."Svetoslav Stoyanov

ELESYS North America

"Polyspace enabled us to

dramatically reduce our

workload per analysis — from

several man-months to a matter

of days."Svetoslav Stoyanov

ELESYS North America

Airbag deployment during a frontal crash test.

Link to user story

Page 22: It‘s Math That Drives Things – Simulink as Simulation and Modeling Environment

22

TRW Automotive Develops and TestsElectric Parking Brake Using Simulinkand Simulink Design Verifier

ChallengeDesign tests for an electric parking brake control system

SolutionUse Simulink Design Verifier to automatically generate tests that maximize model coverage and enable systematic design verification

Results Test development time reduced from days to hours 100 percent model coverage achieved Formal testing begun two months into the project

“Everyone knows that errors are

much less expensive to fix when

you find them early. With Simulink

Design Verifier, we build on the

advantages of Model-Based Design

by performing formal testing in the

first phases of development."

Christoph Hellwig

TRW

“Everyone knows that errors are

much less expensive to fix when

you find them early. With Simulink

Design Verifier, we build on the

advantages of Model-Based Design

by performing formal testing in the

first phases of development."

Christoph Hellwig

TRW

Link to user story

Electronic parking brake control system.

Page 23: It‘s Math That Drives Things – Simulink as Simulation and Modeling Environment

23

Alstom Generates Production Code for Safety-Critical Power Converter Control Systems

ChallengeDesign and implement real-time power conversion and control systems for trams, metros, and railways

SolutionUse MathWorks tools for Model-Based Design to design, simulate, and automatically generate production code for safety-critical transportation systems

Results Development time cut by 50% Defect-free, safety-critical code generated and certified Common language established

“When Alstom delivered a

Pendolino train to Czech

Railways, the railway

application was the first with

automatically generated code

to receive TUV certification.”

Han GeerligsAlstom

“When Alstom delivered a

Pendolino train to Czech

Railways, the railway

application was the first with

automatically generated code

to receive TUV certification.”

Han GeerligsAlstom

Pendolino tilting train.

Link to user story

Page 24: It‘s Math That Drives Things – Simulink as Simulation and Modeling Environment

24

“Our acoustical engineers are not expert programmers. With

Simulink they can quickly develop algorithms and test their ideas

without writing any low level DSP code. Only after identifying the

best solution, sound algorithms are implemented on a DSP and

committed to hardware.”

Georges Aerts

Philips Consumer Lifestyle

“Our acoustical engineers are not expert programmers. With

Simulink they can quickly develop algorithms and test their ideas

without writing any low level DSP code. Only after identifying the

best solution, sound algorithms are implemented on a DSP and

committed to hardware.”

Georges Aerts

Philips Consumer Lifestyle

The Ambisound Soundbar integrated home theatre system.

Link to user story