Welcome!

Microsoft Cloud Authors: Pat Romanski, Liz McMillan, Lori MacVittie, Elizabeth White, Yeshim Deniz

Related Topics: Microsoft Cloud, Java IoT, Microservices Expo

Microsoft Cloud: Book Review

Book Review: Model-Based Engineering with AADL

An Introduction to the SAE Architecture Analysis & Design Language

I have attempted to learn AADL and how to use OSATE several times over the years. I would read a good article on it and think to myself I can figure it out this time.

A day or two into the adventure I would get frustrated with the toolset and getting it configured correctly, and the scattered and confusing details of AADL would put the nail in the coffin of my past attempts.

I was hoping this book would not have me repeating history. I am glad to report it didn't. Finally a resource that puts AADL information into a learnable format.

The book starts off with a nice introduction to model-based software systems engineering and does a good job of putting a AADL into context by comparing it to SysML, VHDL, and UML.

The book is broken down into two main parts and then has some appendixes. I have listed the parts along with the chapters they contain below.

Part I. Model-Based Engineering and the AADL
Chapter 1. Model-Based Software Systems Engineering
Chapter 2. Working with the SAE AADL
Chapter 3. Modeling and Analysis with the AADL: The Basics
Chapter 4. Applying AADL Capabilities

Part II. Elements of the AADL
Chapter 5. Defining AADL Components
Chapter 6. Software Components
Chapter 7. Execution Platform Components
Chapter 8. Composite and Generic Components
Chapter 9. Static and Dynamic Architecture
Chapter 10. Component Interactions
Chapter 11. System Flows and Software Deployment
Chapter 12. Organizing Models
Chapter 13. Annotating Models
Chapter 14. Extending the Language
Chapter 15. Creating and Validating Models

Appendixes
Appendix A. Syntax and Property Summary
Appendix B. Additional Resources
Appendix C. References

The book is broken down into a nice logical flow that starts with simple models and as it continues the authors grow the models complexity.

In Part I the authors use a sample system that builds a powerboat autopilot architecture. By the end of Part I you have a detailed understanding of the AADL capabilities.

In Part II the authors take you on a detailed tour of all the critical elements in AADL. After a describing the different categories the AADL components fall into the authors spend several chapters going into great detail on how to use them.

The book includes a big appendix that summarizes AADL syntax and grammar rules, lists the component type and implementation elements, lists the basic property types and type constructors, lists the AADL reserved words, and the AADL properties.

The authors have a really good writing style which makes the content not only easier read but also easy to understand.

There were only two things that would have made life easier while learning AADL using the book. The authors should make the samples used throughout the book available online for download. There is a lot of typing to do to get the examples working.

The second thing is better coverage of configuring the Open Source AADL Tool Environment (OSATE) used to create the models in the book. The best thing to do is to download TOPCASED (do yourself a favor and download and run the RCP downloads), then install OSATE2, Xtext, and ADELE using the Eclipse Install New Software feature on the Help menu, and uninstall OSATE1 which comes with TOPCASED using the Installation Details button on the About Eclipse dialog.

These two dings don't take anything away from the book, and they probably made me use the tool more and therefore learn more about the tool than had they spoon fed me.

This book is literally the only book on the market available for learning AADL. Luckily it's a great resource and by reading it cover to cover, working through the exercises, and building the models you will definitely learn the AADL language.

I highly recommend the book to anyone who wants to learn AADL!!!

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

More Stories By Tad Anderson

Tad Anderson has been doing Software Architecture for 18 years and Enterprise Architecture for the past few.

IoT & Smart Cities Stories
The deluge of IoT sensor data collected from connected devices and the powerful AI required to make that data actionable are giving rise to a hybrid ecosystem in which cloud, on-prem and edge processes become interweaved. Attendees will learn how emerging composable infrastructure solutions deliver the adaptive architecture needed to manage this new data reality. Machine learning algorithms can better anticipate data storms and automate resources to support surges, including fully scalable GPU-c...
Machine learning has taken residence at our cities' cores and now we can finally have "smart cities." Cities are a collection of buildings made to provide the structure and safety necessary for people to function, create and survive. Buildings are a pool of ever-changing performance data from large automated systems such as heating and cooling to the people that live and work within them. Through machine learning, buildings can optimize performance, reduce costs, and improve occupant comfort by ...
The explosion of new web/cloud/IoT-based applications and the data they generate are transforming our world right before our eyes. In this rush to adopt these new technologies, organizations are often ignoring fundamental questions concerning who owns the data and failing to ask for permission to conduct invasive surveillance of their customers. Organizations that are not transparent about how their systems gather data telemetry without offering shared data ownership risk product rejection, regu...
René Bostic is the Technical VP of the IBM Cloud Unit in North America. Enjoying her career with IBM during the modern millennial technological era, she is an expert in cloud computing, DevOps and emerging cloud technologies such as Blockchain. Her strengths and core competencies include a proven record of accomplishments in consensus building at all levels to assess, plan, and implement enterprise and cloud computing solutions. René is a member of the Society of Women Engineers (SWE) and a m...
Poor data quality and analytics drive down business value. In fact, Gartner estimated that the average financial impact of poor data quality on organizations is $9.7 million per year. But bad data is much more than a cost center. By eroding trust in information, analytics and the business decisions based on these, it is a serious impediment to digital transformation.
Digital Transformation: Preparing Cloud & IoT Security for the Age of Artificial Intelligence. As automation and artificial intelligence (AI) power solution development and delivery, many businesses need to build backend cloud capabilities. Well-poised organizations, marketing smart devices with AI and BlockChain capabilities prepare to refine compliance and regulatory capabilities in 2018. Volumes of health, financial, technical and privacy data, along with tightening compliance requirements by...
Predicting the future has never been more challenging - not because of the lack of data but because of the flood of ungoverned and risk laden information. Microsoft states that 2.5 exabytes of data are created every day. Expectations and reliance on data are being pushed to the limits, as demands around hybrid options continue to grow.
Digital Transformation and Disruption, Amazon Style - What You Can Learn. Chris Kocher is a co-founder of Grey Heron, a management and strategic marketing consulting firm. He has 25+ years in both strategic and hands-on operating experience helping executives and investors build revenues and shareholder value. He has consulted with over 130 companies on innovating with new business models, product strategies and monetization. Chris has held management positions at HP and Symantec in addition to ...
Enterprises have taken advantage of IoT to achieve important revenue and cost advantages. What is less apparent is how incumbent enterprises operating at scale have, following success with IoT, built analytic, operations management and software development capabilities - ranging from autonomous vehicles to manageable robotics installations. They have embraced these capabilities as if they were Silicon Valley startups.
As IoT continues to increase momentum, so does the associated risk. Secure Device Lifecycle Management (DLM) is ranked as one of the most important technology areas of IoT. Driving this trend is the realization that secure support for IoT devices provides companies the ability to deliver high-quality, reliable, secure offerings faster, create new revenue streams, and reduce support costs, all while building a competitive advantage in their markets. In this session, we will use customer use cases...