Diese Präsentation wurde erfolgreich gemeldet.
Wir verwenden Ihre LinkedIn Profilangaben und Informationen zu Ihren Aktivitäten, um Anzeigen zu personalisieren und Ihnen relevantere Inhalte anzuzeigen. Sie können Ihre Anzeigeneinstellungen jederzeit ändern.
Innovate with confidence – Functional 
Verification of Embedded Algorithms 
© 2011 The MathWorks, Inc1. 
Dr. Joachim Schlo...
Innovation aber sicher – Funktionale 
Verifikation von Algorithmen in 
Embedded Systems 
© 2011 The MathWorks, Inc2. 
Dr. ...
3 
Innovation aber sicher – Funktionale Verifikation 
von Algorithmen in Embedded Systems 
Zusammenfassung 
Bei der Entwic...
4 
Innovate with confidence – Functional Verification 
of Embedded Algorithms 
Abstract 
For development of embedded syste...
5
6 
Detect System Integration Issues In Simulation 
Model: 
Actuator 
(Ideal) 
Inputs 
System 
(Include) 
Actuator 
(Realis...
7 
“Accurate modeling is essential not only for planning 
investments but also to detect situations that can cause 
an out...
8 
Model-Based Design – Early Verification 
DESIGN 
Environment Models 
Physical Components 
Algorithms 
IMPLEMENTATION 
I...
10
11 
Model-Based Design – Early Verification 
REQUIREMENTS 
DESIGN 
Model 
IMPLEMENTATION 
Code 
INTEGRATION
12 
“Polyspace enabled us to dramatically 
reduce our workload per analysis — from 
several man-months to a matter of days...
13
14 
Model-Based Design – Early Verification 
REQUIREMENTS 
DESIGN 
Model 
IMPLEMENTATION 
Code 
INTEGRATION
15 
“When Alstom delivered a Pendolino train to 
Czech Railways, the railway application was 
the first with automatically...
16
17 
Model-Based Design – Early Verification 
REQUIREMENTS 
DESIGN 
Model 
IMPLEMENTATION 
Code 
INTEGRATION
18 
“Developing an HVAC system as complex as ours by 
hand-coding in C would not be possible. Model-Based 
Design not only...
19
20 
Model-Based Design – Early Verification 
REQUIREMENTS 
DESIGN 
Model 
IMPLEMENTATION 
Code 
INTEGRATION
21 
“Everyone knows that errors are much less 
expensive to fix when you find them early. With 
Simulink Design Verifier, ...
22 
Start really using Simulink now! 
 Browse mathworks.com/model-based-design/ 
 Reach me at 
@schlosi 
And a final one...
23 
Model-Based Design – Early Verification 
REQUIREMENTS 
DESIGN 
Model 
IMPLEMENTATION 
Code 
INTEGRATION
24 
Backup / References
25 
Alstom Generates Production Code for 
Safety-Critical Power Converter Control 
Systems 
Challenge 
Design and implemen...
26 
GM Engineering Europe Develops HVAC 
Controller for GM Vehicles Using Model- 
Based Design 
Challenge 
Design an advan...
27 
ELESYS North America Speeds Verification 
of Safety-Critical Embedded Software with 
Polyspace Products for C/C++ 
Cha...
28 
TRW Automotive Develops and Tests 
Electric Parking Brake Using Simulink 
and Simulink Design Verifier 
Challenge 
Des...
Nächste SlideShare
Wird geladen in …5
×

Innovate with confidence – Functional Verification of Embedded Algorithms

1.537 Aufrufe

Veröffentlicht am

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.

Veröffentlicht in: Software
  • Als Erste(r) kommentieren

  • Gehören Sie zu den Ersten, denen das gefällt!

Innovate with confidence – Functional Verification of Embedded Algorithms

  1. 1. Innovate with confidence – Functional Verification of Embedded Algorithms © 2011 The MathWorks, Inc1. Dr. Joachim Schlosser Senior Team Leader Application Engineering MathWorks
  2. 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. 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. 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. 5
  6. 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. 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. 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. 9. 10
  10. 10. 11 Model-Based Design – Early Verification REQUIREMENTS DESIGN Model IMPLEMENTATION Code INTEGRATION
  11. 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. 12. 13
  13. 13. 14 Model-Based Design – Early Verification REQUIREMENTS DESIGN Model IMPLEMENTATION Code INTEGRATION
  14. 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. 15. 16
  16. 16. 17 Model-Based Design – Early Verification REQUIREMENTS DESIGN Model IMPLEMENTATION Code INTEGRATION
  17. 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. 18. 19
  19. 19. 20 Model-Based Design – Early Verification REQUIREMENTS DESIGN Model IMPLEMENTATION Code INTEGRATION
  20. 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. 21. 22 Start really using Simulink now!  Browse mathworks.com/model-based-design/  Reach me at @schlosi And a final one: live now!
  22. 22. 23 Model-Based Design – Early Verification REQUIREMENTS DESIGN Model IMPLEMENTATION Code INTEGRATION
  23. 23. 24 Backup / References
  24. 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. 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. 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. 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.

×