Model-Based Design with MATLAB and Simulink to shorten the design of a new infusion pump

Transcription

1 Model-Based Design with MATLAB and Simulink to shorten the design of a new infusion pump Fresenius Approach Claude VITTORIA, Fresenius Kabi APPLICATION DEVICES

2 Model-Based Design to shorten the design of a new infusion pump About Fresenius Kabi Medical market issues to guide Fresenius decisions Model-Based Design in the product development Lessons learned and perspectives 2

3 Model-Based Design to shorten the design of a new infusion pump About Fresenius Kabi Medical market issues to guide Fresenius decisions Model-Based Design in the product development Lessons learned and perspectives 3

4 Fresenius organization Sites in over 100 countries Turnover: M Employees: Infusion devices Dialysis Equipments Services Infusion therapies Nutrition therapies Medical Devices Transfusion Hospital Operations Engineering & Services Healthcare facilities Employees: Employees: Employees: Employees:

5 FRESENIUS KABI AG Medical Devices : A global solution 5

6 FRESENIUS KABI AG Medical Devices : A global solution 6

7 FRESENIUS KABI AG Medical Devices : A global solution 7

8 FRESENIUS KABI AG Medical Devices : A global solution 8

9 Model-Based Design to shorten the design of a new infusion pump About Fresenius Kabi Medical market issues to guide Fresenius decisions Model-Based Design in the product development Lessons learned and perspectives 10

10 Stakes & Challenges Why Model Based Design? Improve design process Scenario validation Increase collaboration Knowledge sustainability Code validation for verification Reduce time to market Speed up algorithm validation Automatic code generation Prepare Medical Certification Refine & traceability Model verification & validation 11

11 Stakes & Challenges Simulink to address MBD for Medical devices How to get started? Blank page syndrome Which Process and Methodology? Which tools to achieve our objectives? Combination of physical model and control algorithm Simulation, rapid prototyping and production code generation Certification Mathworks solution Tools (Simulink, Simscape, Stateflow) Services (training, follow-up) Proven in use in other industries 12

12 Physical Model Simulink or Simscape? m x( t) bx ( t) kx( t) F( t) Why Simscape? knows I.S. units, simulation faster, rigor Simulink assists to define and to tune the equations 13

13 Control algorithms Simulink or Stateflow? No continuous regulation (PI, PID) in our products Why Stateflow? FSM theory (Moore, Mealy, actions, events) Lifecycle representation Debug tools Easy time segregation for code generation 14

14 Model-Based Design to shorten the design of a new infusion pump About Fresenius Kabi Medical market issues to guide Fresenius decisions Model-Based Design at Fresenius Lessons learned and perspectives 15

15 Model-Based Design at Fresenius Overview System New product shall be compliant with Medical Devices th edition and th edition Hardware In the Loop Model refinement On-target prototyping Rapid control prototyping Processor In the Loop 16

16 Model-Based Design at Fresenius Modeling Make a simple physic Stay dynamic, let s use parameters Simulate and validate the model without physical constraints System Model refinement On-target prototyping Hardware In the Loop Make the first iteration of the algorithms Rapid control prototyping Processor In the Loop 04/2013 Licenses purchase Validate hypothesis and refine the 06/2013 First Simulink models 12/2013 First Simulink models MATLAB Simulink Stateflow Simscape MATLAB Coder Simulink Coder Simulink Verification & Validation MATLAB Report Generator Simulink Report Generator 17

17 Model-Based Design at Fresenius Hypothesis & simulation Simulation Try...Mine...Try again Quickly & Faster Improve targeted performance Cost reducing conception System Model refinement Rapid control prototyping On-target prototyping Processor In the Loop Hardware In the Loop 04/2013 Licenses purchase Validate Track non reasonable Refine to help the choice of technologic solutions 06/2013 First Simulink models 11/2013 Validate 12/2013 First Simulink models 02/2014 Validate MATLAB Simulink Stateflow Simscape MATLAB Coder Simulink Coder Simulink Verification & Validation MATLAB Report Generator Simulink Report Generator 18

18 Model-Based Design at Fresenius Rapid prototyping Use your conception and your algorithms Stop to modify existing to get a mechanic animated Break the existing limitations Validate technologic solutions Confirm model and simulation System Model refinement Rapid control prototyping On-target prototyping Processor In the Loop Hardware In the Loop 04/2013 Licenses purchase Develop validation plan earlier Better maturity of plan and team 06/2013 First Simulink models 08/2013 Rapid Prototyping 11/2013 Validate 12/2013 First Simulink models 02/2014 Validate 04/2014 Rapid Prototyping MATLAB Simulink Stateflow Simscape MATLAB Coder Simulink Coder Simulink Verification & Validation MATLAB Report Generator Simulink Report Generator 19

19 Model-Based Design at Fresenius Processor-in the-loop and on-target Validate algorithms and their precisions Keep advance, choose a compatible target (Texas Instruments toolbox) Code coverage tests Valid calibration process Create functional tests for the product integration System Model refinement Rapid control prototyping On-target prototyping Processor In the Loop Hardware In the Loop 04/2013 Licenses purchase HW filters fit to the mechanical behavior Push the limits of HW 06/2013 First Simulink models 08/2013 Rapid Prototyping 11/2013 Validate 12/2013 First Simulink models 02/2014 Validate 04/2014 Rapid Prototyping 05/2014 Tests on HW 07/2014 Tests on HW MATLAB Simulink Stateflow Simscape MATLAB Coder Simulink Coder Simulink Verification & Validation MATLAB Report Generator Simulink Report Generator 20

20 Model-Based Design at Fresenius HIL based on Simscape model Repeatability of the validation plan No regression, play the same tests again, again and again Complex tests Hypothetic failures, unlikely use Push the limits of Sw/Hw System Model refinement Rapid control prototyping On-target prototyping Processor In the Loop Hardware In the Loop 04/2013 Licenses purchase 06/2013 First Simulink models 08/2013 Rapid Prototyping 11/2013 Validate 12/2013 First Simulink models 02/2014 Validate 04/2014 Rapid Prototyping 05/2014 Tests on HW 07/2014 Tests on HW MATLAB Simulink Stateflow Simscape MATLAB Coder Simulink Coder Simulink Verification & Validation MATLAB Report Generator Simulink Report Generator 21

21 Model-Based Design at Fresenius Requirements & Traceability Document in the model Requirements and justifications Verification & Validation Referenced from external documents in the model Create tests and reference for validation plan System Model refinement Rapid control prototyping On-target prototyping Processor In the Loop Hardware In the Loop 04/2013 Licenses purchase Create automatic regression test suits Report generator Generate conform documents to the quality assurance 06/2013 First Simulink models 08/2013 Rapid Prototyping 11/2013 Validate 12/2013 First Simulink models 02/2014 Validate 04/2014 Rapid Prototyping 05/2014 Tests on HW 06/2014 Generate documentation 06/2014 Generate documentation 07/2014 Tests on HW MATLAB Simulink Stateflow Simscape MATLAB Coder Simulink Coder Simulink Verification & Validation MATLAB Report Generator Simulink Report Generator 22

22 Model-Based Design to shorten the design of a new infusion pump About Fresenius Kabi Medical market issues to guide Fresenius decisions Model-Based Design in the product development Lessons learned and perspectives 23

23 Warned about Achieving technology together How to integrate in the existing? Which perimeter? Try to meet any type of interrogations Theory vs Practice Take care to be compatible with our solution choices Technical and tooling Tools are skill-less but helpful Find the Know-how 24

24 Benefits Explore technical solutions Validate technical choices early Simulation Rapid prototyping Get a specification faster with a better confidence Explore more solutions through simulation Justify choices 25

25 Benefits Team work Provide solutions to help the teams Rapid prototyping SIL/PIL Code generation Greater interaction between the teams Model Prototypes Tools Specifications 26

26 Benefits Tests & Validation Think tests and validation earlier Document Trace Create tests Quality of tests Exhaustively Define the exact behavior of the product Time and effort Better vision Better control Good practice in place 27

27 Next step Run more tests on Simulink models Formal proof Production code generation Embed algorithm into microcontroller (volumetric pump and syringe pump) Develop new ranges of pumps Reusability 28

28 Model-Based Design to shorten the design of a new infusion pump Thanks for your attention 29