Table of Contents:
  • Includes bibliographical references and index
  • Model-based software systems engineering
  • Working with the SAE AADL
  • Modeling and analysis with the AADL : the basics
  • Applying AADL capabilities
  • Defining AADL components
  • Software components
  • Execution platform components
  • Composite and generic components
  • Static and dynamic architecture
  • Component interactions
  • System flows and software deployment
  • Organizing models
  • Annotating models
  • Extending the language
  • Creating and validating models