Model Based Design From Concept to Production

8/12/2019 Model Based Design From Concept to Production

1/40

1

2011 The MathWorks, Inc.

Model-Based Design:

From Concept to Production


2/40

2Source: Wikimedia Commons

A Family Watching Television1958USA


3/40

3

Do you watch TV?What do you watch?

News?

Movies?

Sports?

How many hours have you watched sports on TV at astretch?

What do you think is the world record for watching

sports on TV at a stretch?

Source: Wikimedia Commons


4/40

4

Source: ESPNZone Press Release, January 4, 2010.


5/40

5

How do TV broadcasts get

from one part of the world to another?


6/40

6

Digital Video and Internet Services via Satellite

QPSK and 8PSK

Modulation

LDPCCoding

DVB-S2 with ACM (Adaptive Coding Modulation) for IP services including Video over IP.

Figure and DVB-S2 Logo adapted from ETSI Technical Report 102 376 v.1.1.1 (2005-02).


7/40


8/408

Model-Based Design:

From Concept to Production

INTEGRATION

IMPLEMENTATION

DESIGN

TESTAND

VERIFICATIO

N

RESEARCH REQUIREMENTS

MCU DSP FPGA ASIC

Structured

TextVHDL, VerilogC, C++

Environment Models

Physical Components

Algorithms

PLC


9/40


10/4010

INTEGRATION

IMPLEMENTATION

DESIGN

TESTAND

VERIFICATIO

N


MCU DSP FPGA ASIC

Structured


Environment Models

Physical Components

Algorithms

PLC

Whats new to help you

design and implement prototypes?

Generate efficient code

Explore and optimize

implementation tradeoffs

Model concurrent systems

Model multidomain systems

Explore and optimize system

behavior

Collaborate across teams and

continents


11/4011


design, implement, and verify for production?

INTEGRATION

IMPLEMENTATION

DESIGN

TESTAND

VERIFICATIO

N


MCU DSP FPGA ASIC

Structured


Environment Models

Physical Components

Algorithms

PLC Automate testing

Detect design errors

Support certification and standards







behavior


continents


12/4012

INTEGRATION

IMPLEMENTATION

DESIGN

TE

STAND

VERIFICATIO

N


MCU DSP FPGA ASIC

Structured


Environment Models

Physical Components

Algorithms

PLC


design and explore concepts?



behavior


continents


13/4013

How much electric energy does it take to run a

big screen plasma HDTV for 72 hours?

500 Watts x 72 hours 36 kWh


14/4014

Wind is the fastest-growing source of power

Source: Wikipedia


15/40


16/4016

Demonstration: Regulating Wind Turbine Output

Source: Wikipedia


17/40

17

What We Saw

Component

Folder

Test

Data

Folder ConfigurationSet Folder

Project

UtilitiesFolder

Project

Metadata

Simulink

ToolsRevision Control

Interface


Include electrical, hydraulic, and

mechanical components

Explore and optimize systembehavior

Modify design choices and meet

specifications

Collaborate across teams

and continents

Identify and track changes and

revisions with Simulink Projects


18/40

18

DVB-S2: Time- and Event-Driven Subsystems

Channel and

System Models

(Time-Driven)

Queue and Service

Time Models

(Event-Driven)

Figure adapted from ETSI Technical Report 102 376 v.1.1.1 (2005-02).


19/40

19

Discrete-Event SystemsSimEvents 4.0

Model:

Channel messages/packets

Queues, servers, switches

Analyze and optimize:

End-to-end latencies

Throughput / Packet loss

New:

10-100x faster simulations

Animation


20/40

20

New CapabilitiesModel multidomain systems

Create custom physical

component models:

Simscape

Model radio frequency (RF),

digital baseband, and radar

systems:

SimRF, System toolboxes

10-100x faster simulations of

discrete-event systems:

SimEvents


21/40

21

New CapabilitiesExplore and optimize system behavior

Compare simulation runs:

Simulation Data Inspector

Save / restore simulation state

Automatically looptune

complex Simulink controllers:

Robust Control Toolbox

Run multiple

scenarios


22/40

22

Variant selectionconditions

New CapabilitiesCollaborate across teams and continents

Easily manage multiple design

variations

Utilize arrays of buses and

For Each blocks for algorithm

and signal vectorization

Modularize Stateflow designs

using atomic subcharts


23/40

23

INTEGRATION

IMPLEMENTATION

DESIGN

TE

STAND

VERIFICATIO

N


MCU DSP FPGA ASIC

Structured


Environment Models

Physical Components

Algorithms

PLC


design and implement prototypes?







behavior


continents


24/40

24

MATLAB Today Presentation:Creating a Panoramic View Using Video Mosaicing


25/40

25

How do real-time

image processing systems work?


26/40

26

Demonstration: Image Processing on HardwareReal-Time Prototyping on FPGAs

critical path

parallel

paths


27/40

27

What We Saw


Fixed-point design

VHDL / Verilog

Reports:

Traceability

Resource Utilization,Optimization




28/40


29/40

29

New CapabilitiesExplore and optimize system implementation

Specify Embedded CoderC optimization objectives:

Code Generation Advisor

Assess memory & stack usage:

Static Code Metrics Report

AUTOSAR 3.2 support for

automotive applications

Automate scaling via design range(min/max) analysis:

Simulink Fixed Point


30/40

30

CPU

Prototype Concurrent DesignsxPC Target Turnkey

Perform real-time testing of control

system applications

Implement and distribute Simulink

components as concurrent software

(CPU) and hardware (FPGA) tasks

Dynamically interact with deployed

application from Simulink

Connect to and communicate with

hardware under test

Example Simulink Components

High-Rate

Inner

Loop

Low-Rate

Outer

Loop

CPU

Core 2 FPGA

Mode

Scheduler

CPU

Core 1


31/40


32/40

32

Robotic Welding Machine

Electric motor +

controller


33/40

33

How do electric motor controllers work?


34/40

34

Demonstration: AC Motor ControlVerification


35/40

35

What We Saw

Automate testing

Measure processor-in-the-loopexecution time:

Embedded Coder

Detect design errors

Identify and report divide-by-

zeros, overflows:

Simulink Design Verifier

Support certification andstandards

Generate System Design

Description Report:

Simulink Report Generator


36/40

36

New CapabilitiesAutomate testing

Verify test completeness andautomate test execution: Simulink

Verification and Validation

Generate test vectors for logic and

state-based algorithms:Simulink Design Verifier

Verify code test completeness:

LDRA

Create PIL implementation for your

embedded processors with open API


37/40


38/40

38

Automate checking against modeling

standards:

Simulink Verification and Validation

Automate DO-178 source code

reviews:

Simulink Code Inspector

Support existing and emerging

standardsEC 61508, ISO 26262,

and DO-178:IEC Certification Kit

DO Qualification Kit

New CapabilitiesSupport certification and standards

Embedded

Coder

Code

verification

Code traceability

Source codeModel


39/40


40/40

Documents

Model Based Design From Concept to Production