We think you have liked this presentation. If you wish to download it, please recommend it to your friends in any social system. Share buttons are a little bit lower. Thank you!
Presentation is loading. Please wait.
Published byOsborne Merritt
Modified about 1 year ago
© 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 www.aadl.info 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 www.aadl.info
© 2004 by Carnegie Mellon University www.aadl.info 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 www.aadl.info 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 www.aadl.info 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 www.aadl.info 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 www.aadl.info 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 www.aadl.info 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 www.aadl.info 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 www.aadl.info 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 www.aadl.info 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 www.aadl.info 12 AADL In Use
© 2004 by Carnegie Mellon University www.aadl.info 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
Sponsored by the U.S. Department of Defense © 2005 by Carnegie Mellon University 1 Pittsburgh, PA Architecture Analysis & Design Language (SAE.
© 2004 by Carnegie Mellon University The Society of Automotive Engineers (SAE) Architecture Analysis & Design Language (AADL) Standard An International.
1 AADL Architectural Analysis and Design Language Jason Mowry UW-Platteville Undergraduate Software Engineering.
SAE Avionics Architecture Description Language Peter H. Feiler Software Engineering Institute Carnegie Mellon University
SAS_08_AADL_Exec_Gluch MAC-T IVV Model-Based Software Assurance with the SAE Architecture Analysis & Design Language (AADL) California Institute.
Model Checking and Model-Based Design Bruce H. Krogh Carnegie Mellon University.
M ODELLING AND A NALYZING BASED ON AADL OSATE VERSUS STOOD Farhana Rahman, Carleton University Yu Sun, University of Ottawa.
Co-design Environment for Secure Embedded Systems Matt Eby, Janos L. Mathe, Jan Werner, Gabor Karsai, Sandeep Neema, Janos Sztipanovits, Yuan Xue Institute.
Real-Time Systems Society of Automotive Engineers
Model-Based Embedded Real- Time Software Development Dionisio de Niz and Raj Rajkumar Real-Time and Multimedia Sys Lab Carnegie Mellon University.
MDI 2010, Oslo, Norway Behavioural Interoperability to Support Model-Driven Systems Integration Alek Radjenovic, Richard Paige The University of York,
Faculty Advisor – Dr. Suraj Kothari Client – Jon Matthews Team Members – Chaz Beck Marcus Rosenow Shaun Brockhoff Jason Lackore White Box Testing Junit.
John D. McGregor Module 3 Session 2 AADL
AADL for ICE Apps and Device Interfaces. AADL MOTIVATION.
Faculty Advisor – Dr. Suraj Kothari Client – Jon Mathews Team Members – Chaz Beck Marcus Rosenow Shaun Brockhoff Jason Lackore.
Software Systems Division (TEC-SW) ASSERT process & toolchain Maxime Perrotin, ESA.
MAC-T IVV SAS_08_AADL_Tech_Gluch Model-Based Software Assurance with the SAE Architecture Analysis & Design Language (AADL) California Institute.
Welcome Experiences in the Use of MDA and UML in Developing NATO Standards 16 July 2008 Chris Raistrick, Kennedy KC.COM.
Checking syntactic constraints on models using ATL model transformations Skander TURKI, Eric SENN, Dominique BLOUIN Workshop mtATL july 2009 Support.
CASE Tools CIS 376 Bruce R. Maxim UM-Dearborn. Prerequisites to Software Tool Use Collection of useful tools that help in every step of building a product.
CPSC 871 John D. McGregor Module 3 Session 2 AADL.
1 Reconfigurable Environment for Analysis and Test of Software Systems Sam Martin REATSS.
Refining middleware functions for verification purpose Jérôme Hugues Laurent Pautet Fabrice Kordon
The Rational Unified Process 1 EECS810: Software Engineering.
1 Tools for Commercial Component Assembly Francis Bordeleau, Zeligsoft/Carleton University Mark Vigder, National Research Council Canada.
Presented by: Thabet Kacem Spring Outline Contributions Introduction Proposed Approach Related Work Reconception of ADLs XTEAM Tool Chain Discussion.
© 2013, published by Flat World Knowledge Chapter 10 Understanding Software: A Primer for Managers 10-1.
Grid programming with components: an advanced COMPonent platform for an effective invisible grid © 2006 GridCOMP Grids Programming with components. An.
UML Unified Markup Language Ziya Karakaya Atılım University, Computer Engineering
Ontologies Reasoning Components Agents Simulations An Overview of Model-Driven Engineering and Architecture Jacques Robin.
1 Dealing with AADL End-to-end Flow Latency in UML MARTE AOSTE INRIA/I3S Sophia Antipolis, France S-Y. Lee, F. Mallet, R. de Simone.
© 2012 xtUML.org Bill Chown – Mentor Graphics Model Driven Engineering.
Automated Analysis and Code Generation for Domain-Specific Models George Edwards Center for Systems and Software Engineering University of Southern California.
Assessing the Suitability of UML for Modeling Software Architectures Nenad Medvidovic Computer Science Department University of Southern California Los.
Architecture Description Languages (ADLs) Cf. Architecture Analysis and Design Languages.
JAUS Architecture Overview. Why did we need JAUS? “Stove-Pipe” Design Subsystems common to all Unmanned Systems (US) were previously built from scratch.
Spectra Software Defined Radio Products Applying Model Driven Design, Generative Programming, and Agile Software Techniques to the SDR Domain OOPSLA '05.
Skills and products portfolio an overview Lorenzo Martinelli – Business Development Contact:
Team 8: SAE AADL Simulation and Modeling Tools. Members Chaz Beck Software Engineering Shaun Brockhoff Software Engineering Jason Lackore Software Engineering.
Introduction to UML 1 Quick Tour Why do we model? What is the UML? Foundation elements Unifying concepts Language architecture Relation to other OMG technologies.
Software Models (Cont.) 9/22/2015ICS 413 – Software Engineering1 -Component-based software engineering -Formal Development Model.
Train Control Language Teaching Computers Interlocking By: J. Endresen, E. Carlson, T. Moen1, K. J. Alme, Haugen, G. K. Olsen & A. Svendsen Synthesizing.
I T & S A e r o s p a c eD e f e n c e THALES Research & Technology THALES recommendations for the final OMG standard on Query / Views / Transformations.
Real-time systems and the UML Morgan Björkander
ANKITHA CHOWDARY GARAPATI
SafeBuild for Critical Software Developments SIGAda’02, Houston, 10 December 2002.
Architecture Analysis and Design Language: An Overview Drew Gardner.
© 2017 SlidePlayer.com Inc. All rights reserved.