meet certification standards with automated requirements ......software requirements executable...
TRANSCRIPT
![Page 1: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/1.jpg)
Meet Certification Standards with Automated
Requirements Based Testing
Gaurav Ahuja Aravind Singh
Application Engineer Senior Application Engineer
![Page 2: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/2.jpg)
Challenge to Deliver Complex Systems and Meet Standards
2
▪ Need to meet industry or customer’s standards
– DO-178C (Aero), ISO 26262 (Auto), IEC 62304 (Medical),
IEC 61508 (Industrial), MISRA, etc.
▪ Time and cost for safety critical projects estimated
20-30 times more costly*
▪ Finding defects late increases cost and time
*Source: Certification Requirements for Safety-Critical Software
![Page 3: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/3.jpg)
ISO 26262-6:2018 notes Simulink and Stateflow as Suitable for
Software Architecture, Design and as basis for Code Generation
Table 2 Software Architecture Design Notations has similar suitability wording for use of Simulink and Stateflow
3
![Page 4: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/4.jpg)
Qualify tools with IEC Certification Kit and DO Qualification Kit
▪ Qualify code generation and verification products
▪ Includes documentation, test cases and procedures
4
![Page 5: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/5.jpg)
Qualify tools with IEC Certification Kit and DO Qualification Kit
▪ Qualify code generation and verification products
▪ Includes documentation, test cases and procedures
5
![Page 6: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/6.jpg)
Qualify tools with IEC Certification Kit and DO Qualification Kit
▪ Qualify code generation and verification products
▪ Includes documentation, test cases and procedures
6
![Page 7: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/7.jpg)
Conform to Certification Standards with Reference Workflow
7
Textual requirements
Executable specification
Model used for production
code generation
Generated code
Module and integrationtesting at the model level
Back to BackTesting
Reviews and analysis at model level
Prevention of unintended functionality
Code
generationModeling
Object code
Compilation
and linking
Model Verification
Discover design errors at design time
Code Verification
Gain confidence in the generated code
![Page 8: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/8.jpg)
Model Verification: Discover design errors at design time
Textual requirements
Executable specification
Model used for production
code generation
Generated code
Module and integrationtesting at the model level
Reviews and analysis at model level
Prevention of unintended functionality
Code
generationModeling
Object code
Compilation
and linking
• Manage requirements
• Systematically test
• Measure model coverage
• Check standard compliance
• Detect design errors
• Prove model behavior compliance
8
Back to BackTesting
Model Verification
![Page 9: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/9.jpg)
Code Verification: Gain Confidence in the Generated Code
Textual requirements
Executable specification
Model used for production
code generation
Generated code
Module and integrationtesting at the model level
Back to BackTesting
Reviews and analysis at model level
Prevention of unintended functionality
Code
generationModeling
Object code
Compilation
and linking
9
• Trace code to model and requirements
• Measure code coverage
• SIL/PIL equivalence testing
• Generate 100% coverage test vectors
Code Verification
![Page 10: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/10.jpg)
Manage Requirements
Textual requirements
Executable specification
Model used for production
code generation
Generated code
Code
generationModeling
Object code
Compilation
and linking
Module and integrationtesting at the model level
10
• Manage requirements
• Systematically test
• Measure model coverage
• Check standard compliance
• Detect design errors
• Prove model behavior compliance
Model Verification
![Page 11: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/11.jpg)
Manage Requirements
▪ Ensure all requirements implemented
▪ Verify the implementation is correct
▪ Respond quickly to requirement changes
Textual requirements
Executable specification
Model used for production
code generation
Generated code
Code
generationModeling
Object code
Compilation
and linking
External
Requirements
Requirements
Managements
Tools
11
![Page 12: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/12.jpg)
Work with Requirements, Architecture and Design Together
Simulink RequirementsExternal
Requirements
Requirements
Managements
Tools
External Requirements
Authored Requirements
Implements
Verifies
Architecture
/ Design
Tests
12
![Page 13: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/13.jpg)
Demo: Requirements Perspective
13
![Page 14: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/14.jpg)
Test and Requirements Traceability
Verification Status
Passed
Failed
Unexecuted
Missing
14
![Page 15: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/15.jpg)
Review and Analyze Traceability with Traceability Matrix
15
Requirement is missing
link to Test Case
![Page 16: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/16.jpg)
Review and Analyze Traceability with Traceability Matrix
16
• Review links between
different requirements,
model, test
• Filter view to manage large
sets of artifacts
• Highlight missing links
• Directly add links to
address gaps
![Page 17: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/17.jpg)
Systematic Functional Testing of Model
Textual requirements
Executable specification
Model used for production
code generation
Generated code
Code
generationModeling
Object code
Compilation
and linking
Module and integrationtesting at the model level
17
• Manage requirements
• Systematically test
• Measure model coverage
• Check standard compliance
• Detect design errors
• Prove model behavior compliance
Model Verification
![Page 18: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/18.jpg)
Automate functional testing with Simulink Test
Systematic, integrated, and automated functional testing solution
Textual requirements
Executable specification
Model used for production
code generation
Generated code
Code
generationModeling
Object code
Compilation
and linking
Continuous
Integration
18
![Page 19: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/19.jpg)
Test Case
Requirements Based Verification with Simulink Test
Inputs
Test Sequence
Signal Editor
Assessments
Test
Assessments
MATLAB Unit TestSimulink Test
MAT / Excel
file (input)
MAT / Excel
File (baseline)
Test Harness
FUNCTIONAL REQUIREMENTS
The flight control system shall ...
Implemented
By
System Composer /
Simulink / Stateflow
Verified By
19
![Page 20: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/20.jpg)
Measure completeness of testing
Textual requirements
Executable specification
Model used for production
code generation
Generated code
Code
generationModeling
Object code
Compilation
and linking
Module and integrationtesting at the model level
20
• Manage requirements
• Systematically test
• Measure model coverage
• Check standard compliance
• Detect design errors
• Prove model behavior compliance
Model Verification
![Page 21: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/21.jpg)
Coverage Analysis to Measure Testing
• Identify testing gaps
• Missing requirements
• Unintended functionality
• Design errors
21
Simulink
Stateflow
Coverage Reports
Code
![Page 22: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/22.jpg)
Test and Requirements Traceability in Coverage Results
22
![Page 23: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/23.jpg)
Scoping Model Coverage to Requirements-Based Tests
23
![Page 24: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/24.jpg)
Scoping Model Coverage to Requirements-Based Tests
Missing
requirement
links identified
24
![Page 25: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/25.jpg)
Test and Requirements Traceability in Coverage Results
25
![Page 26: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/26.jpg)
Test and Requirements Traceability in Coverage Results
Decision covered but
not by linked test
26
![Page 27: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/27.jpg)
▪ Add missing implementation links to requirements
▪ Update test to increase target speed
Address missing Requirements Based Test Coverage
27
![Page 28: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/28.jpg)
100% Coverage but Testing Identified Error in Implementation
28
![Page 29: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/29.jpg)
Additional Testing Identified Error in Implementation
29
![Page 30: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/30.jpg)
Scoped Model Coverage to Requirements-Based Tests
Hit by linked RBT -- Satisfied
Hit, but not by linked RBT -- Unsatisfied
30
![Page 31: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/31.jpg)
Check standard compliance
Textual requirements
Executable specification
Model used for production
code generation
Generated code
Code
generationModeling
Object code
Compilation
and linking
31
• Manage requirements
• Systematically test
• Measure model coverage
• Check standard compliance
• Detect design errors
• Prove model behavior compliance
Model Verification
Reviews and analysis at model level
![Page 32: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/32.jpg)
Verify Design to Guidelines and Standards
32
Check for:
• Readability and Semantics
• Performance and Efficiency
• Clones
• And more……Model Advisor Analysis
Textual requirements
Executable specification
Model used for production
code generation
Generated code
Code
generationModeling
Object code
Compilation
and linking
![Page 33: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/33.jpg)
Built in checks for industry standards and guidelines
• DO-178/DO-331
• ISO 26262
• IEC 61508
• IEC 62304
• EN 50128
• MISRA C:2012
• CERT C, CWE, ISO/IEC TS 17961
• MAB (MathWorks Advisory Board)
• JMAAB (Japan MATLAB Automotive Advisory Board)
Textual requirements
Executable specification
Model used for production
code generation
Generated code
Code
generationModeling
Object code
Compilation
and linking
![Page 34: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/34.jpg)
Edit-Time
Checking
Shift Verification Earlier With Edit-Time Checking
• Highlight violations as you edit
• Fix issues earlier
• Avoid rework
Textual requirements
Executable specification
Model used for production
code generation
Generated code
Code
generationModeling
Object code
Compilation
and linking
34
![Page 35: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/35.jpg)
Detect Design Errors with Formal Methods
Textual requirements
Executable specification
Model used for production
code generation
Generated code
Code
generationModeling
Object code
Compilation
and linking
35
• Manage requirements
• Systematically test
• Measure model coverage
• Check standard compliance
• Detect design errors
• Prove model behavior compliance
Model Verification
Reviews and analysis at model level
![Page 36: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/36.jpg)
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
36
![Page 37: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/37.jpg)
Prove Model Behavior Compliance
Textual requirements
Executable specification
Model used for production
code generation
Generated code
Code
generationModeling
Object code
Compilation
and linking
37
• Manage requirements
• Systematically test
• Measure model coverage
• Check standard compliance
• Detect design errors
• Prove model behavior compliance
Model Verification
Reviews and analysis at model level
![Page 38: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/38.jpg)
Proving Model Meets Requirements
38
Textual requirements
Executable specification
Model used for production
code generation
Generated code
Code
generationModeling
Object code
Compilation
and linking
Safety Requirement:
When the brake is applied for three
consecutive steps, the throttle shall go to zero.
▪ Need to ensure the design performs
correctly
![Page 39: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/39.jpg)
Model functional and safety requirements
39
![Page 40: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/40.jpg)
Link requirements to properties
40
![Page 41: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/41.jpg)
Prove That Design Meets Requirements
41
![Page 42: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/42.jpg)
Debugging Property Proving Violations
42
![Page 43: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/43.jpg)
Resolve unexpected behavior in a model with Model Slicer
IsolateFind the area of the model responsible
for unexpected behavior
Analyze dependenciesUnderstand data & control dependencies
in large or complex models
Inspect slice regionsHighlight model slices for time windows or
failure states & transitions for state flow.
Debug simulation behaviorStep through precompiled slices to
understand signal and port value propagation
Correct Model
Iterate
43
![Page 44: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/44.jpg)
Code Verification: Gain Confidence in the Generated Code
Textual requirements
Executable specification
Model used for production
code generation
Generated code
Module and integrationtesting at the model level
Back to BackTesting
Reviews and analysis at model level
Prevention of unintended functionality
Code
generationModeling
Object code
Compilation
and linking
44
Code Verification
• Trace code to model and requirements
• Measure code coverage
• SIL/PIL equivalence testing
• Generate 100% coverage test vectors
![Page 45: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/45.jpg)
Tests
Desktop Simulation(on PC)
Results
Model
Object Code Execution (on PC)
Results
PCCompiler
EmbeddedCoder
Generated Code
Object File
== ?
Compare
▪ Automate SIL testing
using Simulink Test.
▪ Testing across releases.
Back-to-Back Testing
45
![Page 46: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/46.jpg)
▪ Guided steps to define component
to test, inputs, type of test and
format for output
▪ Auto generate tests using Simulink
Design Verifier
Automate Test Creation using Test Manager Wizard
46
![Page 47: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/47.jpg)
Cross Release SIL/PIL Test Harness Generation
• Create a SIL/PIL test harness using code that was generated in a previous release
• Modify existing SIL/PIL test harnesses to store the build folder path information which
can be used for rebuild
47
![Page 48: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/48.jpg)
Reference Workflow for Generated Code
Software requirements
Executable specification
Model used for production
code generation
Generated code
Code
generationModeling
Object code
Compilation
and linking
Simulink / Stateflow / AUTOSAR Blockset Embedded Coder*
Simulink Test (for PIL)*
IEC Cert Kit (for trace)
Simulink Test and Simulink Coverage (for SIL)*
*Qualifiable
Simulink Requirements*
Simulink Test and Simulink Coverage (for MIL)*
Simulink Check*Simulink Design Verifier*
48
![Page 49: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/49.jpg)
Customer References and Applications
LS Automotive Reduces Development Time for Automotive Component Software with Model-Based Design
Specification errors detected early
Continental Develops Electronically Controlled Air Suspension for Heavy-Duty Trucks
Verification time cut by up to 50 percent
Airbus Helicopters Accelerates Development of DO-178B Certified Software with Model-Based Design
Software testing time cut by two-thirds
More User Stories: www.mathworks.com/company/user_stories.html
49
![Page 50: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/50.jpg)
Services
50
▪ Early Verification and Validation with Model-Based Design
▪ DO 178 Certification Advisory Service
▪ ISO 26262 Process Deployment Advisory Service
▪ Model-Based Design Process Establishment
▪ Model-Based Design Process Assessment and Maturity Framework
▪ Tools Integration
▪ Developing Embedded Software
▪ Ask about on how we can quickly get you started on System Composer for
defining system architecture (contact consulting)
MathWorks Consulting Service
https://www.mathworks.com/services/consulting.html
MathWorks Training Service
https://www.mathworks.com/services/training.html
![Page 51: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/51.jpg)
Use reference workflow to conform to standards
▪ Shift verification earlier
▪ Automate manual verification tasks (coding, compiling, back-to-back)
▪ Measure completeness of Requirements Based Testing
51
Textual requirements
Executable specification
Model used for production
code generation
Generated code
Module and integrationtesting at the model level
Back to BackTesting
Reviews and analysis at model level
Prevention of unintended functionality
Code
generationModeling
Object code
Compilation
and linking
![Page 52: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/52.jpg)
Learn More
▪ Verification, Validation, and Test Solution Page
▪ Requirements-Based Testing Workflow Example
▪ Verifying Models and Code for High-Integrity Systems
▪ Getting Started with Model Verification and Validation
![Page 53: Meet Certification Standards with Automated Requirements ......Software requirements Executable specification Model used for production code generation Generated code Code generation](https://reader034.vdocuments.site/reader034/viewer/2022052018/60321218fa381d45cc1654e8/html5/thumbnails/53.jpg)
Thank You!
53