Recruit researchers Join for free Login

Article PDF Available

Using AADL in Model Driven Development

January 2007

Authors:

Wouter Joosen Yolande Berbers

Didier Delanote Stefan Van Baelen
KU Leuven KU Leuven

Download full-text PDF Download citation Copy link

Citations (10) References (11) Figures (5)

Abstract and Figures

Software-intensive systems require the verification of functional and non-functional Discover the world's
properties before the implementation and integration phases of the development process. research
In recent trends, the Architecture Analysis and Design Language (AADL) has proven a
25+ million
good candidate as a modeling language for software- intensive systems. At the same time,
members
Model Driven Development (MDD) is gaining popularity as a development process. In this
paper, we explore the use of AADL in a model driven development process from a usability 160+
point of view. Three issues regarding the usability of AADL as a modeling language for million
software- intensive systems are identified, namely system versus software level, complex publication
component composition and property ambiguity. For resolving these issues, an approach is pages
presented through integration of AADL models in a model driven development process with 2.3+ billion
specifically designed model transformations. This approach enhances the usability of Join for free
citations
AADL for software developers. *

: Autopilot system Autopilot system : AADL PIM of the AADL PSM of the AADL Analysis
in AADL graphical in AADL textual Autopilot system Autopilot system model of the

Figures - uploaded by Yolande Berbers Author content

Content may be subject to copyright.

Public Full-text 1

Content uploaded by Yolande Berbers Author content

Content may be subject to copyright.
:
 Using AADL in Model Driv
Driven
en Development

Didier Delanote, Stefan Van Baelen, Wouter Joosen and Yolande Berbers
Katholieke Universiteit Leuven, Department of C
Computer
omputer Science
Celestijnenlaan 200A, B-3001 LLeuven,
euven, Belgium
{didier.delanote,stefan.vanbaelen,wout
{didier.delanote,stefan.vanbaelen,wouter.joosen,yolande.berbers}@cs.kuleuven.be
er.joosen,yolande.berbers}@cs.kuleuven.be

Abstract First in the set of techniques that can enable this kind
of ver
verification,
ification, is an adeq adequate
uate modeling language. T o
Software-in
Software-intensive
tensive systems require the verifica verification tion o f describe the a rchitecture o f the system, a modeling
function
functionalal and no non-func
n-func
n-functional
tional prop properties
erties before the language should allow describing bo both th functional and non-
implementa
implementation tion and integ integration
ration phases of the functional p roperties of the arc
architecture.
hitecture. T o describe
develop
development
ment process. In rrecent ecent trends, the Architecture functional pro properties
perties of a system system,, various modeling
Analysis and Design DidierLangLanguageUsing
uage
Delanote, (AADL)AADL prove
StefanhasVan
inBaelen,
provenModel Driv
n a Wouter en
languages Development
Joosen can be chosen. UM
and YolandeUML L [1] is a widespread
Berbers
good candidate as a mo modeling
deling langua
language ge fo forr software- modeling language standard standardizedized b y the OMG, which
intensive systems. At the sam
Katholieke Universiteit
samee time, Mod Model
Leuven, Department
el Driven
of Computer
provides concepts to modelScience
the arc
architecture,
hitecture, b ehavior a nd
Developm
Development ent (MDD) is gaining pop Celestijnenlaan
popularity
ularity as a 200A, B-3001 L euven,
deployment of Belgium
software system
systems s in objobject-oriented
ect-oriented o r
develop ment{didier.delanote,stefan.vanbaelen,wout
development process. In this p aper, we exp explore
lore th thee u se of er.joosen,yolande.berbers}@cs.kuleuven.be
component-based par paradigms.
adigms. Moreover, the language can
AADL in a model driven ddevelopme evelopme
evelopment nt pprocess
rocess from a be First
extended
in thethro
through
set ugh profiles, acc
of techniques accomm
thatomm
ommodating
canodating
enable this d omain-
kind
usability point of vie view.
w. Three issues regarding the specific modelingis c oncepts.
of ver ification, an adeq uate Fo
Forr example,
modelingSysML language. [2] isT oa
usability
Software-in of tensive
AADL as aAbstract
modeling
systems require langua
language
the geverifica
for software-
tion o f profile
describeto describ
describe e system
systemss engineering
the a rchitecture o f the system, applications.
a modeling Non-
intensive
function alsystemsand noare iden
identified,
n-func tified, prop
tional name
namely ly system
erties before v ersus
the functional
language shouldprope
properties
rties
alloware harde
harderr to
describing bo thdescribe
functional using andUML.non-
software
implementalevel, tion comple
complex
and xinteg comp
component onent phases
ration compo
compositionsition
of athe nd The MARTE
functional p rofile initiative
p roperties of the [3 [3]
arc] tries to extend
hitecture. T o UMUML L for
describe
property
develop ment amb
ambiguity.
iguity. In
process. Fo
Forrrecent
resolving
trends,these issues, an
the Architecture improving
functional the Modelingof and
pro perties a Analysis
system, various o f Real-Time modeling a nd
appro
approach
ach and
Analysis is pDesign
resentedLang throug
through
uageh (AADL)
in
integration
tegrationhas of proveAADL
n a Embedded
languages systems.
can be In additio
addition,
chosen. UMn, Lb ecause
[1] is the
a U ML
widespread is an
models in a mod
good candidate model
asela driven
mo deling developme
development
langua ge nt fo process
r software- with extensive
modeling standar
standard,
language d, the language
standard izedcan b yb ethe difficult
OMG,to which app
applyly
specifically
intensive systems. designed At the model sam etransformatio
transformations.
time, Mod elns. Driven This in tools and
provides development
concepts to model pro
processes
cesses
the such as M
arc hitecture, Model
bodel
ehavior Driven
a nd
appro
approach
ach ent
Developm enhances
(MDD) the isusability
gaining of AADL
pop ularityfor software
as a Development.
deployment of software systems in obj ect-oriented o r
develop ment* process. In this p aper, we exp lore th e u se of
developers.
ers. component-based par adigms. Moreover, the language can
AADL in a model driven d evelopme nt p rocess from a be Architecture
extended throDescrip Descriptiontion Languages
ugh profiles, acc ommodating (A
(ADLs)
DLs) aim
d omain-
usability
1. Introductionpoint of vie w. Three issues regarding the specifically
specific modelingat modeling
c oncepts. bo
both
Fo th
r functional
example, SysML and [2] non-
is a
usability of AADL as a modeling langua ge for software- functional pr
properties
profile to describoperties of system
e system and software
s engineering arc
architectures.
applications. hitectures.
Non-
intensive systems are
As software-in
software-intensivetensiveiden tified,
systemsname
system s arely system
getting v ersus more Making
functional theprope
ddescription
escription
rties are of harde
these rpro
properties
toperties
describe explicit
usingenables
UML.
software level, comple x comp onent compo sition a nd analyses
The MARTE of th the architectures.
perofile initiative [3A] tries
nnumber
umber of ADLs
to extend UM Lhave for
complex, the verification of functional and non-functional
property
prop erties amb
properties of iguity. Fo r resolving
these systems is becoming these even issues,more an been pro
proposed
improving posed
the over
Modeling the last
and dec
decade
Analysis ade o [4
[4].
f ]. Fr
From
Real-Time om these
a nd
appro ach is
complex. For exam* p resented throug h in tegration of AADL
example, ple, mission-critical applicatio applications ns are prop
proposals,
osals,
Embedded the Architecture
systems. In Analy
Analysis
additio n, sis
b and
ecause Design
the U Language
ML is an
modelsver
often veryin a mod eland
y complex driven
at the developme
same timentneed process with
a r igorous (AADL)
extensive[5] has received
standar incre
increasing
d, the language asing caninterest from m
b e difficult mission-
toission-
app ly
specifically
analysis designed of
a nd verification model transformatiopns.
its non-functional This
roperties, critical
in tools and development
developmentindustries.
pro cesses such AADL as M odel has Driven been
appro ach enhances the usability
also called q uality attributes. Non-fu of AADL
Non-functional for software
nctional p roperties of standardized
Development. by the Society of Automotive E ngineers
develop ers.
interest for these systemsystemss are, amongst others, timeliness, (SAE) to suppor
supportt analysis and design of complex real-time
performance, and safety pr properties.
operties. Verification of these safety-
safety-critical
critical
Architecture applicatio
applications.
Descrip tion ns. Languages
AADL provides
(A DLs) aima
prop
properties
erties is often de
delayed
layed until testing phase, resulting in standardized
specifically tex
textual
at tual an
and
modeling d graphical
bo th syntax
functional for dand
escribing
non-
a slow and exp expensive
ensive de development
velopment pr process,
ocess, or, in the architectures
functional pr with
opertiesfunctional
of system interfaces
and and
software forarc pe
performing
rforming
hitectures.
1. Introduction
worst
As case, failed ptensive
software-in roje
rojects.
cts. Vsystem
erification
s areof non-functional
getting more various
Making analyses to
tow
the d escription wards of non-functional
these pro pertiespr properties
opertiesenables
explicit o f the
prop
properties
ertiesthe
complex, in verification
ea
early
rly de design
sign phases ofand
of functional thenon-functional
development system
analysesbbeing
eing
of theddeveloped.
eveloped.
architectures.In this
A npa paper,
per, we
umber pr
provide
of ADLs ovidehave an
process is there
prop erties therefore
of fore
thesemore important
systems than ever. even more
is becoming assessmen
assessment
been pro t o
posed f AADL
over as
the a modeling
last dec ade language
[4 ]. Fr om fro
from m
these a
complex. For example, mission-critical applicatio ns are usability
prop osals, po
the
point
int of view.
Architecture We
Analy consider
sis and a
Design representative
Language
often ver y complex and at the same time need a r igorous modeling
(AADL) [5] example and id
has received identify
entifyasing
incre a numberinterestoffrom issues in the
mission-
analysis a nd verification of its non-functional p roperties, usability
critical of AA
AADL DL
development for system developers.
industries. AADL has been
*
Thecalled
also d escribed work attributes.
q uality i s part of ththeeNon-fu
EUREKA-I
EUREKA-IT TEA SPI
nctional pSPICES
CES project,
roperties of standardized by the Society of Automotive E ngineers
and partlyfor
interest fundedtheseby system
the Flemish
s are,government
amongstin instituti
stituti
stitution
others, on IWT (Institute
timeliness, Second
(SAE) in the
to suppor set ofandtechniques
t analysis design of complex that canreal-time enable
for the
performance,
Promotion of Innovation by
and safety pr operties. Verification of these
Science and verification
safety- critical of non-functional
applicatio ns. p roper
roperties
AADL ties on system
systems,
provides s, is a
Technology in Flanders). standardized textual and graphical syntax for d escribing
prop erties is often de layed until testing phase, resulting in
a slow and exp ensive de velopment pr ocess, or, in the architectures with functional interfaces and for pe rforming
worst case, failed p roje cts. V erification of non-functional various analyses to wards non-functional pr operties o f the
prop erties in ea rly de sign phases of the development system b eing d eveloped. In this pa per, we pr ovide an
*
process is there fore more important than ever. assessment o f AADL as a modeling language fro m a
usability po int of view. We consider a representative
The d escribed work i s part of th e EUREKA-ITEA SPICES project, modeling example and id entify a number of issues in the
and partly funded by the Flemish government in stituti on IWT (Institute usability of AADL for system developers.
for the Promotion of Innovation by Science and
Technology in Flanders).
Second in the set of techniques that can enable
verification of non-functional p roper ties on systems, is a
:
:
:
 Citations (10) References (11)

... Gathering information on the declarative model quickly results in multiple model scans, potentially leading to a
scalabil- ity issue in the current OSATE implementation. Finally, two forms of ambiguity in the use of the AADL standard
(first noted by Delanote in [16] ) complicate the automated extension and analysis of an unfinished model. First, the
legality rules are different for each component category, making component composition not only complex, but also
ambiguous. ...

Towards intelligent tool-support for AADL based modeling of embedded systems

Article Full-text available
Jan 2009
Dries Langsweirdt · Yves Vandewoude · Yolande Berbers

View Show abstract

... The translation of a PIM expressed in xUML to a PSM expressed in AADL requires the interpretation of xUML models
, and then mapping xUML charts to AADL packages playing the same role. Delanote et al [10] adopted a different
approach to integrate AADL in a MDA design process. The authors considered the AADL runtime environment as the
target platform in the approach. ...

Model Driven High-Level Power Estimation of Embedded Operating Systems Communication Services
Conference Paper Full-text available
May 2009
Saadia Dhouib · Eric Senn · Jean-Philippe Diguet · Dominique Blouin

View Show abstract

A Method Based on Meta-model for the Translation from UML into Event-B
Conference Paper
Aug 2016
Weixuan Sun · Hong Zhang · Chao Feng · fu Yangzhen

View Show abstract

An Implementation towards Integrated Simulation of Cyber-physical Systems

Conference Paper
Aug 2013
Xiaoyu Li · Yuying Wang · Xingshe Zhou · Chenglie Du

View Show abstract

:
 Model-Based Codesign of Critical Embedded Systems
Article Full-text available
Jan 2009
Marco Bozzano · Alessandro Cimatti · Joost-Pieter Katoen · Marco Roveri

View Show abstract

Second International Workshop on Model Based Architecting and Construction of Embedded Systems
Article Full-text available
Stefan Van Baelen · Thomas Weigert

View

Automatic transformation technology from AADL model to UML model

Article
May 2011
Li Qiuyan · Tian Jie · Pei Qiuhong · Liu Chao

View Show abstract

Using Higher-Order Transformations to Derive Variability Mechanism for Embedded Systems

Conference Paper
Oct 2009
Goetz Botterweck · Andreas Polzer · Stefan Kowalewski

View Show abstract

Dependability modeling and evaluation – From AADL to stochastic Petri nets

Article
Jan 2007
Ana-Elena Rugina

View Show abstract

Modélisation et évaluation de la sûreté de fonctionnement - De AADL vers les réseaux de Pétri stochastiques
Article
Nov 2007
Ana-Elena Rugina

View Show abstract

Show more

Recommendations Discover more

Article Full-text available

Design of a functional size measurement procedure for a model-driven software development method

September 2008
:
 September 2008

Beatriz Marín · Nelly Condori-Fernández · Oscar Pastor

The capability to accurately quantify the size of software developed with a Model-Driven Development (MDD) method is critical to
software project managers for evaluating risks, developing project estimates, and having early project indicators. This paper presents
a measurement procedure defined according to the last version of the ISO 19761 standard measurement method. The measurement
procedure ... [Show full abstract]

View full-text

Thesis

Model-Level Debugging in the Context of the Model-Driven Development

September 2019

Mojtaba Bagherzadeh

Model-driven Development (MDD) is a software development approach that advocates using models rather than source code. MDD
can decrease complexity by raising the level of abstraction, and increase productivity by automation, e.g., code generation.
Developers spend around 50% of their time on debugging and fixing bugs, and the cost of debugging, testing, and verification account
for almost 50-75% ... [Show full abstract]

Read more

Article

A feedback technique for unsatisfiable UML/OCL class diagrams

November 2014 · Software Practice and Experience

Asadullah Shaikh · Uffe Kock Wiil

In Model-Driven Development (MDD), detection of model defects is necessary for correct model transformations. Formal verification
tools and techniques can to some extent verify models. However, scalability is a serious issue in relation to verification of complex
UML/OCL class diagrams. We have proposed a model slicing technique that slices the original model into submodels to address the ...
[Show full abstract]

Read more

Conference Paper

Panels at MODELS 2007

January 2007

Jean-Michel Bruel

Currently there are some young and promising approaches in software development, such as Model-Driven Development (MDD), and
Aspect-Oriented Software Development (AOSD). While MDD focuses on the systematic use of models, where the software is built
through a chain of model transformations, AOSD aims to offer enhanced mechanisms to identify, model and compose crosscutting
concerns. But what AOSD ... [Show full abstract]

Read more
:
 Company Support Business solutions

About us Help Center Advertising

News Recruiting
Careers

© 2008-2023 ResearchGate GmbH. All rights reserved. Terms · Privacy · Copyright · Imprint
: