Model-based engineering with AADL: an introduction to the SAE Architecture Analysis & Design Language
Gespeichert in:
| Hauptverfasser: | , |
|---|---|
| Format: | Buch |
| Sprache: | English |
| Veröffentlicht: |
Upper Saddle River, NJ [u.a.]
Addison-Wesley
2012
|
| Schriftenreihe: | The SEI series in software engineering
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | XX, 468 S. |
| ISBN: | 9780321888945 0321888944 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV040938208 | ||
| 003 | DE-604 | ||
| 005 | 20150624 | ||
| 007 | t | ||
| 008 | 130411s2012 xxu |||| 00||| eng d | ||
| 010 | |a 2012025544 | ||
| 020 | |a 9780321888945 |c hardcover |9 978-0-321-88894-5 | ||
| 020 | |a 0321888944 |c hardcover |9 0-321-88894-4 | ||
| 035 | |a (OCoLC)844055599 | ||
| 035 | |a (DE-599)BVBBV040938208 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 044 | |a xxu |c US | ||
| 049 | |a DE-384 |a DE-92 | ||
| 050 | 0 | |a TA345.5.A73 | |
| 082 | 0 | |a 620/.0042028553 | |
| 084 | |a ST 230 |0 (DE-625)143617: |2 rvk | ||
| 100 | 1 | |a Feiler, Peter H. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Model-based engineering with AADL |b an introduction to the SAE Architecture Analysis & Design Language |c Peter H. Feiler ; David P. Gluch |
| 264 | 1 | |a Upper Saddle River, NJ [u.a.] |b Addison-Wesley |c 2012 | |
| 300 | |a XX, 468 S. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a The SEI series in software engineering | |
| 650 | 4 | |a Datenverarbeitung | |
| 650 | 4 | |a Architecture Analysis and Design Language | |
| 650 | 4 | |a Computer-aided engineering | |
| 650 | 4 | |a Engineering design |x Computer programs | |
| 650 | 4 | |a Engineering design |x Data processing | |
| 650 | 0 | 7 | |a Eingebettetes System |0 (DE-588)4396978-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Modellgetriebene Entwicklung |0 (DE-588)4832365-2 |D s |
| 689 | 0 | 1 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Gluch, David P. |e Verfasser |4 aut | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025917023&sequence=000004&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-025917023 | ||
Datensatz im Suchindex
| _version_ | 1804150239795347456 |
|---|---|
| adam_text | Titel: Model-based engineering with AADL
Autor: Feiler, Peter H
Jahr: 2012
Contents
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.1.1 MBE for Embedded Real-Time Systems 6
1.1.2 Analyzable Models and MBE 8
1.1.3 MBE and the AADL 10
1.2 AADL and Other Modeling Languages 12
1.2.1 AADL, MDA, and UML 14
1.2.2 AADL and SysML 15
Chapter 2 Working with the SAE AADL 17
2.1 AADL Models 19
2.1.1 Component Categories 19
2.1.2 Language Syntax 20
2.1.3 AADL Classifiers 21
2.1.4 Summary of AADL Declarations 22
2.1.5 Structure of AADL Models 25
2.2 System Specification and System Instances 26
2.2.1 Creating System Instance Models 26
2.2.2 AADL Textual and Graphical Representation 27
2.2.3 Analyzing Models 30
vi Contents
Chapter 3 Modeling and Analysis with the AADL: The Basics 31
3.1 Developing a Simple Model 31
3.1.1 Defining Components for a Model 32
3.1.2 Developing a Top-Level Model 36
3.1.3 Detailing the Control Software 38
3.1.4 Adding Hardware Components 40
3.1.5 Declaring Physical Connections 41
3.1.6 Binding Software to Hardware 43
3.1.7 Conducting Scheduling Analyses 45
3.1.8 Summary 47
3.2 Representing Code Artifacts 47
3.2.1 Documenting Source Code and Binary Files 48
3.2.2 Documenting Variable Names 49
3.2.3 Modeling the Source Code Structure 50
3.3 Modeling Dynamic Reconfigurations 51
3.3.1 Expanded PBA Model 51
3.3.2 Specifying Modes 53
3.4 Modeling and Analyzing Abstract Flows 55
3.4.1 Specifying a Flow Model 55
3.4.2 Specifying an End-to-End Flow 57
3.4.3 Analyzing a Flow 57
3.5 Developing a Conceptual Model 58
3.5.1 Employing Abstract Components in a PBA Model 58
3.5.2 Detailing Abstract Implementations 61
3.5.3 Transforming into a Runtime Representation 63
3.5.4 Adding Runtime Properties 65
3.5.5 Completing the Specification 67
3.6 Working with Component Patterns 69
3.6.1 Component Libraries and Reference Architectures 69
3.6.2 Establishing a Component Library 70
3.6.3 Defining a Reference Architecture 72
3.6.4 Utilizing a Reference Architecture 74
Contents vii
Chapter 4 Applying AADL Capabilities 77
4.1 Specifying System Composition 77
4.1.1 Component Hierarchy 77
4.1.2 Modeling Execution Platform Resources 78
4.1.3 Execution Platform Support of Communication 80
4.1.4 System Hierarchy 81
4.1.5 Creating a System Instance Model 81
4.1.6 Working with Connections in System Instance
Models 82
4.1.7 Working with System Instance Models 83
4.2 Component Interactions 84
4.2.1 Modeling Directional Exchange of Data and
Control 85
4.2.2 Modeling Shared Data Exchange 86
4.2.3 Modeling Local Service Requests or Function
Invocation 87
4.2.4 Modeling Remote Service Requests and Function
Invocations 90
4.2.5 Modeling Object-Oriented Method Calls 92
4.2.6 Modeling Subprogram Parameters 95
4.2.7 Interfacing to the External World 97
4.3 Modeling Data and Its Use 97
4.3.1 Defining a Simple Data Type 98
4.3.2 Representing Variants of a Data Type 99
4.3.3 Detailing a Data Type 100
4.4 Organizing a Design 101
4.4.1 Using Packages 102
4.4.2 Developing Alternative Implementations 104
4.4.3 Defining Multiple Extensions 105
viii Contents
PART II Elements of the AADL 109
Chapters 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.1.1 Representation 130
6.1.2 Properties 131
6.1.3 Constraints 132
6.2 Thread Group 133
6.2.1 Representations 133
6.2.2 Properties 134
6.2.3 Constraints 134
6.3 Process 135
6.3.1 Representations 136
6.3.2 Properties 137
6.3.3 Constraints 137
6.4 Data 138
6.4.1 Representations 138
6.4.2 Properties 140
6.4.3 Constraints 140
6.5 Subprogram 141
6.5.1 Representations 143
6.5.2 Properties 143
6.5.3 Constraints 144
6.6 Subprogram Group 144
6.6.1 Representations 145
Contents ix
6.6.2 Properties 146
6.6.3 Constraints 146
Chapter 7 Execution Platform Components 147
7.1 Processor 148
7.1.1 Representations 148
7.1.2 Properties 150
7.1.3 Constraints 150
7.2 Virtual Processor 151
7.2.1 Representations 151
7.2.2 Properties 152
7.2.3 Constraints 152
7.3 Memory 153
7.3.1 Representations 153
7.3.2 Properties 154
7.3.3 Constraints 155
7.4 Bus 156
7.4.1 Representations 156
7.4.2 Properties 157
7.4.3 Constraints 157
7.5 Virtual Bus 158
7.5.1 Representations 158
7.5.2 Properties 159
7.5.3 Constraints 159
7.6 Device 160
7.6.1 Representations 160
7.6.2 Properties 161
7.6.3 Constraints 161
Chapter 8 Composite and Generic Components 163
8.1 System 163
8.1.1 Representations 164
8.1.2 Properties 165
8.1.3 Constraints 165
Contents
8.2 Abstract 165
8.2.1 Representations 166
8.2.2 Properties 168
8.2.3 Constraints 168
Chapter 9 Static and Dynamic Architecture 169
9.1 Subcomponents 169
9.1.1 Declaring Subcomponents 170
9.1.2 Using Subcomponent Declarations 170
9.1.3 Declaring Subcomponents as Arrays 172
9.2 Modes 173
9.2.1 Declaring Modes and Mode Transitions 174
9.2.2 Declaring Modal Component Types and
Implementations 175
9.2.3 Using Modes for Alternative Component
Configurations 177
9.2.4 Inheriting Modes 180
9.2.5 Mode-Specific Properties 181
9.2.6 Modal Configurations of Call Sequences 182
Chapter 10 Component Interactions 185
10.1 Ports and Connections 186
10.1.1 Declaring Ports 186
10.1.2 Declaring Port to Port Connections 189
10.1.3 Using Port to Port Connections 189
10.1.4 Constraints on Port to Port Connections 193
10.1.5 Port Communication Timing 196
10.1.6 Sampled Processing of Data Streams 198
10.1.7 Deterministic Sampling 199
10.1.8 Mixed Port-Based and Shared Data
Communication 203
10.1.9 Port and Port Connection Properties 207
10.1.10 Aggregate Data Communication 207
Contents xi
10.2 Data Access and Connections 210
10.3 Bus Access and Connections 213
10.4 Feature Groups and Connections 217
10.4.1 Declaring Feature Group Types 218
10.4.2 Declaring a Feature Group as a Feature of a
Component 220
10.4.3 Declaring Feature Group Connections 221
10.5 Abstract Features and Connections 225
10.5.1 Declaring Abstract Features 226
10.5.2 Refining Abstract Features 226
10.6 Arrays and Connections 227
10.6.1 Explicitly Specified Array Connections 228
10.6.2 Array Connection Patterns 229
10.6.3 Using Array Connection Properties 230
10.7 Subprogram Calls, Access, and Instances 232
10.7.1 Declaring Calls and Call Sequences 233
10.7.2 Declaring Remote Subprogram Calls as
Bindings 234
10.7.3 Declaring Remote Subprogram Calls as
Access Connections 236
10.7.4 Modeling Subprogram Instances 237
10.8 Parameter Connections 240
10.8.1 Declaring Parameters 240
10.8.2 Declaring Parameter Connections 241
Chapter 11 System Flows and Software Deployment 245
11.1 Flows 245
11.1.1 Declaring Flow Specifications 246
11.1.2 Declaring Flow Implementations 249
11.1.3 Declaring End-to-End Flows 253
11.1.4 Working with End-to-End Flows 256
11.2 Binding Software to Hardware 256
11.2.1 Declaring Bindings with Properties 257
11.2.2 Processor Bindings 259
xii Contents
11.2.3 Memory Bindings 259
11.2.4 Connection Bindings 260
11.2.5 Binding Remote Subprogram Calls 260
Chapter 12 Organizing Models 263
12.1 Naming and Referencing Model Elements 263
12.1.1 Naming and Referencing with Packages 263
12.1.2 Naming and Referencing Classifiers 264
12.1.3 References to Model Elements 265
12.1.4 Naming and Referencing with Property Sets 266
12.2 Organizing Models with Packages 266
12.2.1 Declaring Packages 267
12.2.2 Referencing Elements in Packages 269
12.2.3 Aliases for Packages and Type References 271
12.3 Evolving Models by Classifier Refinement 273
12.3.1 Declaring Classifier Extensions 274
12.3.2 Declaring Model Element Refinements 275
12.3.3 Classifier Substitution Rules for Refinements 277
12.3.4 Refining the Category 280
12.4 Prototypes as Classifier Parameters 281
12.4.1 Declaring Prototypes 281
12.4.2 Using Prototypes 283
12.4.3 Providing Prototype Actuals 284
12.4.4 Properties 287
Chapter 13 Annotating Models 289
13.1 Documenting Model Elements 289
13.1.1 Comments and Description Properties 289
13.1.2 Empty Component Sections 290
13.2 Using Properties 291
13.2.1 Assigning Property Values 292
13.2.2 AADL Property Types and Values 294
13.2.3 Determining a Property Value 297
Contents xiii
13.2.4 Contained Property Associations 299
13.2.5 Determining the Property Value: An Example 300
Chapter 14 Extending the Language 303
14.1 Property Sets 303
14.1.1 Declaring Property Sets 304
14.1.2 Property Type Declarations 305
14.1.3 Property Definitions 309
14.1.4 Property Constant Declarations 311
14.2 Annex Sublanguages 312
14.2.1 Declaring Annex Concepts in Libraries 313
14.2.2 Using Annex Concepts in Subclauses 314
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.5.1 Deployment Properties 350
A.5.2 Thread-Related Properties 364
A.5.3 Timing Properties 371
A.5.4 Communication Properties 384
A.5.5 Memory-Related Properties 391
A.5.6 Programming Properties 398
xiv Contents
A.5.7 Modeling Properties 408
A.5.8 Project-Specific Constants and Property Types 410
A.6 Runtime Services 418
A.6.1 Application Runtime Services 418
A.6.2 Runtime Executive Services 421
A. 7 Powerboat Autopilot System 425
A.7.1 Description 425
A.7.2 Enhanced Versions of the PBA System 426
A.7.3 AADL Components of the PBA System 427
A.7.4 An Alternative AADL Representation 428
Appendix B Additional Resources 429
B.l Modeling System Architectures 429
B.2 Cases Studies 431
Appendix C References 435
Index 441
|
| any_adam_object | 1 |
| author | Feiler, Peter H. Gluch, David P. |
| author_facet | Feiler, Peter H. Gluch, David P. |
| author_role | aut aut |
| author_sort | Feiler, Peter H. |
| author_variant | p h f ph phf d p g dp dpg |
| building | Verbundindex |
| bvnumber | BV040938208 |
| callnumber-first | T - Technology |
| callnumber-label | TA345 |
| callnumber-raw | TA345.5.A73 |
| callnumber-search | TA345.5.A73 |
| callnumber-sort | TA 3345.5 A73 |
| callnumber-subject | TA - General and Civil Engineering |
| classification_rvk | ST 230 |
| ctrlnum | (OCoLC)844055599 (DE-599)BVBBV040938208 |
| dewey-full | 620/.0042028553 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 620 - Engineering and allied operations |
| dewey-raw | 620/.0042028553 |
| dewey-search | 620/.0042028553 |
| dewey-sort | 3620 842028553 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01922nam a2200481 c 4500</leader><controlfield tag="001">BV040938208</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150624 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">130411s2012 xxu |||| 00||| eng d</controlfield><datafield tag="010" ind1=" " ind2=" "><subfield code="a">2012025544</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780321888945</subfield><subfield code="c">hardcover</subfield><subfield code="9">978-0-321-88894-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0321888944</subfield><subfield code="c">hardcover</subfield><subfield code="9">0-321-88894-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)844055599</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV040938208</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="044" ind1=" " ind2=" "><subfield code="a">xxu</subfield><subfield code="c">US</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-384</subfield><subfield code="a">DE-92</subfield></datafield><datafield tag="050" ind1=" " ind2="0"><subfield code="a">TA345.5.A73</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">620/.0042028553</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 230</subfield><subfield code="0">(DE-625)143617:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Feiler, Peter H.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Model-based engineering with AADL</subfield><subfield code="b">an introduction to the SAE Architecture Analysis & Design Language</subfield><subfield code="c">Peter H. Feiler ; David P. Gluch</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Upper Saddle River, NJ [u.a.]</subfield><subfield code="b">Addison-Wesley</subfield><subfield code="c">2012</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">XX, 468 S.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">The SEI series in software engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Datenverarbeitung</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Architecture Analysis and Design Language</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer-aided engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering design</subfield><subfield code="x">Computer programs</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering design</subfield><subfield code="x">Data processing</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Modellgetriebene Entwicklung</subfield><subfield code="0">(DE-588)4832365-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Modellgetriebene Entwicklung</subfield><subfield code="0">(DE-588)4832365-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Gluch, David P.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025917023&sequence=000004&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-025917023</subfield></datafield></record></collection> |
| id | DE-604.BV040938208 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T00:35:46Z |
| institution | BVB |
| isbn | 9780321888945 0321888944 |
| language | English |
| lccn | 2012025544 |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-025917023 |
| oclc_num | 844055599 |
| open_access_boolean | |
| owner | DE-384 DE-92 |
| owner_facet | DE-384 DE-92 |
| physical | XX, 468 S. |
| publishDate | 2012 |
| publishDateSearch | 2012 |
| publishDateSort | 2012 |
| publisher | Addison-Wesley |
| record_format | marc |
| series2 | The SEI series in software engineering |
| spelling | Feiler, Peter H. Verfasser aut Model-based engineering with AADL an introduction to the SAE Architecture Analysis & Design Language Peter H. Feiler ; David P. Gluch Upper Saddle River, NJ [u.a.] Addison-Wesley 2012 XX, 468 S. txt rdacontent n rdamedia nc rdacarrier The SEI series in software engineering Datenverarbeitung Architecture Analysis and Design Language Computer-aided engineering Engineering design Computer programs Engineering design Data processing Eingebettetes System (DE-588)4396978-1 gnd rswk-swf Modellgetriebene Entwicklung (DE-588)4832365-2 gnd rswk-swf Modellgetriebene Entwicklung (DE-588)4832365-2 s Eingebettetes System (DE-588)4396978-1 s DE-604 Gluch, David P. Verfasser aut HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025917023&sequence=000004&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Feiler, Peter H. Gluch, David P. Model-based engineering with AADL an introduction to the SAE Architecture Analysis & Design Language Datenverarbeitung Architecture Analysis and Design Language Computer-aided engineering Engineering design Computer programs Engineering design Data processing Eingebettetes System (DE-588)4396978-1 gnd Modellgetriebene Entwicklung (DE-588)4832365-2 gnd |
| subject_GND | (DE-588)4396978-1 (DE-588)4832365-2 |
| title | Model-based engineering with AADL an introduction to the SAE Architecture Analysis & Design Language |
| title_auth | Model-based engineering with AADL an introduction to the SAE Architecture Analysis & Design Language |
| title_exact_search | Model-based engineering with AADL an introduction to the SAE Architecture Analysis & Design Language |
| title_full | Model-based engineering with AADL an introduction to the SAE Architecture Analysis & Design Language Peter H. Feiler ; David P. Gluch |
| title_fullStr | Model-based engineering with AADL an introduction to the SAE Architecture Analysis & Design Language Peter H. Feiler ; David P. Gluch |
| title_full_unstemmed | Model-based engineering with AADL an introduction to the SAE Architecture Analysis & Design Language Peter H. Feiler ; David P. Gluch |
| title_short | Model-based engineering with AADL |
| title_sort | model based engineering with aadl an introduction to the sae architecture analysis design language |
| title_sub | an introduction to the SAE Architecture Analysis & Design Language |
| topic | Datenverarbeitung Architecture Analysis and Design Language Computer-aided engineering Engineering design Computer programs Engineering design Data processing Eingebettetes System (DE-588)4396978-1 gnd Modellgetriebene Entwicklung (DE-588)4832365-2 gnd |
| topic_facet | Datenverarbeitung Architecture Analysis and Design Language Computer-aided engineering Engineering design Computer programs Engineering design Data processing Eingebettetes System Modellgetriebene Entwicklung |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=025917023&sequence=000004&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT feilerpeterh modelbasedengineeringwithaadlanintroductiontothesaearchitectureanalysisdesignlanguage AT gluchdavidp modelbasedengineeringwithaadlanintroductiontothesaearchitectureanalysisdesignlanguage |