Model-Based Engineering with AADL

Model-Based Engineering with AADL
Author :
Publisher : Addison-Wesley
Total Pages : 765
Release :
ISBN-10 : 9780133132908
ISBN-13 : 0133132900
Rating : 4/5 (08 Downloads)

Book Synopsis Model-Based Engineering with AADL by : Peter H. Feiler

Download or read book Model-Based Engineering with AADL written by Peter H. Feiler and published by Addison-Wesley. This book was released on 2012-09-25 with total page 765 pages. Available in PDF, EPUB and Kindle. Book excerpt: 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.


Model-Based Engineering with AADL Related Books

Model-Based Engineering with AADL
Language: en
Pages: 765
Authors: Peter H. Feiler
Categories: Computers
Type: BOOK - Published: 2012-09-25 - Publisher: Addison-Wesley

DOWNLOAD EBOOK

Conventional build-then-test practices are making today’s embedded, software-reliant systems unaffordable to build. In response, more than thirty leading indu
Model-Based Engineering with AADL
Language: en
Pages: 0
Authors: Peter Feiler
Categories: Computers
Type: BOOK - Published: 2012-09-25 - Publisher: Addison-Wesley Professional

DOWNLOAD EBOOK

Conventional build-then-test practices are making today's embedded, software-reliant systems unaffordable to build. In response, more than thirty leading indust
Embedded Systems
Language: en
Pages: 310
Authors: Fabrice Kordon
Categories: Technology & Engineering
Type: BOOK - Published: 2013-05-06 - Publisher: John Wiley & Sons

DOWNLOAD EBOOK

Since the construction of the first embedded system in the 1960s, embedded systems have continued to spread. They provide a continually increasing number of ser
Formal Techniques for Distributed Systems
Language: en
Pages: 233
Authors: John Hatcliff
Categories: Computers
Type: BOOK - Published: 2010-06-07 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 12th IFIP WG 6.1 International Conference on Formal Methods for Open Object-Based Distributed Systems, FMO
Architecting Dependable Systems IV
Language: en
Pages: 446
Authors: Rogério de Lemos
Categories: Computers
Type: BOOK - Published: 2007-08-15 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

As software systems become ubiquitous, the issues of dependability become more and more crucial. This state-of-the-art survey contains 18 expanded and peer-revi