1bc7dedc241bca798fe73216bcc62b44.ppt
- Количество слайдов: 13
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
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 • www. aadl. info © 2004 by Carnegie Mellon University www. aadl. info 2
SAE AS-2 C 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 & Sys. ML © 2004 by Carnegie Mellon University www. aadl. info 3
Typical Software Development Process Manual, Paper Intensive, Error Prone, Resistant to Change Little Insight Requirements Analysis Design Implementation High Development & Maintenance Cost © 2004 by Carnegie Mellon University Integration High Risk System Integration www. aadl. info 4
Model-Based System Engineering Predictive Analysis Early In & Throughout Life Cycle Architecture Modeling & Analysis System Integration Requirements Analysis Rapid Integration Predictable Operation Upgradeability Reduced Cost Architecture-Driven Development © 2004 by Carnegie Mellon University www. aadl. info 5
AADL-Based System Engineering System Integration System Analysis • Schedulability • Performance • Reliability • Fault Tolerance • Dynamic Configurability • Runtime System Generation • Application Composition • System Configuration Software System Engineer Architecture Modeling Abstract, but Precise Automatic Target Recognition Guidance & Control Application Software Supply Chain Composable Mechanized Components Sensor Ambulatory & Signal Processing © 2004 by Carnegie Mellon University Execution Platform GPS Information Fusion Predictive System Engineering Reduced Development & Operational Cost DB HTTPS Ada Runtime . . Devices www. aadl. info Memory Bus Processor 6
A Partitioned Portable Architecture Application Software Component AADL Runtime System Real-Time Operating System Embedded Hardware Target Strong Partitioning • Timing Protection • OS Call Restrictions • Memory Protection © 2004 by Carnegie Mellon University Interoperability/Portability • Tailored Runtime Executive • Standard RTOS API • Application Components www. aadl. info 7
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 www. aadl. info 8
XMI/XML Based Tool Interoperability AADL Front-end Textual AADL Name Resolution Semantic Checking Graphical View Parser Declarative AADL Model Co-resident tool AADL XML Tool Interface AADL Instance Model Persistent XML document Convert Tool-specific XML Representation © 2004 by Carnegie Mellon University Graphical AADL www. aadl. info Graphical Layout Model Convert Tool-specific representation 9
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 www. aadl. info 10
AADL/UML Relationship System Engineering Sys. ML (Embedded) Software System Engineering AADL Core AADL UML Profile Security To Be submitted to OMG for Adoption UML 2. 0 UML 1. 4 Detailed design UML-RT Performance Timeliness Dependability AADL Annexes UML Working Groups © 2004 by Carnegie Mellon University www. aadl. info 11
AADL In Use © 2004 by Carnegie Mellon University www. aadl. info 12
Benefits • Model-based system engineering benefits Predictable runtime characteristics addressed early and throughout life cycle greatly reduces integration and maintenance effort • Benefits of AADL as SAE standard AADL as standard provides confidence in language stability, broad adoption, and strong tool support © 2004 by Carnegie Mellon University www. aadl. info 13


