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

Conventional build-then-test practices are making today’s embedded, software-reliant systems unaffordable to build. In response, more than thirty leading industrial organizations have joined SAE (formerly, the Society of Automotive Engineers) to define the SAE Architecture Analysis & Design Language (AADL) AS-5506 Standard, a rigorous and extensible foundation for model-based engineering analysis practices that encompass software system design, integration, and assurance. Using AADL, you can conduct lightweight and rigorous analyses of critical real-time factors such as performance, dependability, security, and data integrity. You can integrate additional established and custom analysis/specification techniques into your engineering environment, developing a fully unified architecture model that makes it easier to build reliable systems that meet customer expectations.

Model-Based Engineering with AADL is the first guide to using this new international standard to optimize your development processes. Coauthored by Peter H. Feiler, the standard’s author and technical lead, this introductory reference and tutorial is ideal for self-directed learning or classroom instruction, and is an excellent reference for practitioners, including architects, developers, integrators, validators, certifiers, first-level technical leaders, and project managers. Packed with real-world examples, it introduces all aspects of the AADL notation as part of an architecture-centric, model-based engineering approach to discovering embedded software systems problems earlier, when they cost less to solve. Throughout, the authors compare AADL to 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.

Part One introduces both the AADL language and core Model-Based Engineering (MBE) practices, explaining basic software systems modeling and analysis in the context of an example system, and offering practical guidelines for effectively applying AADL.

Part Two describes the characteristics of each AADL element, including their representations, applicability, and constraints.

The Appendix includes comprehensive listings of AADL language elements, properties incorporated in the AADL standard, and a description of the book’s example system.

傳統的建構-測試方式使得當今的嵌入式、依賴軟體的系統變得難以負擔。為了應對這個問題，超過三十家領先的工業組織加入了SAE（前身為汽車工程師學會）來定義SAE架構分析與設計語言（AADL）AS-5506標準，這是一個嚴謹且可擴展的基礎，用於基於模型的工程分析實踐，包括軟體系統設計、整合和保證。使用AADL，您可以對關鍵的實時因素進行輕量級和嚴謹的分析，例如性能、可靠性、安全性和數據完整性。您可以將其他已建立的和自定義的分析/規範技術整合到您的工程環境中，開發一個完全統一的架構模型，使得更容易構建符合客戶期望的可靠系統。

《基於模型的工程與AADL》是第一本使用這個新國際標準來優化您的開發流程的指南。該書由標準的作者和技術負責人Peter H. Feiler共同撰寫，是自學或課堂教學的理想參考和教材，也是實踐者的優秀參考資料，包括架構師、開發人員、整合人員、驗證人員、認證人員、一線技術領導和項目經理。書中充滿了實際案例，介紹了AADL符號的各個方面，作為一種以架構為中心、基於模型的工程方法，旨在更早地發現嵌入式軟體系統問題，以降低解決成本。在整個過程中，作者將AADL與其他建模符號和方法進行比較，同時通過一個完整的案例研究來介紹該語言：通過反復的細化和分析來開發和分析一個現實的示例系統。

第一部分介紹了AADL語言和核心基於模型的工程（MBE）實踐，解釋了在示例系統的背景下進行基本軟體系統建模和分析的方法，並提供了有效應用AADL的實用指南。

第二部分描述了每個AADL元素的特性，包括它們的表示、適用性和限制。

附錄包括AADL語言元素的全面列表，AADL標準中包含的屬性，以及本書示例系統的描述。