MATLAB/Simulink in der Mechatronik So einfach geht s!

Transcription

1 MATLAB/Simulink in der Mechatronik So einfach geht s! Executable s with Simulation Models Continuous Test and Verification Automatic Generation Tobias Kuschmider Applikationsingenieur 2014 The MathWorks, Inc. 1

2 MathWorks? Was ist das? 2

3 Engineering Challenges Today Ambitious, highly-complex projects with short development cycles False implementation of (often incomplete) requirements Discovery of errors late in development process Costly and time consuming to fix Time delays and cost overruns Resulting in loss of reputation/market shares 3

4 Relative cost to fix an error What is the Most Expensive Project Stage to Find Errors In? Errors introduced early but found late in the process are expensive to fix! Errors introduced in: requirements phase design phase coding phase Requirements phase phase Coding phase phase Project phase where error is fixed Source: Return on Investment for Independent Verification &, NASA,

5 Model-Based Executable s with Simulation Models Continuous Test and Verification Automatic Generation 6

6 Demonstration Motor-Control 7

7 Model-Based Process Requirements System Physical Components Component with Simulation Executable s Models Automatic Generation Continuous Test and Verification 8

8 Model-Based Continuous Requirements System Physical Components Component 9

9 Model-Based Process Requirements Requirements capturing in Word, DOORS, etc. System Physical Components Component 10

10 Model-Based Multi-Domain and Requirements Methods for modeling systems in different domains System Physical Components Flow (Block diagram) Component of Event-Driven Systems (State - Machines) Physical (Schematic) Programing Language (Textual) 11

11 Model-Based Early Concept Verification Requirements System Physical Components Executable specifications Predict dynamic system behaviour by simulation - System & environment models - Less physical prototypes Use of simulation results for system design - Fast What-/If studies Component - Short iteration cycles Idea Simple Model Detailed Model 12

12 Model-Based Process Requirements System Physical Components Component 13

13 Model-Based Rapid Prototyping Requirements System Physical Components Rapid (Control) Prototyping of System Models and / or Control on a dedicated real-time machine Component Simulink Real-Time 14

14 Model-Based Process Requirements System Physical Components Component 15

15 Floating-Point to Fixed-Point Workflow V Proof of Concept Model Hardware Constraints Verifying Fixed-Point and simulate floating-point algorithms Convert algorithm to fixedpoint and simulate Verify fixed-point results against floating-point reference Iterate on algorithm tradeoffs Iterate on implementation trade-offs Verify results against original requirements 17

16 Model-Based Automatic Generation Requirements C/C++, VHDL and PLC- Generation from one model System Support for Fixed Point Format Automatic scaling Supported in Simulation and -Generation Physical Components Easy integration of legacy C/C++- System development Component independent of the target r (C, C++) HDL r (VHDL, Verilog) PLC r (Structured Text) PLC DSP & µc FPGA & ASIC 18

17 BLACK BOX P O W E R V R C S I N P U T B L U E G R E E N R E D V Communication Interfaces Comm Drivers Core and Logic Output Drivers M Actuators Sensors A B C Input Drivers Legacy Special Device Drivers Tuning RGBSplit-4 Special Interfaces Scheduler or Operating System and Support Utilities 20

18 HTML Generation Report V Hyperlinks to Model Model to 21

19 Model Based Continuous Requirements System Physical Components Component 27

20 Model Based Continuous Requirements System Physical Components System tests in simulation Test vectors and expected responses System Tests Component Component tests in simulation Test vectors and expected outputs Component Tests 28

21 Model Based Continuous Requirements System validation/acceptance Test System Physical Components System tests in simulation Test vectors and expected responses System Tests Run system tests on integrated controller Component Component tests in simulation Test vectors and expected outputs Component Tests Run component tests on target 29

22 Model Based -Level & Requirements System Processor-In-The-Loop Simulation Co-Simulation of real hardware and simulated environment Physical functional Components Equivalence Component 30

23 Model Based & Requirements System Hardware-in-the-Loop Simulation System Verification on HIL-System Physical Components Component ~ ~ Simulink Real-Time 33

24 Benefits of Model-Based Models Core of the Process Unambiguous Description of Requirements Executable s Executable Fast Evaluation of Variants Simulation with Simulation Models Continuous Test and Verification Early Test and Verification Automatic Generation Automatic Generation Better Cooperation, Communication and Collaboration means for quick what/if scenarios Higher Product Quality 34

25 35

26 MathWorks Change the world by Accelerating the pace of discovery, innovation, development, and learning in engineering and science 36