[2016/2017] aadl (architecture analysis and design language)
TRANSCRIPT
![Page 1: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/1.jpg)
Ivano Malavolta
AADL
VRIJEUNIVERSITEITAMSTERDAM
![Page 2: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/2.jpg)
Outline of this lecture
• Part 1: Basics on AADLv2 core
– Syntax, semantics of the language
• Part 2: Example
– The radar illustrative example
![Page 3: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/3.jpg)
Basics on AADL
![Page 4: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/4.jpg)
Basics on AADL
1. Quick overview
2. AADL key modeling constructs1. Software components
2. Execution platform components
3. Properties
4. Modelling large scale systems
3. Tool support
![Page 5: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/5.jpg)
Introduction
AADL: Architecture Analysis and Design Language– Goal : modeling software and hardware architectures
• to master complexity
• to perform analysis
• to generate code
• ….
– Concepts : components, connections, deployments.
![Page 6: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/6.jpg)
AADL for analysis
![Page 7: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/7.jpg)
Different representations of an AADL model
![Page 8: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/8.jpg)
The AADL language in one slide
![Page 9: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/9.jpg)
Outline
1. Quick overview2. AADL key modeling constructs
1. Software components
2. Execution platform components
3. Properties
4. Modelling large scale systems
3. Tool support
![Page 10: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/10.jpg)
Summary of AADL elements
![Page 11: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/11.jpg)
Three levels of description
• Category (predefined)
• Type– specification of the external interface
• Implementation– specification of the content
• Instance– instantiation of a type
or an implementation
– you do not model it, it is created by the tool
![Page 12: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/12.jpg)
Software components categories
• Process : address space. It must hold at least one thread
• Thread : schedulable execution flow, Ada or VxWorks task, Java or POSIX thread. Execute programs
• Data : data placeholder, e.g. C struct, C++ class, Ada record
• Subprogram : a sequential execution flow. Associated to a source code (C, Ada) or a model (SCADE, Simulink)
• Thread group : hierarchy of threads
![Page 13: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/13.jpg)
Software components
Example: process composed of two threads
thread receiverend receiver;
thread implementation receiver.implend receiver.impl;
thread analyserend analyser;
thread implementation analyser.implend analyser.impl;
process processingend processing;
process implementation processing.otherssubcomponents
receive : thread receiver.impl;analyse : thread analyser.impl;. . .
end processing.others;
![Page 14: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/14.jpg)
Software components
a thread may call different subprograms
thread receiverend receiver;
thread implementation receiver.implcalls CS : {
call1 : subprogram Receiver_Spg;call2 : subprogram ComputeCRC_Spg;
};end receiver.impl;
subprogram Receiver_Spgend Receiver_Spg;
subprogram ComputeCRC_Spgend ComputeCRC_Spg;
. . .
![Page 15: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/15.jpg)
![Page 16: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/16.jpg)
![Page 17: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/17.jpg)
![Page 18: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/18.jpg)
![Page 19: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/19.jpg)
![Page 20: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/20.jpg)
![Page 21: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/21.jpg)
![Page 22: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/22.jpg)
Subprogram
A subprogram component represents an execution entry point in source text
No component can contain subprogram subcomponents.
A subprogram call in the implementation of a thread or another subprogram may be “seen as” the inclusion of a subprogram subcomponent
A thread can have call sequences for its states:– initialization, finalization, activation, deactivation, computation, and recovery
Each thread dispatch executes the computation call sequence once
![Page 23: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/23.jpg)
States of a thread
![Page 24: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/24.jpg)
Subprogram local call example
![Page 25: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/25.jpg)
Subprogram remote call example
![Page 26: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/26.jpg)
Data
It represents static data (e.g., numerical data or source text) and data types within a system
– (e.g., used as data types on ports and parameters)
Components may have a shared access to a data component
Good practice: to store data definitions in a separate file
![Page 27: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/27.jpg)
Example of data
![Page 28: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/28.jpg)
Component connection
![Page 29: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/29.jpg)
![Page 30: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/30.jpg)
Component connection
Features of subcomponents are connected in the “connections” subclause of the enclosing component
Example
thread analyserfeatures
analyser_out : out data portTarget_Position.Impl;
end analyser;
thread display_panelfeatures
display_in : in data port Target_Position.Impl;end display_panel;
process implementation processing.otherssubcomponents
display : thread display_panel.impl;analyse : thread analyser.impl;
connectionsport analyse.analyser_out -> display.display_in;
end processing.others;
![Page 31: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/31.jpg)
![Page 32: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/32.jpg)
Ports compatibility
![Page 33: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/33.jpg)
Port groups
![Page 34: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/34.jpg)
Modes
A mode represents an operational state of a system
A mode of a component can influence: – property values
– activation of specific subcomponents
– existence of connections
Example - Modes of a cruise controller:{initialize, disengaged, engaged}
![Page 35: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/35.jpg)
Modes transitions
Mode transitions represent configuration changes as reaction to events
– Triggered through ports (from outside or from a subcomponent)– Triggered internally by implementation software
– Triggered internally in an execution platform component or a device
• Note: Modes are not intended for modeling detailed internal behavior of threads or subprograms (� AADL Behavior Annex)
![Page 36: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/36.jpg)
Mode example
![Page 37: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/37.jpg)
Internal modetransitionexample
![Page 38: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/38.jpg)
Outline
1. Quick overview2. AADL key modeling constructs
1. Software components 2. Execution platform components
3. Properties
4. Modelling large scale systems
3. Tool support
![Page 39: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/39.jpg)
Hardware components categories
• Processor/virtual processor– schedule component (combined CPU and RTOS scheduler). A
processor may contain multiple virtual processors
• memory– model data storage (memory, hard drive)
• device– component that interacts with the environment. Internals (e.g.
firmware) is not modeled.
• bus/virtual bus– data exchange mechanism between components
Device Memory bus Processor
![Page 40: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/40.jpg)
![Page 41: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/41.jpg)
![Page 42: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/42.jpg)
![Page 43: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/43.jpg)
![Page 44: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/44.jpg)
![Page 45: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/45.jpg)
![Page 46: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/46.jpg)
![Page 47: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/47.jpg)
Software/platform binding
Maps application software elements to execution platform elements using binding properties
![Page 48: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/48.jpg)
Software/platform binding
• Actual_Processor_Binding– Specify which processor schedules and executes a thread or
executes a (kernel mode) device driver
• Actual_Memory_Binding– Specify the memory components in which executable code
(process components) and data (data component) reside
• Actual_Connection_Binding– Specify the communication channels that are used by logical
connections (see next section)
![Page 49: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/49.jpg)
Bus access
Access to buses is declared explicitly in AADL
![Page 50: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/50.jpg)
![Page 51: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/51.jpg)
Outline
1. Quick overview2. AADL key modeling constructs
1. Software components
2. Execution platform components3. Properties
4. Modelling large scale systems
3. Tool support
![Page 52: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/52.jpg)
AADL properties
Property: – Typed attribute, associated to one or more components
– Property = name + type + allowed components– Property association = property name + value
Allowed types in properties:– aadlboolean, aadlinteger, aadlreal, aadlstring, enumeration, many others …
Can be propagated to subcomponents: inherit
Can override parent’s one, case of extends
![Page 53: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/53.jpg)
Property types
![Page 54: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/54.jpg)
AADL properties
Properties are associated to a component type (1) or implementation (2), as part of a subcomponent instance (3), or a contained property association (4).
process implementation processing.otherssubcomponentsreceive0 : thread receiver.impl;receive1 : thread receiver.impl;receive2 : thread receiver.impl
{Deadline => 200 ms;}; -- (3)properties -- (4)
Deadline => 300 ms applies to receive1;end processing.others;
thread receiverproperties -- (1)Compute_Execution_Time => 3ms .. 4ms;Deadline => 150 ms ;
end receiver;
thread implementation receiver.implproperties -- (2)
Deadline => 160 ms;Compute_Execution_Time => 4ms .. 10ms;
end receiver.impl;
![Page 55: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/55.jpg)
Property sets
Property sets :– Group property definitions– They can be either
• part of the standard, e.g. Thread_Properties• or user-defined, e.g. for a new analysis
Example :
property set Thread_Properties is. . .Priority : aadlinteger applies to (thread, device, …); Source_Text : inherit list of aadlstring applies to (data, port, thread, …);. . .
end Thread_Properties;
![Page 56: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/56.jpg)
AADL predefined property sets
![Page 57: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/57.jpg)
Measurement units
Properties are typed with units to model physical systems, related to embedded real-time critical systems
property set AADL_Projects isTime_Units: type units (
ps, ns => ps * 1000, us => ns * 1000, ms => us * 1000,sec => ms * 1000, min => sec * 60, hr => min * 60);
-- …end AADL_Projects;
property set Timing_Properties is
Time: type aadlinteger0ps .. Max_Time units Time_Units;
Time_Range: type range of Time;
Compute_Execution_Time: Time_Rangeapplies to (thread, device, subprogram,
event port, event data port);
end Timing_Properties;
![Page 58: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/58.jpg)
Outline
1. Quick overview2. AADL key modeling constructs
1. Software components
2. Execution platform components
3. Properties4. Modelling large scale systems
3. Tool support
![Page 59: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/59.jpg)
AADL packages
A package provides a means to organize the descriptions by the use of namespaces
A package can contain: – component types
– component implementations– port group types
– annex libraries
![Page 60: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/60.jpg)
AADL package example
![Page 61: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/61.jpg)
AADL systems
Help structuring an architecture, with its own hierarchy of subcomponents.
A system can include one or several subsystems
In an AADL specification there is always a root system component
Bindings : model the deployment of components inside the component hierarchy
System
![Page 62: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/62.jpg)
subprogram Receiver_Spg …thread receiver …
thread implementation receiver.impl … call1 : subprobram Receiver_Spg; …end receiver.impl;
process processingend processing;
process implementation processing.otherssubcomponentsreceive : thread receiver.impl;analyse : thread analyser.impl;. . .
end processing.others;
AADL systems
system radarend radar;
system implementation radar.simplesubcomponents
main : process processing.others;cpu : processor leon2;
propertiesActual_Processor_Binding =>
reference cpu applies to main;end radar.simple;
device antenna end antenna;
processor leon2end leon2;
![Page 63: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/63.jpg)
A full AADL system : a tree of component instances
• Component types and implementations only define a library of entities (classifiers)
• An AADL model is a set of component instances (of the classifiers)
• System must be instantiated through a hierarchy of subcomponents, from root (system) to the leafs (subprograms, ..)
• We must choose a system implementation component as the root system model !
Root System
Sub System
Process Processor
Thread Data
Subprogram
![Page 64: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/64.jpg)
About subcomponents
Some restrictions apply on subcomponents– A hardware cannot contain software, etc
data data, subprogram
thread data, subprogram
thread group
data, thread, thread group, subprogram
process thread, thread group, data
processor Memory, virtual processor, bus
memory Memory, bus
system ALL except subprogram, thread, and thread group
64
![Page 65: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/65.jpg)
System instances
Component types and implementations are “only” blueprints
System instances represents the runtime architecture of an operational physical system
Composed of software components + execution platform
XML for storing system instances
![Page 66: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/66.jpg)
System instances 2
System instances are automatically generated by OSATE starting from complete system implementations
![Page 67: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/67.jpg)
Components extension & refinement
Extension: to define a new extended classifier based on an existing classifier
Allows incremental refinement of a model
• Component extension – Component types
– Component implementations
WHY extensions?– Add elements to a classifier
• features, subcomponents, connections, flows, etc.
– Refine existing elements in a component
– Add or override properties
![Page 68: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/68.jpg)
Extension example
![Page 69: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/69.jpg)
Subcomponents array
![Page 70: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/70.jpg)
Feature arrays
![Page 71: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/71.jpg)
Connecting arrays
![Page 72: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/72.jpg)
Connection patterns
![Page 73: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/73.jpg)
Outline
1. AADL a quick overview2. AADL key modeling constructs
1. AADL components
2. Properties
3. Component connection
3. AADL: tool support
![Page 74: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/74.jpg)
AADL & Tools
• OSATE (SEI/CMU, http://aadl.info)
– Eclipse-based tools. Reference implementation. AADLv1 and v2
– Textual editors + various plug-ins
• STOOD, ADELE (Ellidiss, http://www.ellidiss.com )– Graphical editors for AADLv1 and v2, code/documentation generation
• Cheddar (UBO/Lab-STICC, http://beru.univ-brest.fr/~singhoff/cheddar/ )– Performance analysis, AADLv1 only
• AADLInspector (Ellidiss, http://www.ellidiss.com)– Lightweight tool to inspect AADL models. AADLv1 and v2– Industrial version of Cheddar + Simulation Engine
• Ocarina (ISAE, http://www.openaadl.org)– Command line tool, library to manipulate models. AADLV1 and V2– AADL parser + code generation + analysis (Petri Net, WCET, …)
• Others: RAMSES, PolyChrony, ASSIST, MASIW, MDCF, TASTE, …
![Page 75: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/75.jpg)
Example
![Page 76: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/76.jpg)
Example
Goal: to model a simple radar system
Let us suppose we have the following requirements:
1. System implementation is composed of physical devices (Hardware entity): antenna + processor + memory + bus
2. and software entities : running processes and threads + operating system functionalities (scheduling) implemented in the processor that represent a part of execution platform and physical devices in the same time
3. The main process is responsible for signals processing : general pattern: transmitter -> antenna -> receiver -> analyzer -> display
4. Analyzer is a periodic thread that compares transmitted and received signals to perform detection, localization and identification
![Page 77: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/77.jpg)
Radar case study
Hardware/Software breakdown: components
PACKAGE radarPUBLIC
PROCESS processing-- …END processing;DEVICE antenna-- …END antenna;
END RADAR;
![Page 78: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/78.jpg)
Radar case study
Hardware/Software breakdown: features
in/out ports
bus access
PROCESS processingFEATURESto_screen : OUT EVENT PORT;send_pulse : OUT EVENT PORT;receive_pulse : IN DATA PORT;get_angle : IN DATA PORT;
END processing;
DEVICE antennaFEATURESantenna_in : IN EVENT PORT;VME : REQUIRES BUS ACCESS VME;
END antenna;
![Page 79: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/79.jpg)
Radar case study
Hardware/Software breakdown: connections
Logical cnx
Hardware cnx
![Page 80: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/80.jpg)
Radar case study
Hardware/Software breakdown: connections
SYSTEM IMPLEMENTATION radar.simpleSUBCOMPONENTSaerial : DEVICE antenna;rotor : DEVICE motor;monitor : DEVICE screen;main : PROCESS processing.others;cpu : PROCESSOR leon2;VME : BUS VME;RAM : MEMORY RAM;
CONNECTIONSPORT aerial.antenna_out -> main.receive_pulse;PORT rotor.motor_out -> main.get_angle;PORT main.send_pulse -> aerial.antenna_in;PORT main.to_screen -> monitor.screen_in;BUS ACCESS VME -> aerial.VME;BUS ACCESS VME -> rotor.VME;BUS ACCESS VME -> monitor.VME;BUS ACCESS VME -> cpu.VME;BUS ACCESS VME -> RAM.VME;
![Page 81: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/81.jpg)
Radar case study
• Hardware/Software breakdown: bindings
Bindings
PROPERTIESActual_Memory_Binding => reference (ram) applies to main;Actual_Processor_Binding => reference (cpu) applies to main;
END radar.simple;
![Page 82: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/82.jpg)
Radar case study
• Software elements
![Page 83: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/83.jpg)
Radar case study
• Software elements
PROCESS IMPLEMENTATION processing.othersSUBCOMPONENTSreceive : THREAD receiver.impl;analyse : THREAD analyser.impl; display : THREAD display_panel.impl; transmit : THREAD transmitter.impl; control_angle : THREAD controller.impl;
CONNECTIONS A10:PORT receive_pulse -> receive.receiver_in; A11:PORT display.display_out -> to_screen; A12:PORT transmit.transmitter_out -> send_pulse; A13:PORT get_angle -> control_angle.controller_in; A14:PORT receive.receiver_out -> analyse.from_receiver; A15:PORT analyse.analyser_out -> display.display_in; A16:PORT transmit.transmitter_out -> analyse.from_transmitter; A17:PORT control_angle.controller_out -> analyse.from_controller;
END processing.others;
![Page 84: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/84.jpg)
Radar case study
• Software elements
PROCESS IMPLEMENTATION processing.othersSUBCOMPONENTSreceive : THREAD receiver.impl;analyse : THREAD analyser.impl; display : THREAD display_panel.impl; transmit : THREAD transmitter.impl; control_angle : THREAD controller.impl;
CONNECTIONS A10:PORT receive_pulse -> receive.receiver_in; A11:PORT display.display_out -> to_screen; A12:PORT transmit.transmitter_out -> send_pulse; A13:PORT get_angle -> control_angle.controller_in; A14:PORT receive.receiver_out -> analyse.from_receiver; A15:PORT analyse.analyser_out -> display.display_in; A16:PORT transmit.transmitter_out -> analyse.from_transmitter; A17:PORT control_angle.controller_out -> analyse.from_controller;
END processing.others;
THREAD IMPLEMENTATION receiver.implCALLS CS : { RS : SUBPROGRAM Receiver_Spg;
};CONNECTIONS A18:PARAMETER RS.receiver_out -> receiver_out; A19:PARAMETER receiver_in -> RS.receiver_in;
PROPERTIES Priority => 63; Dispatch_Protocol => Periodic; Compute_Execution_Time => 10 ms .. 20 ms; Deadline => 150 ms; Period => 1500 ms;
END receiver.impl;
![Page 85: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/85.jpg)
What this lecture means to you?
AADL = Architecture Analysis & Design Language
AADL is for architectural description, period
à Not to be compared with UML suites– Behavior, types, link with source code is not required
Keep in mind models support an objective– In this lecture, it is just a high-level view of the design
What is not covered by this lecture: flows, annexes, multidimensional arrays, virtual
processors/buses, analyses with external tools
![Page 86: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/86.jpg)
Suggested readings
1. The SAE Architecture Analysis & Design Language (AADL) Standard.Peter H. Feiler, January 2008. [Introduction to the language]
2. The Architecture Analysis & Design Language (AADL): AnIntroduction, Peter H. Feiler David P. Gluch John J. Hudak, February2006. [Use this as reference manual]
3. OSATE plugin: SEI validation plugins. SEI. [AADL analysis in general]
4. Developing AADL Models for Control Systems: A Practitioner’sGuide. John Hudak Peter Feiler. July 2007. [Flow latency analysis]
5. http://www.informit.com/articles/article.aspx?p=1959953[Simple running example]
![Page 87: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/87.jpg)
Links
Tool:
• http://www.aadl.info/aadl/osate/stable/2.0.8/products/
Example projects (other than the ones on Schoology):1. https://github.com/yoogx/AADLib
2. https://github.com/osate/examples3. http://www.santoslab.org/pub/high-assurance/module-
aadl/slides/AADL-Isolette.pdf
![Page 88: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/88.jpg)
Acknowledgements
Parts of this lecture have been elaborated from:
• AADLv2, a Domain Specific Language for the Modeling, the Analysis and the Generation of Real-Time Embedded Systems. Frank Singhoff and Jérome Hugues, MODELS 2014 tutorial.
• SAE AADL V2: An Overview. Peter Feiler. © 2010 Carnegie Mellon University.
• Overview of AADL Syntax. J-P. Rosen, J-F. Tilman. AADL Workshop 2005.
![Page 89: [2016/2017] AADL (Architecture Analysis and Design Language)](https://reader031.vdocuments.net/reader031/viewer/2022022201/5885d21f1a28ab42028b6bc5/html5/thumbnails/89.jpg)
ContactIvano Malavolta |
Assistant professorVrije Universiteit Amsterdam
iivanoo
www.ivanomalavolta.com