Developing Embedded Software with Model-Based Design to ...
Transcript of Developing Embedded Software with Model-Based Design to ...
![Page 1: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/1.jpg)
1
Developing Embedded Software with Model-Based
Design to Meet Certification Standards
Paul Urban Jeff Harper
![Page 2: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/2.jpg)
22
Software safety is important across industries
▪ Software errors are common
– Automotive: 19% of all recalls
– Medical devices: 26% of all recalls
▪ Recalls are extremely expensive
– MCAS failure: $18B+
– Broken hip replacement: $3B+
– Faulty pedals: $3B+
– Airbag issues: $25B+
Source: MedTech Dive, Ars Technica, Automotive News, Allianz, Sibros, Medical Design, New York Times, Bloomberg
![Page 3: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/3.jpg)
33
Safety critical systems
Best practices and guidelines
Functional safety standard
Certification
Why functional safety?
![Page 4: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/4.jpg)
44
Poll: Safety standards across different industries
IEC 61508 – All industries
ISO 26262, SOTIF – Automotive
DO 178C – Avionics
IEC 62304 – Medical
IEC 61511 – Process Control
And many others…..
EN 50128 – Rail
ISO 25119 – Agriculture and Forestry
![Page 5: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/5.jpg)
55
Key Takeaways
Use Reference Workflow with Model-Based Design to Meet Certification
Standards
– Create traceability across requirements, architecture, design, test and code
– Detect errors earlier by continuous testing
– Reduce coding errors with automatic code generation
– Automate generation of documents and reports for reviews and audits
![Page 6: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/6.jpg)
66
V-Model for Certifiable Product Development
ISO 26262: 2018
DO 178C, ARP 4754A, ARP 4761
![Page 7: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/7.jpg)
77
Reference Workflow for Certification
System
Architecture
System
Requirements
System
Architecture
Development
Software
Requirements
Software
Architecture
Implementation
Model
Generated
C/C++ Code
Object
Code
Compilation
and Linking
. . .
Code
GenerationSoftware
Architecture
Development
Modeling
Software LevelSystem Level
![Page 8: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/8.jpg)
88
Reference Workflow for Certification – System Requirements and
Architecture
System
Architecture
System
Requirements
System
Architecture
Development
System Level
![Page 9: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/9.jpg)
99
Reference Workflow for Certification – Software Requirements and
Architecture
System
Architecture
System
Requirements
System
Architecture
Development
Software
Requirements
Software
Architecture
Software
Architecture
Development
Software LevelSystem Level
![Page 10: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/10.jpg)
1010
Reference Workflow for Certification – Detailed Design
System
Architecture
System
Requirements
System
Architecture
Development
Software
Requirements
Software
Architecture
Implementation
Model. . .
Software
Architecture
Development
Modeling
Software LevelSystem Level
![Page 11: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/11.jpg)
1111
Reference Workflow for Certification – Model Verification
System
Architecture
System
Requirements
System
Architecture
Development
Software
Requirements
Software
Architecture
Implementation
Model. . .
Model VerificationDiscover design errors at design time
Testing at the model level
Review and static analysis
at the model level
Software
Architecture
Development
Modeling
Software LevelSystem Level
![Page 12: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/12.jpg)
1212
Reference Workflow for Certification – Code Generation
System
Architecture
System
Requirements
System
Architecture
Development
Software
Requirements
Software
Architecture
Implementation
Model
Generated
C/C++
Code. . .
Code
Generation
Review and static analysis
at the model level
Software
Architecture
Development
Modeling
Software LevelSystem Level
Testing at the model level
Model VerificationDiscover design errors at design time
![Page 13: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/13.jpg)
1313
Reference Workflow for Certification – Static Code Verification
System
Architecture
System
Requirements
System
Architecture
Development
Software
Requirements
Software
Architecture
Implementation
Model
Generated
C/C++
Code. . .
Code
Generation
Code VerificationGain confidence in the generated code
Review and static analysis
at the model levelMISRA Compliance
Software
Architecture
Development
Modeling
Software LevelSystem Level
Testing at the model level
Model VerificationDiscover design errors at design time
![Page 14: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/14.jpg)
1414
Reference Workflow for Certification – Dynamic Code Verification
System
Architecture
System
Requirements
System
Architecture
Development
Software
Requirements
Software
Architecture
Implementation
Model
Generated
C/C++
Code
Object
Code
Compilation
and Linking
. . .
Code
Generation
Code VerificationGain confidence in the generated code
Review and static analysis
at the model level
Equivalence testing
MISRA Compliance
Software
Architecture
Development
Modeling
Software LevelSystem Level
Testing at the model level
Model VerificationDiscover design errors at design time
![Page 15: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/15.jpg)
1515
Reference Workflow for Certification – Atomic Components
System
Architecture
System
Requirements
System
Architecture
Development
Software
Requirements
Software
Architecture
Implementation
Model
Generated
C/C++ Code
Object
Code
Compilation
and Linking
. . .
Code
Generation
Code VerificationGain confidence in the generated code
Review and static analysis
at the model level
Equivalence testing
MISRA Compliance
Software
Architecture
Development
Modeling
Software LevelSystem Level
Testing at the model level
Model VerificationDiscover design errors at design time
![Page 16: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/16.jpg)
1616
Reference Workflow for Certification – Static Code Verification
Other
C/C++ Code
Object
Code
Compilation
and Linking
MISRA
Compliance
System
Architecture
System
Requirements
System
Architecture
Development
Software
Requirements
Software
Architecture
Implementation
Model
Generated
C/C++
Code
Object
Code
Compilation
and Linking
. . .
Code
Generation
Code VerificationGain confidence in the generated code
Review and static analysis
at the model level
MISRA
Compliance
Software
Architecture
Development
Modeling
Software LevelSystem Level
Testing at the model level
Model VerificationDiscover design errors at design time
Equivalence testing
![Page 17: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/17.jpg)
1717
Reference Workflow for Certification – Integration and Verification
System
Architecture
System
Requirements
System
Architecture
Development
Software
Requirements
Software
Architecture
Implementation
Model
Generated
C/C++ Code
Object
Code
Compilation
and Linking
. . .
Code
Generation
Code VerificationGain confidence in the generated code
Module and integration
testing at the model level
Review and static analysis
at the model level
Equivalence testing
MISRA Compliance
Software
Architecture
Development
Modeling
Software LevelSystem Level
Model VerificationDiscover design errors at design time
![Page 18: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/18.jpg)
1818
ROI Results
Continental
Verification time cut by up to 50 percent
Tessella
Models reused on follow-on projects, cutting design effort by up to 80%
More User Stories: www.mathworks.com/company/user_stories.html
Corindus
Development time halved and engineering effort reduced by 80%
Leonardo
Recertification cycle times reduced by more than 90%
![Page 19: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/19.jpg)
1919
Poll: What is your biggest challenge in verifying or testing your
design? (choose the most important one)
▪ Tracing requirements to design and test
▪ Finding requirements errors late in development
▪ Meeting test coverage goals
▪ Reusing tests across design phases
▪ Performing system level validation
▪ Creating documentation and work products
▪ Performing manual reviews
▪ Other ( Enter in Chat )
![Page 20: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/20.jpg)
20
Requirements
System
Architecture
System
Requirements
System
Architecture
Development
Software
Requirements
Software
Architecture
Implementation
Model
Generated
C/C++ Code
Object
Code
Compilation
and Linking
. . .
Code
GenerationSoftware
Architecture
Development
Modeling
Software LevelSystem Level
![Page 21: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/21.jpg)
21
Requirement span multiple levels across workflow
• Are all requirements implemented?
• Is each requirement tested?
• What artifacts are impacted by a change?
System
Architecture
System
Requirements
System
Architecture
Development
Software
Requirements
Software
Architecture
Implementation
Model
Generated
C/C++ Code
Object
Code
Compilation
and Linking
. . .
Code
GenerationSoftware
Architecture
Development
Modeling
Software LevelSystem Level
![Page 22: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/22.jpg)
2222
External
Requirements
Requirements
Managements
Tools
Work with Requirements, Architecture and Design Together
Analyze Author
Detect Changes
Report
Simulink Requirements
Import / Export
Trace
Simulink, Stateflow, System
Composer, MATLAB CodeSimulink Test
![Page 23: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/23.jpg)
2323
Review and Analyze Traceability with Traceability Matrix
![Page 24: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/24.jpg)
2424
Review and Analyze Traceability with Traceability Matrix
• Filters to
focus view
![Page 25: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/25.jpg)
2525
Review and Analyze Traceability with Traceability Matrix
![Page 26: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/26.jpg)
2626
Review and Analyze Traceability with Traceability Matrix
• Create links to
address gaps
![Page 27: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/27.jpg)
2727
Review and Analyze Traceability with Traceability Matrix
• Create links to
address gaps
![Page 28: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/28.jpg)
28
System and Software Architecture
System
Architecture
System
Requirements
System
Architecture
Development
Software
Requirements
Software
Architecture
Implementation
Model
Generated
C/C++ Code
Object
Code
Compilation
and Linking
. . .
Code
GenerationSoftware
Architecture
Development
Modeling
Software LevelSystem Level
![Page 29: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/29.jpg)
2929
Why is architecture important?
AUTHOR AND VALIDATE REQUIREMENTS EARLIER
APPORTION THE SAFETY OBJECTIVES
COORDINATE SOFTWARE AND HARDWARE
INTERFACES
SHARE REQUIREMENTS WITHOUT AMBIGUITY
DETERMINE ALLOCATION TO SOFTWARE OR
HARDWARE
LINK TO BEHAVIORAL MODELS
![Page 30: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/30.jpg)
3030
Describe systems using multiple architecture models to organize
and check the completeness of the requirements
Stakeholder
NeedsAnalyze &
Simulate
Update &
Refine
Functional
Architecture
Logical
Architecture
Physical
Architecture
System
Requirements
Hardware
Requirements
Functional
Requirements
![Page 31: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/31.jpg)
3131
Allocate elements from one model to another to create a traceable &
analyzable link
Functional
Architecture
Logical
Architecture
Physical
Architecture
![Page 32: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/32.jpg)
32
Reference Workflow for Certification – Detailed Design
System
Architecture
System
Requirements
System
Architecture
Development
Software
Requirements
Software
Architecture
Implementation
Model
Generated
C/C++ Code
Object
Code
Compilation
and Linking
. . .
Code
GenerationSoftware
Architecture
Development
Modeling
Software LevelSystem Level
![Page 33: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/33.jpg)
3333
Reference Workflow for Certification – Detailed Design
![Page 34: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/34.jpg)
3434
Reference Workflow for Certification – Detailed Design
![Page 35: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/35.jpg)
3535
Reference Workflow for Certification – Detailed Design
System
Architecture
System
Requirements
System
Architecture
Development
Software
Requirements
Software
Architecture
Implementation
Model
Generated
C/C++ Code
Object
Code
Compilation
and Linking
. . .
Code
GenerationSoftware
Architecture
Development
Modeling
Software LevelSystem Level
![Page 36: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/36.jpg)
3636
Reference Workflow for Certification – Model Verification
System
Architecture
System
Requirements
System
Architecture
Development
Software
Requirements
Software
Architecture
Implementation
Model. . .
Module and integration
testing at the model level
Review and static analysis
at the model level
Software
Architecture
Development
Modeling
Software LevelSystem Level
Generated
C/C++ Code
Object
Code
Compilation
and LinkingCode
Generation
Model VerificationDiscover design errors at design time
![Page 37: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/37.jpg)
3737
Verify Model Complies with Guidelines and Standards
Static analysis checks for:
• Readability and Semantics
• Performance and Efficiency
• Reusability
• And more……
Model Advisor Analysis
![Page 38: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/38.jpg)
3838
Built in checks for industry standards and guidelines
![Page 39: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/39.jpg)
3939
Detect Design Errors Using Formal Methods
▪ Find design errors
• Integer overflow
• Dead Logic
• Division by zero
• Array out-of-bounds
• Range violations
▪ Generate counter example to
reproduce error
![Page 40: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/40.jpg)
4040
Model-Based Design Reference Workflow
System
Architecture
System
Requirements
System
Architecture
Development
Software
Requirements
Software
Architecture
Implementation
Model. . .
Code
Generation
Testing at the model level
Review and static analysis
at the model level
Software
Architecture
Development
Modeling
Software LevelSystem Level
Generated
C/C++ Code
Object
Code
Compilation
and LinkingCode
Generation
Model VerificationDiscover design errors at design time
![Page 41: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/41.jpg)
4141
Test Case
Systematic Functional Testing with Simulink Test
AssessmentsInputs
Test Sequence
Data file (input)
Model Sim through SIL, PIL and HIL
Scale with Parallel Computing Toolbox and Continuous Integration
and more!and more!
Signal Editor
Stateflow
Test Harness
Main Model
MATLAB Code
Data file baseline)
Test Assessment
Temporal Assessment
MATLAB Code
![Page 42: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/42.jpg)
4242
Manage Testing and Test Results
Test Browser
Test Results
![Page 43: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/43.jpg)
4343
Coverage Analysis to Measure Testing
• Identify testing gaps
• Missing requirements
• Unintended functionality
• Design errors
Simulink
Stateflow
Coverage Reports
Code
![Page 44: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/44.jpg)
4444
Challenge: Managing the many activities and artifacts needed to
meet certification standards
Model
Design Code TargetRequirements
❑ HLR Specs
❑ Spec Mdls
❑ Req Review
Checklists
❑ SLR/HLR Trace
❑ …
❑ LLR Specs
❑ Design Mdls
❑ Design Data
❑ Design Review
Checklists
❑ HLR/LLR Trace
❑ Stds Compliance
❑ Design Error
Detection
❑ Test Cases
❑ Test Results
❑ …
❑ Source Code
❑ Executable Code❑ HLR Specs
❑ Spec Mdls
❑ Review
Checklist
❑ SLR/HLR Trace
❑ …
❑ Stds Compliance
❑ Code Inspection
❑ Code Proving
❑ Code Metrics
❑ Test Results
❑ …
❑ Code Inspection
❑ Code Proving
❑ Stds Compliance
❑ Test Cases
❑ Test Results
❑ …
❑ Performance Metrics
❑ RAM/ROM Metrics
❑ HW/SW Integration
Test Cases
❑ Test Results
❑ …
![Page 45: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/45.jpg)
4545
Model Testing Dashboard: Manage progress, completeness and quality of
requirements-based testing
▪ Central view that
summarizes testing
data and status
▪ Identify gaps and
respond faster to
requirements changes
▪ View results from a
continuous integration
system
![Page 46: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/46.jpg)
46
Code Generation
System
Architecture
System
Requirements
System
Architecture
Development
Software
Requirements
Software
Architecture
Implementation
Model
Generated
C/C++
Code. . .
Code
GenerationSoftware
Architecture
Development
Modeling
Software LevelSystem Level
Object
Code
Compilation
and Linking
![Page 47: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/47.jpg)
4747
Automatically generate production-quality code that behaves the
same way as the model you created in Simulink
![Page 48: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/48.jpg)
4848
Requirement Traceability included in Generated Code
![Page 49: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/49.jpg)
4949
Reference Workflow for Certification – Code Verification
Software Level
System
Architecture
System
Requirements
System
Architecture
Development
Software
Requirements
Software
Architecture
Implementation
Model
Generated
C/C++
Code
Object
Code
Compilation
and Linking
. . .
Code
Generation
Code VerificationGain confidence in the generated code
Equivalence testing
MISRA Compliance
Software
Architecture
Development
Modeling
Software LevelSystem Level
![Page 50: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/50.jpg)
5050
Static Code Verification for MISRA ComplianceGain confidence in the generated code
Reference Workflow for Certification – Code Verification
![Page 51: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/51.jpg)
5151
Model-Based Design Reference Workflow
System
Architecture
System
Requirements
System
Architecture
Development
Software
Requirements
Software
Architecture
Implementation
Model
Generated
C/C++
Code
Object
Code
Compilation
and Linking
. . .
Code
Generation
Code VerificationGain confidence in the generated code
Equivalence testing
MISRA Compliance
Software
Architecture
Development
Modeling
Software LevelSystem Level
![Page 52: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/52.jpg)
5252
Tests
Desktop Simulation(on PC)
Results
Model
Object Code Execution (SIL/PIL)
Results
Compiler
EmbeddedCoder
Generated Code
Object File
== ?
Compare
Back-to-Back Testing
![Page 53: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/53.jpg)
5353
Automate Test Creation using Test Manager Wizard
![Page 54: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/54.jpg)
5454
Generate Reports for Reviews and Audits
Leonardo User Story
![Page 55: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/55.jpg)
5555
Interactivity Poll: What capabilities presented today could help you
improve your development? (choose all that apply)
▪ Requirements Traceability
▪ Architecture Analysis for safety
▪ Standards and Guideline Checking
▪ Functional Testing at Model level
▪ Measuring test coverage
▪ Dashboards and process management
▪ Automatic code generation
▪ Back-to-Back or Equivalence Testing
▪ Report generation
▪ Other ( Enter in Chat )
![Page 56: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/56.jpg)
56
Summary: Reference Workflow with Model-Based Design
▪ Create traceability across requirements,
architecture, design, test and code
▪ Detect design errors early by
continuous testing
▪ Automatic code generation
▪ Generate documents and reports for
reviews and audits
System
Architecture
System
Requirements
System
Architecture
Development
Software
Requirements
Software
Architecture
Implementation
Model
Generated
C/C++ Code
Object
Code
Compilation
and Linking
. . .
Code
GenerationSoftware
Architecture
Development
Modeling
![Page 57: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/57.jpg)
5757
IEC Certification Kit and DO Qualification Kit
▪ Qualify code generation and verification products
▪ Includes documentation, test cases, and procedures to help certify
![Page 58: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/58.jpg)
5858
Learn More
▪ Embedded Code Generation
▪ Verification, Validation, and Test Solution Page
▪ Verifying Models and Code for High-Integrity Systems
▪ Using Model Based Design in the ISO 26262:2018 Case Study
▪ Helicopter Flight Control: A Model-Based Design Example for DO-178C and
DO-331
![Page 59: Developing Embedded Software with Model-Based Design to ...](https://reader031.fdocuments.in/reader031/viewer/2022012109/61dc6f4120753d00643e2edd/html5/thumbnails/59.jpg)
59
© 2021 The MathWorks, Inc. MATLAB and Simulink are registered trademarks of The MathWorks, Inc. See mathworks.com/trademarks
for a list of additional trademarks. Other product or brand names may be trademarks or registered trademarks of their respective holders.
Thank you