Upload
joachim-schlosser
View
180
Download
2
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
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
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
3
It‘s math that drives things.The more math in your system
bigger benefit from Simulink
4
Why do your engineering colleagues love Simulink?
Why?
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
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
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
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
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
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
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
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
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
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
15
Start using Simulink now Ask someone who already uses Simulink www.mathworks.com/model-based-design/ During conference, reach me at
@schlosi
16
Backup / References
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.
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.
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
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.
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
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.
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
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