Transcript SAE AADL

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-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
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
Execution
Platform
Predictive
System
Engineering
Reduced
Development &
Operational Cost
Supply
Chain
Composable
Mechanized
Components
Sensor
Ambulatory & Signal
Processing
© 2004 by Carnegie Mellon University
..........
Information
Fusion
www.aadl.info
6
A Partitioned Portable Architecture
Application
Software
Component
Application
Software
Component
Application
Software
Component
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
SysML
(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