verification & validation: automating best practices to ...€¦ · adaptive front lighting...
TRANSCRIPT
![Page 1: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/1.jpg)
1© 2015 The MathWorks, Inc.
Verification & Validation:Automating Best Practices to Improve Design Quality
Chuck Olosky
![Page 2: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/2.jpg)
2
Growing Complexity of Embedded Systems
Engine ManagementTransmission Control
Forward Camera
Electric Power Steering
Smart Junction Box
Smart Junction Box
Battery Management
Propulsion Motor ControlDC/DC Converter
Stability Control
Infotainment
HVAC Control
Navigation
Instrument Panel
Vehicle-to-Vehicle
Vehicle-to-Infrastructure
Short-Range Radar
Ultrasonic Sensor
Long-Range Radar
Stability Control
AirbagEmergency Braking
Automatic Parking
Adaptive Cruise Control
All-Wheel Drive
Active Damping
4-Wheel Steer
Back-up Camera
Body Control Module
Tire Pressure Monitor
Voice Recognition
Adaptive Front Lighting
Power Window
Power Seat
Keyless Entry
Power Liftgate
E-Call
2000 2015Lines of Code
16 M
2‐3M
6 M
Siemens, “Ford Motor Company Case Study,” Siemens PLM Software, 2014 McKendrick, J. “Cars become ‘datacenters on wheels’, carmakers become software companies,” ZDJNet, 2013
![Page 3: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/3.jpg)
3
Requirements
Growing Complexity Challenges the Traditional Development Process
Specification C/C++Hand code
Design & Code Verification
Find requirements defects later in the process
Find specification issues later in the process
Find design issues later in the process
![Page 4: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/4.jpg)
4
Using Simulink Models for Specification
Requirements C/C++Executable
Specification
Hand Code
Find requirements defects earlier in the process
Find specification issues earlier in the process
Find design issues later in the process
Design & Code Verification
![Page 5: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/5.jpg)
5
Complete Model Based Design
Requirements ExecutableSpecification
Model used for production code
generation
Simulink Models
C/C++Generated Code
Code VerificationDesign Verification
Find requirements defects earlier in the process
Find specification issues earlier in the process
Find design issues earlier in the process
Code Generation
![Page 6: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/6.jpg)
6
Requirements ExecutableSpecification
Model used for production code
generation
Simulink Models
C/C++
Model Based Design Verification Workflow
Component and System Level Testing
EquivalenceTesting
EquivalenceChecking
Design Review and Static Analysis
Design Verification Code Verification
Generated Code
![Page 7: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/7.jpg)
7
Key Takeaways
Author, manage requirements in Simulink
Early verification to find defects sooner
Automate static and dynamic verification
Workflow that conforms to safety standards
“Reduce costs and project risk through early verification, shorten time to market on a certified system, and deliver high-quality production code that was first-time right” Michael Schwarz, ITK Engineering
![Page 8: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/8.jpg)
8
Poor Requirements Management
Sources: Christopher Lindquist, Fixing the Requirements Mess, CIO Magazine, Nov 2005
Why do 71% of Embedded Projects Fail?
![Page 9: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/9.jpg)
9
Challenges with Requirements
Where are they
implemented?
How are they
tested?
Are they consistent with
the design?
Requirements ExecutableSpecification
Model used for production code
generation
Simulink Models
C/C++
Generated Code
![Page 10: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/10.jpg)
10
Gap Between Requirements and Design
ExecutableSpecification
Model used for production code
generation
Simulink Models
C/C++
Generated Code
Requirements
IBM Rational DOORS
![Page 11: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/11.jpg)
11
Simulink Requirements
Author
Link & Track
Manage Updates
![Page 12: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/12.jpg)
12
Requirements Editor
![Page 13: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/13.jpg)
13
Requirements Editor
![Page 14: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/14.jpg)
14
Import
Import Requirements from External Sources
IBM Rational DOORS
Simulink Requirements Editor
![Page 15: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/15.jpg)
15
Requirements Perspective View of Model
![Page 16: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/16.jpg)
16
Requirements Perspective View of Model
![Page 17: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/17.jpg)
17
Requirements Traceability
Verified By
Test Case
x
REQ 3.1 ENABLING CRUISE CONTROLCruise control is enabled when …..
ENABLE SWITCH DETECTIONIf the Enable switch is pressed ……
ImplementedBy
Derives
Generated CodeDesign Model
High Level Reqs
Low Level Req
![Page 18: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/18.jpg)
18
Track Implementation and Verification Status
Passed
Failed
No Result Missing
Verification Status
Implemented
Justified
Implementation Status
Missing
![Page 19: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/19.jpg)
19
Respond to Requirements Change
If the switch is pressed and the counter reaches 50then it shall be recognized as a long press of the switch.
If the switch is pressed and the counter reaches 75then it shall be recognized as a long press of the switch.
ImplementsOriginal Requirement
Updated Requirement
![Page 20: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/20.jpg)
20
Verify Design to Guidelines and Standards
Requirements ExecutableSpecification
Model used for production code
generation
Simulink Models
C/C++
Generated code
Review and static analysis
Is the design built right?
Too complex?
Ready for code generation?
![Page 21: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/21.jpg)
21
Automated Static Analysis of the Design
Requirements ExecutableSpecification
Model used for production code
generation
Simulink Models
C/C++
Generated code
Check the model for
• Readability and Semantics
• Performance and Efficiency
• Clones
• And more……Model Advisor Analysis
![Page 22: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/22.jpg)
22
Model Advisor Analysis
Navigate to Problematic Blocks
Requirements ExecutableSpecification
Model used for production code
generation
Simulink Models
C/C++
Generated code
![Page 23: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/23.jpg)
23
Model Advisor Analysis
Guidance Provided to Address Issues w/ Auto-Correct
Requirements ExecutableSpecification
Model used for production code
generation
Simulink Models
C/C++
Generated code
![Page 24: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/24.jpg)
24
Modeling Guidelines for High-Integrity Systems
Leverage industry-best practices and MathWorks tool expertise when developing high-integrity systems
Modeling Guidelines with corresponding Model Advisor checks
Mapped to the modeling standards and guidelines objectives of industry standards like ISO 26262 and MISRA-C
http://www.mathworks.com/help/pdf_doc/simulink/hi_guidelines.pdf
![Page 25: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/25.jpg)
25
Built in Checks for Industry Standards and Guidelines
Requirements ExecutableSpecification
Model used for production code
generation
Simulink Models
C/C++
Generated code
• DO-178/DO-331
• ISO 26262
• IEC 61508
• IEC 62304
• EN 50128
• MISRA C:2012
• CERT C, CWE, ISO/IEC TS 17961
• MAAB (MathWorks Automotive Advisory Board)
• JMAAB (Japan MATLAB Automotive Advisory Board)
![Page 26: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/26.jpg)
26
Configure and Customize Static Analysis
Requirements ExecutableSpecification
Model used for production code
generation
Simulink Models
C/C++
Generated code
![Page 27: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/27.jpg)
27
Generate Reports for Reviews and Documentation
Requirements ExecutableSpecification
Model used for production code
generation
Simulink Models
C/C++
Generated code
Model Advisor Analysis Model Advisor Reports
![Page 28: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/28.jpg)
28
Static Analysis
Checks for Standards and Guidelines are often Performed Late
Requirements ExecutableSpecification
Model used for production code
generation
Simulink Models
C/C++
Generated code
Rework
![Page 29: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/29.jpg)
29
Static Analysis Edit-Time Checking
Shift Verification Earlier with Edit-Time Checking
Requirements ExecutableSpecification
Model used for production code
generation
Simulink Models
C/C++
Generated code
• Highlight violations as you edit
• Fix issues earlier
• Avoid rework
![Page 30: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/30.jpg)
30
Find Compliance Issues while you Design
![Page 31: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/31.jpg)
31
Modeling Standards Checking with Simulink Check
Static analysis of models against a set of checks
Modeling Standards Checks– MAAB Style Guidelines V3.0 – ISO 26262– MISRA C:2012
Additional Checks– Model Metrics– Tool Bug Reports (Cert Kit)– Requirements Consistency
![Page 32: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/32.jpg)
32
Assess Quality with Metrics Dashboard
• Consolidated view of metrics • Size• Compliance• Complexity
• Identify where problem areas may be
![Page 33: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/33.jpg)
33
Grid View for Metrics Analysis
Visualize Standards Check Compliance– Find Issues– Identify patterns – See hot spots
Red: FailOrange: WarningGreen: PassGray: Not run
Legend:
![Page 34: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/34.jpg)
34
Static Analysis for Detecting Design Errors
Find run-time design errors Generates a test case to reproduce the issue for debugging
Requirements ExecutableSpecification
Model used for production code
generation
Simulink Models
C/C++
Generated code
Integer Overflow Dead Logic
Static Analysis
![Page 35: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/35.jpg)
35
Functional Testing
Requirements ExecutableSpecification
Model used for production code
generation
Simulink Models
C/C++
Generated code
Does the design meet
requirements?
Is it functioning correctly? Is it completely
tested?Component and
System Level Testing
![Page 36: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/36.jpg)
36
Test Case
Main Model
Systematic Functional Testing
AssessmentsInputs
Test Sequence
Signal Builder
MAT file (input) MAT file (baseline)
Test Assessment
MATLAB Unit Test
and more! and more!
Excel file (input) Excel file (baseline)
Test Harness
![Page 37: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/37.jpg)
37
Test Execution and Results Analysis
![Page 38: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/38.jpg)
38
Coverage Analysis to Measure Test Completeness
Simulink • Identify testing gaps
• Missing requirements
• Unintended Functionality
• Design Errors
Stateflow
Generated Code
Coverage Reports
![Page 39: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/39.jpg)
39
Test Case Generation for Functional Testing
Specify functional test objectives
– Define custom objectives that signals must satisfy in test cases
Specify functional test conditions
– Define constraints on signal values to constrain test generator
Test Condition
Test Objective
Test Objective
![Page 40: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/40.jpg)
40
Prove Design Meets Requirements
Requirements ExecutableSpecification
Model used for production code
generation
Simulink Models
C/C++
Generated code
Prove design properties using formal requirement models
Model functional and safety requirements
Generates counter example for analysis and debugging
![Page 41: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/41.jpg)
41
C/C++
Static Code Analysis
Requirements ExecutableSpecification
Model used for production code
generation
Simulink Models
C/C++Generated Code
Is the code compliant to MISRA?
Is integrated code free of
run-time errors?
Hand Code +
Is interface between generated and other
code fully tested?
Generated Code is integrated with Hand Code
![Page 42: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/42.jpg)
42
Static Code Analysis with Polyspace
Code metrics and standards– Comment density, cyclomatic complexity,…– MISRA and Cybersecurity standards– Support for DO-178, ISO 26262, ….
Bug finding and code proving– Check data and control flow of software– Detect bugs and security vulnerabilities– Prove absence of runtime errors
Results from Polyspace Code Prover
![Page 43: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/43.jpg)
43
Equivalence Testing
Requirements ExecutableSpecification
Model used for production code
generation
Simulink Models
C/C++
Generated code
Is the code functionally
equivalent to model?
Is all the code tested?
EquivalenceTesting
EquivalenceChecking
![Page 44: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/44.jpg)
44
Equivalence Testing
Processor in the Loop (PIL)– Numerical equivalence, model to target code– Execute on target board
Re-use tests developed for model to test code
Check for equivalent outputs model to code
Collect code coverage, compare to model coverage
Requirements ExecutableSpecification
Model used for production code
generation
Simulink Models
C/C++
Generated code
TargetBoard
Software in the Loop (SIL)– Show functional equivalence, model to code– Execute on desktop / laptop computer
DesktopComputer
PIL
SIL
![Page 45: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/45.jpg)
45
Qualify tools with IEC Certification Kit and DO Qualification Kit
Qualify code generation and verification tools
Includes documentation, test cases and procedures
BAE Systems Delivers DO-178B Level A Flight Software on Schedule with Model-Based Design
KOSTAL Asia R&D Center Receives ISO 26262 ASIL D Certification for Automotive Software Developed with Model-Based Design
![Page 46: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/46.jpg)
46
Lear Delivers Quality Body Control Electronics Faster Using Model-Based Design
ChallengeDesign, verify, and implement high-quality automotive body control electronics
SolutionUse Model-Based Design to enable early and continuous verification via simulation, SIL, and HIL testing
Results Requirements validated early. Over 95% of
issues fixed before implementation, versus 30% previously
Development time cut by 40%. 700,000 lines of code generated and test cases reused throughout the development cycle
Zero warranty issues reported
“We adopted Model-Based Design not only to deliver better-quality systems faster, but because we believe it is a smart choice. Recently we won a project that several of our competitors declined to bid on because of its tight time constraints. Using Model-Based Design, we met the original delivery date with no problem."- Jason Bauman, Lear Corporation
Link to user story
Lear automotive body electronic control unit.
![Page 47: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/47.jpg)
47
Customer References and Applications
LS Automotive Reduces Development Time for Automotive Component Software with Model-Based DesignSpecification errors detected early
Continental Develops Electronically Controlled Air Suspension for Heavy-Duty TrucksVerification time cut by up to 50 percent
Airbus Helicopters Accelerates Development of DO-178B Certified Software with Model-Based DesignSoftware testing time cut by two-thirds
More User Stories: www.mathworks.com/company/user_stories.html
![Page 48: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/48.jpg)
48
Summary1. Author and manage requirements within Simulink
2. Find defects earlier
3. Automate static and dynamic verification
4. Reference workflow that conforms to safety standards
Requirements ExecutableSpecification
Model used for production code
generation
Simulink Models
C/C++
Generated code
Component and system testing
Equivalencetesting
Equivalencechecking
Review and static analysis
![Page 49: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/49.jpg)
49
Learn More
Visit MathWorks Verification, Validation and Test Solution Page:mathworks.com/solutions/verification-validation.html
![Page 50: Verification & Validation: Automating Best Practices to ...€¦ · Adaptive Front Lighting Power Window Power Seat Keyless Entry Power Liftgate E-Call 2000 2015Lines of Code 16 M](https://reader034.vdocument.in/reader034/viewer/2022050312/5f74f6050f8d52694e6d4ca3/html5/thumbnails/50.jpg)
50
Thank You!