David P. Gluch,
Peter H. Feiler
Model-Based Engineering with AADL
An Introduction to the SAE Architecture Analysis & Design Language
Paperback Engels 2015 1e druk 9780134208893Levertijd ongeveer 9 werkdagen
Gratis verzonden
Specificaties
ISBN13:9780134208893
Taal:Engels
Bindwijze:Paperback
Aantal pagina's:496
Uitgever:Pearson Education
Druk:1
Hoofdrubriek:Programmeren, Computer en informatica
Lezersrecensies
Wees de eerste die een lezersrecensie schrijft!
Inhoudsopgave
Preface xv
Introduction 1
PART I: Model-Based Engineering and the AADL 3
Chapter 1: Model-Based Software Systems Engineering 5
1.1 MBE and Software System Engineering 6
1.2 AADL and Other Modeling Languages 12
Chapter 2: Working with the SAE AADL 17
2.1 AADL Models 19
2.2 System Specification and System Instances 26
Chapter 3: Modeling and Analysis with the AADL: The Basics 31
3.1 Developing a Simple Model 31
3.2 Representing Code Artifacts 47
3.3 Modeling Dynamic Reconfigurations 51
3.4 Modeling and Analyzing Abstract Flows 55
3.5 Developing a Conceptual Model 58
3.6 Working with Component Patterns 69
Chapter 4: Applying AADL Capabilities 77
4.1 Specifying System Composition 77
4.2 Component Interactions 84
4.3 Modeling Data and Its Use 97
4.4 Organizing a Design 101
PART II: Elements of the AADL 109
Chapter 5: Defining AADL Components 113
5.1 Component Names 113
5.2 Component Categories 114
5.3 Declaring Component Types 114
5.4 Declaring a Component’s External Interfaces 118
5.5 Declaring Component Implementations 121
5.6 Summary 125
Chapter 6: Software Components 127
6.1 Thread 128
6.2 Thread Group 133
6.3 Process 135
6.4 Data 138
6.5 Subprogram 141
6.6 Subprogram Group 144
Chapter 7: Execution Platform Components 147
7.1 Processor 148
7.2 Virtual Processor 151
7.3 Memory 153
7.4 Bus 156
7.5 Virtual Bus 158
7.6 Device 160
Chapter 8: Composite and Generic Components 163
8.1 System 163
8.2 Abstract 165
Chapter 9: Static and Dynamic Architecture 169
9.1 Subcomponents 169
9.2 Modes 173
Chapter 10: Component Interactions 185
10.1 Ports and Connections 186
10.2 Data Access and Connections 210
10.3 Bus Access and Connections 213
10.4 Feature Groups and Connections 217
10.5 Abstract Features and Connections 225
10.6 Arrays and Connections 227
10.7 Subprogram Calls, Access, and Instances 232
10.8 Parameter Connections 240
Chapter 11: System Flows and Software Deployment 245
11.1 Flows 245
11.2 Binding Software to Hardware 256
Chapter 12: Organizing Models 263
12.1 Naming and Referencing Model Elements 263
12.2 Organizing Models with Packages 266
12.3 Evolving Models by Classifier Refinement 273
12.4 Prototypes as Classifier Parameters 281
Chapter 13: Annotating Models 289
13.1 Documenting Model Elements 289
13.2 Using Properties 291
Chapter 14: Extending the Language 303
14.1 Property Sets 303
14.2 Annex Sublanguages 312
Chapter 15: Creating and Validating Models 317
15.1 Model Creation 317
15.2 Model Creation Tools 319
15.3 System Validation and Generation 321
15.4 System Validation and Generation Tools 322
Appendixes 325
Appendix A: Syntax and Property Summary 327
A.1 AADL Syntax 327
A.2 Component Type and Implementation Elements 342
A.3 Basic Property Types and Type Constructors 347
A.4 AADL Reserved Words 348
A.5 AADL Properties 349
A.6 Runtime Services 418
A.7 Powerboat Autopilot System 425
Appendix B: Additional Resources 429
B.1 Modeling System Architectures 429
B.2 Cases Studies 431
Appendix C: References 435
Index 441
Introduction 1
PART I: Model-Based Engineering and the AADL 3
Chapter 1: Model-Based Software Systems Engineering 5
1.1 MBE and Software System Engineering 6
1.2 AADL and Other Modeling Languages 12
Chapter 2: Working with the SAE AADL 17
2.1 AADL Models 19
2.2 System Specification and System Instances 26
Chapter 3: Modeling and Analysis with the AADL: The Basics 31
3.1 Developing a Simple Model 31
3.2 Representing Code Artifacts 47
3.3 Modeling Dynamic Reconfigurations 51
3.4 Modeling and Analyzing Abstract Flows 55
3.5 Developing a Conceptual Model 58
3.6 Working with Component Patterns 69
Chapter 4: Applying AADL Capabilities 77
4.1 Specifying System Composition 77
4.2 Component Interactions 84
4.3 Modeling Data and Its Use 97
4.4 Organizing a Design 101
PART II: Elements of the AADL 109
Chapter 5: Defining AADL Components 113
5.1 Component Names 113
5.2 Component Categories 114
5.3 Declaring Component Types 114
5.4 Declaring a Component’s External Interfaces 118
5.5 Declaring Component Implementations 121
5.6 Summary 125
Chapter 6: Software Components 127
6.1 Thread 128
6.2 Thread Group 133
6.3 Process 135
6.4 Data 138
6.5 Subprogram 141
6.6 Subprogram Group 144
Chapter 7: Execution Platform Components 147
7.1 Processor 148
7.2 Virtual Processor 151
7.3 Memory 153
7.4 Bus 156
7.5 Virtual Bus 158
7.6 Device 160
Chapter 8: Composite and Generic Components 163
8.1 System 163
8.2 Abstract 165
Chapter 9: Static and Dynamic Architecture 169
9.1 Subcomponents 169
9.2 Modes 173
Chapter 10: Component Interactions 185
10.1 Ports and Connections 186
10.2 Data Access and Connections 210
10.3 Bus Access and Connections 213
10.4 Feature Groups and Connections 217
10.5 Abstract Features and Connections 225
10.6 Arrays and Connections 227
10.7 Subprogram Calls, Access, and Instances 232
10.8 Parameter Connections 240
Chapter 11: System Flows and Software Deployment 245
11.1 Flows 245
11.2 Binding Software to Hardware 256
Chapter 12: Organizing Models 263
12.1 Naming and Referencing Model Elements 263
12.2 Organizing Models with Packages 266
12.3 Evolving Models by Classifier Refinement 273
12.4 Prototypes as Classifier Parameters 281
Chapter 13: Annotating Models 289
13.1 Documenting Model Elements 289
13.2 Using Properties 291
Chapter 14: Extending the Language 303
14.1 Property Sets 303
14.2 Annex Sublanguages 312
Chapter 15: Creating and Validating Models 317
15.1 Model Creation 317
15.2 Model Creation Tools 319
15.3 System Validation and Generation 321
15.4 System Validation and Generation Tools 322
Appendixes 325
Appendix A: Syntax and Property Summary 327
A.1 AADL Syntax 327
A.2 Component Type and Implementation Elements 342
A.3 Basic Property Types and Type Constructors 347
A.4 AADL Reserved Words 348
A.5 AADL Properties 349
A.6 Runtime Services 418
A.7 Powerboat Autopilot System 425
Appendix B: Additional Resources 429
B.1 Modeling System Architectures 429
B.2 Cases Studies 431
Appendix C: References 435
Index 441
Rubrieken
- advisering
- algemeen management
- coaching en trainen
- communicatie en media
- economie
- financieel management
- inkoop en logistiek
- internet en social media
- it-management / ict
- juridisch
- leiderschap
- marketing
- mens en maatschappij
- non-profit
- ondernemen
- organisatiekunde
- personal finance
- personeelsmanagement
- persoonlijke effectiviteit
- projectmanagement
- psychologie
- reclame en verkoop
- strategisch management
- verandermanagement
- werk en loopbaan