Model-based Engineering with AADL

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

Peter H. Feiler, senior member of technical staff at the Software Engineering Institute (SEI), is technical lead and author of the SAE AADL standard. In his 27 years at the SEI he has worked on software development environments, configuration management, and real-time embedded systems. He has collaborated with the research community and has applied resulting technologies such as AADL with customers in avionics, space, and automotive industries, as well as government programs. David P. Gluch, formerly senior member of the technical staff at SEI and now a visiting scientist there, is a professor of software engineering at Embry-Riddle Aeronautical University. He has held key engineering and technical management positions with high-tech firms where he developed real-time software-intensive systems for commercial fly-by-wire aircraft control, automated process control, and the Space Shuttle.