Innovate with confidence – Functional Verification of Embedded Algorithms
Download as PPTX, PDF1 like1,722 views
This document discusses the functional verification of embedded algorithms using Simulink and Stateflow, highlighting their effectiveness in modeling and generating code for embedded systems. It outlines various verification methods, including automatic review of modeling guidelines, formal testing, and test coverage measurement. The presentation also emphasizes the benefits of model-based design in accelerating development and improving the reliability of safety-critical systems.
Innovate with confidence – Functional Verification of Embedded Algorithms
- 1. Innovate with confidence – Functional Verification of Embedded Algorithms © 2011 The MathWorks, Inc1. Dr. Joachim Schlosser Senior Team Leader Application Engineering MathWorks
- 2. Innovation aber sicher – Funktionale Verifikation von Algorithmen in Embedded Systems © 2011 The MathWorks, Inc2. Dr. Joachim Schlosser Senior Team Leader Application Engineering MathWorks
- 3. 3 Innovation aber sicher – Funktionale Verifikation von Algorithmen in Embedded Systems Zusammenfassung Bei der Entwicklung von Embedded Systemen werden bereits vielfach Simulink und Stateflow zur Simulation des Systemverhaltens eingesetzt. Die grafische Bedienoberfläche erlaubt hierbei die schnelle und übersichtliche Modellierung des Systems. Da mit der Modellierung bereits eine detaillierte mathematische Beschreibung des Systems vorliegt, ist der Weg zum automatisch erzeugten Code nur der nächste logische Schritt. Mit diesem Vortrag erhalten Sie einen Überblick über die Verifikation der Modellierung in Simulink und Stateflow. Das Methodenspektrum reicht dabei von der automatischen Überprüfung von Modellierungsrichtlinien und der Verwendung bidirektionaler Verknüpfungen zwischen Anforderungen und Modell über die Durchführung von Tests und der Messung der erzielten Testabdeckung bis hin zum Einsatz formaler Methoden zur unterstützenden Testgenerierung und dem Korrektheitsbeweis eines Modells. Optional wird auf die Vorteile der Stateflow-Modellierung, Varianten-Handling auf Modell- und Code-Ebene eingegangen.
- 4. 4 Innovate with confidence – Functional Verification of Embedded Algorithms Abstract For development of embedded systems Simulink and Stateflow are already widely used to simulate the system behavior. The graphical user interface allows quick and clear modeling of the system’s dynamics and structure. Since the models already represent a detailed mathematical description of the system, the way to automatically generate code is only the next logical step. This presentation provides an overview of the verification in Simulink and Stateflow. The methods range from the automatic review of modeling guidelines and the use of bidirectional links between requirements and model on the testing and measuring the achieved test coverage up to the use of formal methods to support test generation and correctness proof of a model. Optionally, the benefits of Stateflow modeling, variant handling on model and code level can be discussed.
- 5. 5
- 6. 6 Detect System Integration Issues In Simulation Model: Actuator (Ideal) Inputs System (Include) Actuator (Realistic) System (Ignore) Mechanical Hydraulic Electrical Controls Park Spin Supervisory Logic Lift Drag Wind Aero-dynamics
- 7. 7 “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 Turbines on a wind farm Link to user story
- 8. 8 Model-Based Design – Early Verification DESIGN Environment Models Physical Components Algorithms IMPLEMENTATION INTEGRATION TEST & VERIFICATION RESEARCH REQUIREMENTS MCU DSP FPGA ASIC Structured Text C, C++ VHDL, Verilog TEST SYSTEM PLC
- 9. 10
- 10. 11 Model-Based Design – Early Verification REQUIREMENTS DESIGN Model IMPLEMENTATION Code INTEGRATION
- 11. 12 “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
- 12. 13
- 13. 14 Model-Based Design – Early Verification REQUIREMENTS DESIGN Model IMPLEMENTATION Code INTEGRATION
- 14. 15 “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 Geerligs Alstom Pendolino tilting train, w/ Safety-Critical Power Converter Control System Link to user story
- 15. 16
- 16. 17 Model-Based Design – Early Verification REQUIREMENTS DESIGN Model IMPLEMENTATION Code INTEGRATION
- 17. 18 “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
- 18. 19
- 19. 20 Model-Based Design – Early Verification REQUIREMENTS DESIGN Model IMPLEMENTATION Code INTEGRATION
- 20. 21 “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 Link to user story
- 21. 22 Start really using Simulink now! Browse mathworks.com/model-based-design/ Reach me at @schlosi And a final one: live now!
- 22. 23 Model-Based Design – Early Verification REQUIREMENTS DESIGN Model IMPLEMENTATION Code INTEGRATION
- 23. 24 Backup / References
- 24. 25 Alstom Generates Production Code for Safety-Critical Power Converter Control Systems Challenge Design and implement real-time power conversion and control systems for trams, metros, and railways Solution Use 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 Geerligs Alstom Pendolino tilting train. Link to user story
- 25. 26 GM Engineering Europe Develops HVAC Controller for GM Vehicles Using Model- Based Design Challenge Design an advanced HVAC embedded controller for GM vehicles worldwide Solution Use 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 Link to user story GM vehicle dashboard with the HVAC control system installed.
- 26. 27 ELESYS North America Speeds Verification of Safety-Critical Embedded Software with Polyspace Products for C/C++ Challenge Accelerate the verification of airbag suppression systems Solution Use 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 Airbag deployment during a frontal crash test. "Polyspace enabled us to dramatically reduce our workload per analysis — from several man-months to a matter of days." Svetoslav Stoyanov ELESYS North America Link to user story
- 27. 28 TRW Automotive Develops and Tests Electric Parking Brake Using Simulink and Simulink Design Verifier Challenge Design tests for an electric parking brake control system Solution Use 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 Link to user story Electronic parking brake control system.