Model-Based Engineering with AADL

Preface&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; xv <p style="margin:0px;">&nbsp;</p> <p style="margin:0px;">Introduction&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 1</p> <p style="margin:0px;">&nbsp;</p> <p style="margin:0px;">PART I: Model-Based Engineering and the AADL&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 3</p> <p style="margin:0px;">Chapter 1: Model-Based Software Systems Engineering&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 5</p> <p style="margin:0px;">1.1 MBE and Software System Engineering&nbsp;&nbsp; 6</p> <p style="margin:0px;">1.2 AADL and Other Modeling Languages&nbsp;&nbsp; 12</p> <p style="margin:0px;">&nbsp;</p> <p style="margin:0px;">Chapter 2: Working with the SAE AADL&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 17</p> <p style="margin:0px;">2.1 AADL Models&nbsp;&nbsp; 19</p> <p style="margin:0px;">2.2 System Specification and System Instances&nbsp;&nbsp; 26</p> <p style="margin:0px;">&nbsp;</p> <p style="margin:0px;">Chapter 3: Modeling and Analysis with the AADL: The Basics&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 31</p> <p style="margin:0px;">3.1 Developing a Simple Model&nbsp;&nbsp; 31</p> <p style="margin:0px;">3.2 Representing Code Artifacts&nbsp;&nbsp; 47</p> <p style="margin:0px;">3.3 Modeling Dynamic Reconfigurations&nbsp;&nbsp; 51</p> <p style="margin:0px;">3.4 Modeling and Analyzing Abstract Flows&nbsp;&nbsp; 55</p> <p style="margin:0px;">3.5 Developing a Conceptual Model&nbsp;&nbsp; 58</p> <p style="margin:0px;">3.6 Working with Component Patterns&nbsp;&nbsp; 69</p> <p style="margin:0px;">&nbsp;</p> <p style="margin:0px;">Chapter 4: Applying AADL Capabilities&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 77</p> <p style="margin:0px;">4.1 Specifying System Composition&nbsp;&nbsp; 77</p> <p style="margin:0px;">4.2 Component Interactions&nbsp;&nbsp; 84</p> <p style="margin:0px;">4.3 Modeling Data and Its Use&nbsp;&nbsp; 97</p> <p style="margin:0px;">4.4 Organizing a Design&nbsp;&nbsp; 101</p> <p style="margin:0px;">&nbsp;</p> <p style="margin:0px;">PART II: Elements of the AADL&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 109</p> <p style="margin:0px;">Chapter 5: Defining AADL Components&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 113</p> <p style="margin:0px;">5.1 Component Names&nbsp;&nbsp; 113</p> <p style="margin:0px;">5.2 Component Categories&nbsp;&nbsp; 114</p> <p style="margin:0px;">5.3 Declaring Component Types&nbsp;&nbsp; 114</p> <p style="margin:0px;">5.4 Declaring a Component’s External Interfaces&nbsp;&nbsp; 118</p> <p style="margin:0px;">5.5 Declaring Component Implementations&nbsp;&nbsp; 121</p> <p style="margin:0px;">5.6 Summary&nbsp;&nbsp; 125</p> <p style="margin:0px;">&nbsp;</p> <p style="margin:0px;" msonormal"="">Chapter 6: Software Components&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 127</p> <p style="margin:0px;">6.1 Thread&nbsp;&nbsp; 128</p> <p style="margin:0px;">6.2 Thread Group&nbsp;&nbsp; 133</p> <p style="margin:0px;">6.3 Process&nbsp;&nbsp; 135</p> <p style="margin:0px;">6.4 Data&nbsp;&nbsp; 138</p> <p style="margin:0px;">6.5 Subprogram&nbsp;&nbsp; 141</p> <p style="margin:0px;">6.6 Subprogram Group&nbsp;&nbsp; 144</p> <p style="margin:0px;">&nbsp;</p> <p style="margin:0px;">Chapter 7: Execution Platform Components&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 147</p> <p style="margin:0px;">7.1 Processor&nbsp;&nbsp; 148</p> <p style="margin:0px;">7.2 Virtual Processor&nbsp;&nbsp; 151</p> <p style="margin:0px;">7.3 Memory&nbsp;&nbsp; 153</p> <p style="margin:0px;">7.4 Bus&nbsp;&nbsp; 156</p> <p style="margin:0px;">7.5 Virtual Bus&nbsp;&nbsp; 158</p> <p style="margin:0px;">7.6 Device&nbsp;&nbsp; 160</p> <p style="margin:0px;">&nbsp;</p> <p style="margin:0px;" msonormal"="">Chapter 8: Composite and Generic Components&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 163</p> <p style="margin:0px;">8.1 System&nbsp;&nbsp; 163</p> <p style="margin:0px;">8.2 Abstract&nbsp;&nbsp; 165</p> <p style="margin:0px;">&nbsp;</p> <p style="margin:0px;" msonormal"="">Chapter 9: Static and Dynamic Architecture&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 169</p> <p style="margin:0px;">9.1 Subcomponents&nbsp;&nbsp; 169</p> <p style="margin:0px;">9.2 Modes&nbsp;&nbsp; 173</p> <p style="margin:0px;">&nbsp;</p> <p style="margin:0px;" msonormal"="">Chapter 10: Component Interactions&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 185</p> <p style="margin:0px;">10.1 Ports and Connections&nbsp;&nbsp; 186</p> <p style="margin:0px;">10.2 Data Access and Connections&nbsp;&nbsp; 210</p> <p style="margin:0px;">10.3 Bus Access and Connections&nbsp;&nbsp; 213</p> <p style="margin:0px;">10.4 Feature Groups and Connections&nbsp;&nbsp; 217</p> <p style="margin:0px;">10.5 Abstract Features and Connections&nbsp;&nbsp; 225</p> <p style="margin:0px;">10.6 Arrays and Connections&nbsp;&nbsp; 227</p> <p style="margin:0px;">10.7 Subprogram Calls, Access, and Instances&nbsp;&nbsp; 232</p> <p style="margin:0px;">10.8 Parameter Connections&nbsp;&nbsp; 240</p> <p style="margin:0px;">&nbsp;</p> <p style="margin:0px;" msonormal"="">Chapter 11: System Flows and Software Deployment&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 245</p> <p style="margin:0px;">11.1 Flows&nbsp;&nbsp; 245</p> <p style="margin:0px;">11.2 Binding Software to Hardware&nbsp;&nbsp; 256</p> <p style="margin:0px;">&nbsp;</p> <p style="margin:0px;">Chapter 12: Organizing Models&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 263</p> <p style="margin:0px;">12.1 Naming and Referencing Model Elements&nbsp;&nbsp; 263</p> <p style="margin:0px;">12.2 Organizing Models with Packages&nbsp;&nbsp; 266</p> <p style="margin:0px;">12.3 Evolving Models by Classifier Refinement&nbsp;&nbsp; 273</p> <p style="margin:0px;">12.4 Prototypes as Classifier Parameters&nbsp;&nbsp; 281</p> <p style="margin:0px;">&nbsp;</p> <p style="margin:0px;" msonormal"="">Chapter 13: Annotating Models&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 289</p> <p style="margin:0px;">13.1 Documenting Model Elements&nbsp;&nbsp; 289</p> <p style="margin:0px;">13.2 Using Properties&nbsp;&nbsp; 291</p> <p style="margin:0px;">&nbsp;</p> <p style="margin:0px;">Chapter 14: Extending the Language&nbsp; &nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;303</p> <p style="margin:0px;">14.1 Property Sets&nbsp;&nbsp; 303</p> <p style="margin:0px;">14.2 Annex Sublanguages&nbsp;&nbsp; 312</p> <p style="margin:0px;">&nbsp;</p> <p style="margin:0px;" msonormal"="">Chapter 15: Creating and Validating Models&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 317</p> <p style="margin:0px;">15.1 Model Creation&nbsp;&nbsp; 317</p> <p style="margin:0px;">15.2 Model Creation Tools&nbsp;&nbsp; 319</p> <p style="margin:0px;">15.3 System Validation and Generation&nbsp;&nbsp; 321</p> <p style="margin:0px;">15.4 System Validation and Generation Tools&nbsp;&nbsp; 322</p> <p style="margin:0px;">&nbsp;</p> <p style="margin:0px;" msonormal"="">Appendixes&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 325</p> <p style="margin:0px;">Appendix A: Syntax and Property Summary&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 327</p> <p style="margin:0px;">A.1 AADL Syntax&nbsp;&nbsp; 327</p> <p style="margin:0px;">A.2 Component Type and Implementation Elements&nbsp;&nbsp; 342</p> <p style="margin:0px;">A.3 Basic Property Types and Type Constructors&nbsp;&nbsp; 347</p> <p style="margin:0px;">A.4 AADL Reserved Words&nbsp;&nbsp; 348</p> <p style="margin:0px;">A.5 AADL Properties&nbsp;&nbsp; 349</p> <p style="margin:0px;">A.6 Runtime Services&nbsp;&nbsp; 418</p> <p style="margin:0px;">A.7 Powerboat Autopilot System&nbsp;&nbsp; 425</p> <p style="margin:0px;">&nbsp;</p> <p style="margin:0px;" msonormal"="">Appendix B: Additional Resources&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 429</p> <p style="margin:0px;">B.1 Modeling System Architectures&nbsp;&nbsp; 429</p> <p style="margin:0px;">B.2 Cases Studies&nbsp;&nbsp; 431</p> <p style="margin:0px;">&nbsp;</p> <p style="margin:0px;" msonormal"="">Appendix C: References&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 435</p> <p style="margin:0px;">&nbsp;</p> <p style="margin:0px;">Index&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; 441</p> <p style="margin:0px;">&nbsp;</p>