search for books and compare prices
cover image
AADL In Practice: Become an expert of software architecture modeling and analysis
The price is the lowest for any condition, which may be new or used; other conditions may also be available. Rental copies must be returned at the end of the designated period, and may involve a deposit.
Bibliographic Detail
Publisher Reblochon Development Company
Publication date June 5, 2017
Pages 252
Binding Paperback
ISBN-13 9780692899649
ISBN-10 0692899642
Dimensions 0.57 by 6 by 9 in.
Original list price $12.99
Summaries and Reviews description: Product Description: Producing real-time, safety-critical, embedded systems is hard. Traditional methods are not appropriate and no longer scale: We regularly see safety or security issues on critical systems (such as avionics, medical, aerospace, or automotive systems). Over the last years, new technologies and development methods have been proposed. Among them, the Model-Based Engineering approach focuses on the use of models to drive the development process from design to implementation. The Architecture Analysis and Design Language (AADL) is a standardized modeling language with a clear syntax and semantics that support the design, analysis, and implementation of safety-critical systems. It has been successfully used for more than 10 years worldwide. The book AADL In Practice presents the AADL language and its modeling and analysis capability, and is targeted at software engineers who want to learn the language and apply or extend it to their own projects. The book is decomposed into four parts: 1. Introduction to Model-Based Engineering 2. Introduction of the core AADL concepts: covers language syntax, semantics, model definition, etc. 3. AADL analysis capabilities: covers how to model performance and safety characteristics into a software architecture model and perform latency and safety analysis with OSATE 4. Extending the language and OSATE plug-in development: covers how to extend the language capabilities using properties and annexes and how to create your own OSATE analysis plug-in The book is meant to be easy for engineers of all levels to use. Through the book, we use a case study (involving a self-driving car) to explain each aspect of the language. A real-life example is easy to understand and can be adapted and reused by readers. The case-study source code is also available publicly so that readers can download it and experience it on their own.

Pricing is shown for items sent to or within the U.S., excluding shipping and tax. Please consult the store to determine exact fees. No warranties are made express or implied about the accuracy, timeliness, merit, or value of the information provided. Information subject to change without notice. is not a bookseller, just an information source.