From Design to Production

Transcription

1 From Design to Production An integrated approach Paolo Fabbri Senior Engineer 2014 The MathWorks, Inc. 1

2 Do you know what it is? Requirements System Test Functional Spec Integration Test Detailed Design Unit Test Implementation 2

3 Is the industry still using this approach for Embedded Software Development? 3

4 For Sure! But it s more about Modeling and Simulation Requirements System Test Functional Model Design Spec Integration HIL Simulation Test Detailed Model Design V&V Code Unit Test V&V Code Implementation Generation 4

5 Case Study: Vehicle Speed Limiter 74 Speed limiter 72 X: 10.9 Y: 71.1 Requirements System Test Model Design HIL Simulation m/h 66 Actual speed Setpoint 64 Model V&V Code V&V 62 Code Generation Time 5

6 Project Management in Simulink 6

7 Simulink Project Collaborative development Source Control Integration Support for svn and git Model compare/merge Data compare/merge Files Management Dependencies Analysis Impact Analysis 7

8 Source Control Integration 8

9 Model Comparison 9

10 Data Dictionary Comparison 10

11 Dependency and Impact Analysis 11

12 Manage Complexity in Simulink 12

13 Typical challenges with large projects Reuse models among different teams and projects Manage multiple design options in a single-model workflow Share models outside the team protecting IP Ensure proper modeling rules and configuration Ensure data consistency across models...what else? 13

14 Component-Based Modeling Reuse models among different teams and projects Modular Architecture Reusable Models Plant Expert Variants Management IP Protection Control Designer Control Designer 14

15 Model and Subsystem Variants 15

16 Protected Models for IP Protection Read-Only View Support Simulation Support Code Generation Support 16

17 Model Advisor Technology Ensure proper modeling rules and configuration Modeling Standards MISRA-C:2004 MAAB Style Guidelines IEC-61508/ISO EN DO-178C/DO-331 Specialized Advisor Upgrade Advisor Performance Advisor Code Generation Advisor 17

18 Simulink Data Dictionary Ensure data consistency across models Design Data Configuration Sets Change tracking Data partitioning Scalability and performance Simulink Projects Integration 18

19 Simulink Data Management System Simulink Project + Define Collaborate Store Model Explorer Simulink Data Dictionary + Manage Partition Simulink Data Objects Access 19

20 Model Verification and Validation 20

21 Early Model Verification and Validation Simulation, simulation, simulation... Simulation Data Inspection Simulation Comparison Coverage Analysis Requirements Model Design HIL Simulation System Test Model V&V Code V&V Code Generation 21

22 Analyze Simulation Data with Simulation Data Inspector 22

23 Simulation Comparison 23

24 Model Coverage Analysis 24

25 Embedded Code Generation and Verification 25

26 Embedded Code Generation Unified Code Generation Objective-Based Workflow Code Report and Code Metrics Requirements Model Design HIL Simulation System Test Model V&V Code V&V Code Generation 26

27 Unified Code Generation Capabilities Simulink Unified Code Generation C Code C++ Code HDL Code PLC Code MATLAB Stateflow 27

28 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 Algorithm Export Controller Model Communication Interfaces Comm Drivers Generated Algorithm Code Output Drivers M Actuators Sensors A B C Input Drivers Included Target Optimized Code Included Legacy Code Special Device Drivers RGBSplit-4 Scheduler/Operating System and Support Utilities Special Interfaces 28

29 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 Full Executable Controller Model Driver Blocks Scheduler Communication Interfaces Comm Drivers Generated Algorithm Code Output Drivers M Actuators Sensors A B C Input Drivers Included Target Optimized Code Included Legacy Code Special Device Drivers RGBSplit-4 Scheduler/Operating System and Support Utilities Special Interfaces 29

30 Code Integration Approaches Purpose Algorithm Export Mass Production Full Executable On-Target Rapid Prototyping Low Volume Production Usage Systems and software engineers Systems engineers Hardware Any processor Specific Hardware Kits or Boards Flexibility Higher Lower Ease of Use (Turnkey) Works after one-time customization Works out-of-the-box 30

31 Objective-Based Code Generation 31

32 Code Report and Code Metrics 32

33 Embedded C Code Verification In-the-Loop Simulations Code Execution Profiling Source Level Debugging Code Coverage Analysis Requirements Model Design Model V&V Code V&V HIL Simulation System Test Run-Time Error Detection Code Generation 33

34 «In-the-Loop» Simulations 34

35 MIL/SIL/PIL Simulation Comparison 35

36 Code Execution Profiling 36

37 Source Level Debugging in SIL 37

38 Code Coverage Analysis 38

39 Polyspace Technology Finds bugs Checks coding rule conformance (MISRA/JSF/Custom) Provides metrics (Cyclomatic complexity etc) Proves the existence and absence of run-time errors Certification help for Functional Safety standards 39

40 Run-time checks proven by Code Prover C run-time checks Unreachable Code Out of Bounds Array Index Division by Zero Non-Initialized Variable Scalar and Float Overflow (left shift on signed variables, float underflow versus values near zero) Initialized Return Value Shift Operations (shift amount in 0..31/0..63, left operand of left shift is negative) Illegal Dereferenced Pointer (illegal pointer access to variable of structure field, pointer within bounds) Correctness Condition (array conversion must not extend range, function pointer does not point to a valid function) Non-Initialized Pointer User Assertion Non-Termination of Call (non-termination of calls and loops, arithmetic expressions) Known Non-Termination of Call Non-Termination of Loop Standard Library Function Call Absolute Address Inspection Points Green: reliable safe pointer access Red: faulty out of bounds error Gray: dead unreachable code Orange: unproven may be unsafe for some conditions static void pointer_arithmetic (void) { int array[100]; int *p = array; int i; for (i = 0; i < 100; i++) { *p = 0; p++; } if (get_bus_status() > 0) { if (get_oil_pressure() > 0) { *p = 5; } else { i++; } } i = get_bus_status(); if (i >= 0) { *(p - i) = 10; } } 40

41 That s Model-Based Design Requirements System Test Model Design HIL Simulation Model V&V Code V&V Code Generation 41

42 What is the current industry maturity in the adoption of Model-Based Design? 42

43 Model-Based Design Maturity Framework 43

44 Profile of the industries in the benchmark OEMs and Suppliers from all regions of the world Automotive: Passenger, Commercial, Off-Highway Aerospace: Commercial, Military, Space Other: Industrial Automation, Medical, Transportation, Electronics 44

45 Automotive vs. Aerospace: Leaders Modeling Enterprise Management Simulation and Analysis 20 0 Aero Auto Process, Tools and Infrastructure Implementation Verification and Validation 45

46 Thank you! 46