Model-Based Engineering with AADL: An Introduction to the SAE Architecture Analysis & Design Language

Master SAE AADL: the new international architecture notation standard for cost-effective model-based analysis and validation of mission- safety-critical software-reliant embedded systems. An indispensable resource for professionals throughout the aircraft, space, automotive, autonomous systems, and medical device industries, this book shows how to use AADL to systematically improve systems development through state-of-the-art architecture modeling, analysis, and validation. The first book on this crucial new standard, it presents all aspects of AADL notation in the context of an architecture-centric, model-based engineering approach to discovering problems earlier in the lifecycle, when they can be solved at lower cost. Co-authored by Peter Feiler, the AADL standard's author and technical lead, Model-Based Engineering with AADL is packed with real-world examples. Ideal for both self-learning and classroom instruction, and excellent reference for implementers,it compares AADL with other modeling notations and approaches, while presenting the language via a complete case study: the development and analysis of a realistic example system through repeated refinement and analysis. More than 30 leading industrial and government organizations have joined SAE to define and/or pilot the AADL standard -- including leaders like Boeing, Lockheed Martin, Rockwell Collins, DOD, FAA, NASA, ESA, JAXA, Airbus, BAE Systems, Honeywell, GE Aviation, and the US Army. This book gives you all the knowledge and insight you need to join them -- and to succeed in your own AADL initiative.