MATLAB SIMULINK VERIFICATION AND VALIDATION - S Guide de l'utilisateur Page 77
- Page / 674
- Table des matières
- MARQUE LIVRES
Noté. / 5. Basé sur avis des utilisateurs
Link to Requirements Modeled in Simulink
2-45
Verification Subsystems for Power Window Controller Model
Open the verification model, 'Power Window Controller Temporal Property
Specification'. This model specifies properties and requirements of the
slvnvdemo_powerwindowController model.
Consider the following design requirements for the controller:
1
Requirement 1 (Obstacle Response) - Whenever an obstacle is detected, the
controller shall give the down command for one second. This requirement is modeled
in Verification Subsystem2.
- Simulink 1
- Verification and Validation™ 1
- User's Guide 1
- How to Contact MathWorks 2
- Revision History 3
- Contents 5
- Synchronization 9
- MATLAB Code Traceability 11
- Model Component Testing 13
- Verification Manager 14
- Model Coverage Analysis 15
- Model Coverage Definition 15
- Results Review 18
- Customizing the Model Advisor 22
- Create Model Advisor Checks 22
- Checks and Folders 24
- Configurations 25
- Deploy Custom Configurations 25
- Getting Started 27
- 1 Getting Started 28
- System Requirements 29
- Requirements Traceability 31
- Links Between Models and 33
- Requirements Link Storage 37
- Selection-Based Linking 42
- Navigation 44
- Requirements Tab 47
- Document Index Tab 47
- Requirements Settings 48
- Requirements Settings 49
- Link Model Objects 50
- Link Model Objects 51
- DocBlock 56
- Document 60
- Workbook 66
- Change Requirements Links 68
- MAP sensor test scenario 69
- External Storage 94
- Reviewing Requirements 101
- 4 Reviewing Requirements 102
- Navigate from Model Object 105
- List of Tables 109
- Customize Requirements Report 117
- Document Path Storage 151
- Absolute Path Example 152
- Requirements 161
- document 161
- Requirement 161
- IBM Rational DOORS Surrogate 163
- Module Synchronization 163
- DOORS Database 169
- Surrogate Module 180
- Navigation from Requirements 183
- Documents 183
- IBM Rational DOORS 184
- IBM Rational DOORS 187
- Diagnose and Fix DXL Errors 191
- Microsoft Office 192
- Microsoft Office 193
- External Documents 204
- Editor” 205
- 8 MATLAB Code Traceability 206
- Custom Types of Requirements 223
- Implement Custom Link Types 225
- Custom Link Type Functions 226
- Links and Link Types 227
- Link Type Properties 228
- Link Type Properties 229
- Custom Link Type Registration 232
- Create a Document Index 239
- Requirements Information in 245
- Generated Code 245
- Component Verification 254
- Component Verification 255
- Unit testing 256
- Component 263
- About the Example Model 264
- slvnvlogsignals( 266
- Create and Log Test Cases 268
- Merge Test Case Data 269
- Record Coverage for Component 269
- mergedTestCases,runopts); 270
- Signal Monitoring with 273
- Model Verification Blocks 273
- Enable assertion check box 279
- Model Coverage 304
- Types of Model Coverage 305
- 15 Model Coverage Definition 306
- Types of Model Coverage 307
- Signal Size Coverage 311
- Inline parameters 313
- Block reduction 313
- Coverage 315
- Combinatorial Logic 322
- Compare to Constant 323
- Compare to Zero 323
- Data Type Conversion 324
- Dead Zone 324
- Direct Lookup Table (n-D) 325
- Discrete Filter 325
- Discrete FIR Filter 325
- Discrete-Time Integrator 325
- Discrete Transfer Fcn 326
- Dot Product 327
- Enabled Subsystem 327
- If, If Action Subsystem 330
- Interpolation Using Prelookup 330
- Library-Linked Objects 331
- Logical Operator 331
- 1-D Lookup Table 332
- 2-D Lookup Table 332
- Math Function 334
- MATLAB Function 334
- Multiport Switch 335
- Proof Assumption 336
- Proof Objective 336
- Rate Limiter 337
- Relational Operator 337
- C/C++ S-Function 339
- Saturation 340
- Saturation Dynamic 340
- Test Condition 342
- Test Objective 343
- Triggered Models 343
- Triggered Subsystem 344
- Truth Table 345
- Unary Minus 345
- Weighted Sample Time Math 345
- Coverage Tab 350
- Coverage for this model 351
- Results Tab 354
- Reporting Tab 356
- Generate report 357
- Options Tab 360
- Filter Tab 362
- Cumulative Coverage Data 365
- Coverage Collection During 367
- Simulation 367
- Create and Run Test Cases 369
- Enable Coverage Highlighting 371
- Red: Partial Coverage 372
- Gray: Filtered Coverage 374
- reset = 1; 386
- Stationary 390
- Coverage for Line 1 394
- Coverage for Line 6 394
- Coverage for Line 14 395
- Coverage for Line 27 395
- Coverage for Line 30 396
- Related Examples 406
- More About 406
- Cyclomatic Complexity 412
- Decision Coverage 413
- Condition Coverage 416
- MCDC Coverage 417
- Relational Boundary Coverage 417
- Types of Coverage Reports 442
- Model Summary Report 443
- 19 Results Review 444
- Types of Coverage Reports 445
- Subsystem Coverage Report 449
- Code Coverage Report 451
- Conditions Analyzed 465
- Cumulative Coverage 467
- Table coverage 471
- Relational Boundary 477
- Excluding Model Objects From 491
- Coverage Filtering 492
- Save Coverage Filter to File 498
- Remove Coverage Filter Rules 499
- Coverage Filter Viewer 500
- Coverage Filter Viewer 501
- Filter a Stateflow Transition 503
- Filter a Stateflow Event 505
- Filter a Subsystem 510
- Filter a Specific Block 511
- Create Tests with cvtest 515
- Run Tests with cvsim 517
- object, ignore_descendants) 519
- Stateflow® Constructs 520
- Check Model and Subsystems 532
- Limit Model Checks 533
- Limit Model Checks 535
- Manage Exclusions 537
- Compliance 550
- Guideline Compliance 553
- Finding Check IDs 561
- % Run on 2 cores 566
- Archive and View Results 567
- Archive and View Results 569
- View Model Advisor Report 570
- Model Advisor Customization 576
- Customization File Overview 579
- Customization File Overview 581
- Quick Start Examples 582
- Quick Start Examples 583
- Functions 604
- Define Custom Checks 606
- Define Custom Checks 607
- Display and Enable Checks 608
- Check Definition Function 610
- Define Check Input Parameters 610
- Define Check Actions 612
- About Callback Functions 613
- Action Callback Function 619
- Format Model Advisor Results 620
- Model Advisor Code Examples 628
- Input Parameter Definition 629
- List View Definition 630
- Action Definition 631
- Model Advisor Code Examples 633
- Organizing Checks and Folders 639
- Create Custom Configurations 640
- Configuration Editor 643
- Register Tasks and Folders 651
- Define Custom Tasks 652
- Define Custom Folders 654
- Customization Example 655
- Verify Custom Configurations 656
- Group Definition 659
- Create Procedural-Based Model 661
- Advisor Configurations 661
- Create Procedures 662
Produits connexes et manuels pour Logiciel MATLAB SIMULINK VERIFICATION AND VALIDATION - S
(122 pages)© 2020, manymanuals.fr. Tous droits réservés | 0.039 s |
Manymanuals.com
Manymanuals.de
Manymanuals.fr
Manymanuals.it
Manymanuals.pl
Manymanuals.cz
Manymanuals.es
Manymanuals-pt.com
Commentaires sur ces manuels