Signed Edition Sweepstakes
 
 

Recently Viewed clear list


Interviews | September 2, 2014

Jill Owens: IMG David Mitchell: The Powells.com Interview



David MitchellDavid Mitchell's newest mind-bending, time-skipping novel may be his most accomplished work yet. Written in six sections, one per decade, The Bone... Continue »
  1. $21.00 Sale Hardcover add to wish list

    The Bone Clocks

    David Mitchell 9781400065677

spacer
Qualifying orders ship free.
$56.95
New Hardcover
Ships in 1 to 3 days
Add to Wishlist
available for shipping or prepaid pickup only
Available for In-store Pickup
in 7 to 12 days
Qty Store Section
1 Remote Warehouse Software Engineering- General

Model-Based Engineering with Aadl: An Introduction to the Sae Architecture Analysis &Design Language (SEI Series in Software Engineering)

by

Model-Based Engineering with Aadl: An Introduction to the Sae Architecture Analysis &Design Language (SEI Series in Software Engineering) Cover

 

Synopses & Reviews

Publisher Comments:

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 Automobile Engineers) to define the SAE AS-2C Architecture Analysis & Design Language (AADL), a rigorous and extensible foundation for model-based engineering analysis practices that encompass 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 AADL notation as part of an architecture-centric, model-based engineering approach to discover 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.

 

This indispensable guide is comprised of the following:

 

Part Oneintroduces 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.

 

Synopsis:

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.

 

Synopsis:

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.

About the Author

Dr. Peter Feiler is a senior member of technical staff in the Research Technology and Systems Solutions (RTSS) program at the Software Engineering Institute (SEI). He is a 27-year veteran of the SEI. His interests include architecture-centric engineering of safety-critical embedded real-time systems. He is collaborating with researchers at Carnegie Mellon University and other research institutions to develop model-based architecture technology and is investigating its practicality with commercial industry. He is the author and editor of the SAE International (formerly known as Society of Automotive Engineers) Architecture Analysis & Design Language (AADL) standard. Peter has a Ph.D. in computer science from Carnegie Mellon University and is a senior member and member of ACM, IEEE, and SAE International. He recently received the Carnegie Science Award for Information Technology.

 

Dr. David P. Gluch is a professor in the department of electrical, computer, software, and systems engineering at Embry-Riddle Aeronautical University and a visiting scientist at the Software Engineering Institute (SEI). His research interests are technologies and practices for model-based software engineering of complex systems, with a focus on software verification. Prior to joining the faculty at Embry-Riddle, he was a senior member of the technical staff at the SEI where he participated in the development and transition of innovative software engineering practices and technologies. His industrial research and development experience has included fault-tolerant computer, fly-by-wire aircraft control, Space Shuttle software modeling, and automated process control systems. He has co-authored a book on real-time UNIX systems and authored numerous technical reports and professional articles. Dave has a Ph.D. in physics from Florida State University and is a senior member of IEEE.

Table of Contents

Preface

About the Authors

Acknowledgments

Introduction

 

Part I:            Model-Based Engineering and the AADL

Chapter 1:            Model-Based Software Systems Engineering

1.1            MBE and Software System Engineering

1.2            AADL and other Modeling Languages

 

Chapter 2:            Working with the SAE AADL

2.1            AADL Models

2.2            System Specification and System Instances

 

Chapter 3:            Modeling and Analysis with the AADL: The Basics

3.1            Developing a Simple Model

3.2            Representing Code Artifacts

3.3            Modeling Dynamic Reconfigurations

3.4            Modeling and Analyzing Abstract Flows

3.5            Developing a Conceptual Model

3.6            Working with Component Patterns

 

Chapter 4:            Applying AADL Capabilities

4.1            Specifying System Composition

4.2            Component Interactions

4.3            Modeling Data and Its Use

4.4            Organizing a Design

 

Part II: Elements of the AADL

Chapter 5:            Defining AADL Components

5.1            Component Names

5.2            Component Categories

5.3            Declaring Component Types

5.4            Declaring a Component’s External Interfaces

5.5            Declaring Component Implementations

5.6            Summary

 

Chapter 6:            Software Components

6.1            Thread

6.2            Thread Group

6.3            Process

6.4            Data

6.5            Subprogram

6.6            Subprogram Group

 

Chapter 7:            Execution Platform Components

7.1            Processor

7.2            Virtual Processor

7.3            Memory

7.4            Bus

7.5            Virtual Bus

7.6            Device

 

Chapter 8:            Composite and Generic Components

8.1            System

8.2            Abstract

 

Chapter 9:            Static and Dynamic Architecture

9.1            Subcomponents

9.2            Modes

 

Chapter 10:            Component Interactions

10.1            Ports and Connections

10.2            Data Access and Connections

10.3            Bus Access and Connections

10.4            Feature Groups and Connections

10.5            Abstract Features and Connections

10.6            Arrays and Connections

10.7            Subprogram Calls, Access, and Instances

10.8            Parameter Connections

 

Chapter 11:            System Flows and Software Deployment

11.1            Flows

11.2            Binding Software to Hardware

 

Chapter 12:            Organizing Models

12.1            Naming and Referencing Model Elements

12.2            Organizing Models with Packages

12.3            Evolving Models by Classifier Refinement

12.4            Prototypes as Classifier Parameters

 

Chapter 13:            Annotating Models

13.1            Documenting Model Elements

13.2            Using Properties

 

Chapter 14:            Extending the Language

14.1            Property Sets

14.2            Annex Sublanguages

 

Chapter 15:            Creating and Validating Models

15.1            Model Creation

15.2            Model Creation Tools

15.3            System Validation and Generation

15.4            System Validation and Generation Tools

 

 Appendix

A.1            AADL Syntax

A.2            Component Type and Implementation Elements

A.3            Basic Property Types and Type Constructors

A.4            AADL Reserved Words

A.5            AADL Properties

A.6            Runtime Services

A.7            Powerboat Autopilot System

 

Additional Resources

Modeling System Architectures

Cases Studies

 

References

 Index

 

Product Details

ISBN:
9780321888945
Author:
Feiler, Peter H.
Publisher:
Addison-Wesley Professional
Author:
Gluch, David P.
Subject:
Software Engineering-General
Subject:
Programming - Software Development
Series:
SEI Series in Software Engineering
Publication Date:
20120931
Binding:
HARDCOVER
Language:
English
Pages:
496
Dimensions:
9.4 x 7.3 x 1.171 in 905 gr

Related Subjects

Children's » General
Computers and Internet » Operating Systems » Microsoft Windows » Windows 95 » Applications
Computers and Internet » Software Engineering » General
Computers and Internet » Software Engineering » Programming and Languages
Engineering » Engineering » CAD
Engineering » Engineering » General Engineering

Model-Based Engineering with Aadl: An Introduction to the Sae Architecture Analysis &Design Language (SEI Series in Software Engineering) New Hardcover
0 stars - 0 reviews
$56.95 In Stock
Product details 496 pages Addison-Wesley Professional - English 9780321888945 Reviews:
"Synopsis" by ,

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.

 

"Synopsis" by ,

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.

spacer
spacer
  • back to top
Follow us on...




Powell's City of Books is an independent bookstore in Portland, Oregon, that fills a whole city block with more than a million new, used, and out of print books. Shop those shelves — plus literally millions more books, DVDs, and gifts — here at Powells.com.