© 2004 by Carnegie Mellon University The Society of Automotive Engineers (SAE) Architecture Analysis & Design Language (AADL) Standard An International Industry Standard for Embedded & Real-time Systems

© 2004 by Carnegie Mellon University 2 SAE AADL Standard An Enabler of Predictable Model-Based System Engineering Notation for specification of task and communication architectures of Real-time, Embedded, Fault-tolerant, Secure, Safety-critical, Software-intensive systems Fields of application: Avionics, Automotive, Aerospace, Autonomous systems, … Based on 15 Years of DARPA funded technologies Standard approved and published Nov

© 2004 by Carnegie Mellon University 3 SAE AS-2C AADL Subcommittee Bruce Lewis (US Army AMRDEC): Chair Peter Feiler (SEI): technical lead, author & editor Steve Vestal (Honeywell): co-author Ed Colbert (USC): UML Profile of AADL Joyce Tokar (Pyrrhus Software): Ada & C Annex Other Voting Members Boeing, Rockwell, Honeywell, Lockheed Martin, Raytheon, Smith Industries, General Dynamics, Airbus, Axlog, European Space Agency, TNI, Dassault, EADS, High Integrity Solutions Coordination with NATO Aviation, NATO Plug and Play, French Government COTRE, SAE AS-1 Weapons Plug and Play, OMG UML & SysML

© 2004 by Carnegie Mellon University 4 Typical Software Development Process Requirements Analysis DesignImplementationIntegration Manual, Paper Intensive, Error Prone, Resistant to Change High Risk System Integration High Development & Maintenance Cost Little Insight

© 2004 by Carnegie Mellon University 5 Model-Based System Engineering Requirements Analysis System Integration Predictive Analysis Early In & Throughout Life Cycle Architecture-Driven Development Architecture Modeling & Analysis Rapid Integration Predictable Operation Upgradeability Reduced Cost

© 2004 by Carnegie Mellon University 6 Ambulatory Information Fusion Supply Chain Mechanized Sensor & Signal Processing System Integration Runtime System Generation Application Composition System Configuration Devices Memory Bus Processor AADL-Based System Engineering Automatic Target Recognition Guidance & Control System Analysis Schedulability Performance Reliability Fault Tolerance Dynamic Configurability Architecture Modeling Abstract, but Precise HTTPS DB GPS Ada Runtime Execution Platform..... Application Software System Engineer Composable Components Predictive System Engineering Reduced Development & Operational Cost

© 2004 by Carnegie Mellon University 7 A Partitioned Portable Architecture Strong Partitioning Timing Protection OS Call Restrictions Memory Protection Interoperability/Portability Tailored Runtime Executive Standard RTOS API Application Components Real-Time Operating System Application Software Component Embedded Hardware Target AADL Runtime System Application Software Component Application Software Component Application Software Component

© 2004 by Carnegie Mellon University 8 Key AADL Standard Elements Precise semantics for AADL components –Quantitative analysis of operational real-time system properties Core AADL notation standard –Common real-time systems modeling notation across organizations AADL Meta model & XMI/XML standard –Model interchange & tool interoperability UML profile for AADL –Transition path for practitioner community Standard compliant AADL extensions & annexes –Accommodation of new & project-specific analyses

© 2004 by Carnegie Mellon University 9 XMI/XML Based Tool Interoperability Textual AADL Co-resident tool AADL XML Tool Interface Tool-specific representation Graphical AADL Semantic Checking AADL Front-end Declarative AADL Model AADL Instance Model Graphical Layout Model Persistent XML document Tool-specific XML Representation Convert Parser Graphical View Name Resolution

© 2004 by Carnegie Mellon University 10 Two-Tier Tool Strategy Open Source AADL Tool Environment (OSATE) –Developed by SEI –Low entry cost solution (no cost CPL) –Multi-platform support based on Eclipse –Vehicle for in-house prototyping of project specific architecture analysis –Vehicle for architecture research with access to industrial models & industry exposure to research results Commercial Tool Support –UML tool environment extension based on UML profile –Extension to existing modeling environment with AADL export/import –Analysis tools interfacing via XML or XML to native filter

© 2004 by Carnegie Mellon University 11 AADL/UML Relationship UML 2.0 UML-RT Performance Timeliness UML 1.4 Detailed design AADL Core Dependability Security AADL Annexes UML Working Groups AADL UML Profile AADL Annexes UML Working Groups (Embedded) Software System Engineering System Engineering SysML To Be submitted to OMG for Adoption

© 2004 by Carnegie Mellon University 12 AADL In Use

© 2004 by Carnegie Mellon University 13 Benefits Model-based system engineering benefits Benefits of AADL as SAE standard Predictable runtime characteristics addressed early and throughout life cycle greatly reduces integration and maintenance effort AADL as standard provides confidence in language stability, broad adoption, and strong tool support