[aadl]: Scheduling analysis of AADL architecture models Tutorial at the next Ada Europe conference

[frank singhoff]

Dear all,

The 22th of June, during the next Ada Europe conference at Lisbonne, a 
tutorial will be organized around AADL & scheduling analysis.
A description of this tutorial is given bellow ... and on the conference 
web  site : ae2018.di.fc.ul.pt

Best
Frank

------------------------------------------------------------------------------------------------------


    T6 - Scheduling analysis of AADL architecture models

/Frank Singhoff, Lab-STICC/UBO
Pierre Dissaux, Ellidiss Technologies/

In this tutorial, we will provide an overview of scheduling analysis 
capabilities that are proposed by the real-time scheduling theory, AADL 
and tools implementing it. The objective of this tutorial is to show to 
the attendees the benefits that can be expected by performing early 
scheduling/timing analysis for real-time software.

The Architecture Analysis and Design Language (AADL) is an SAE 
International Standard dedicated to precise modeling of complex embedded 
systems, covering both hardware and software concerns. Its definition 
relies on a precise set of concepts inherited from industry and 
academics best practice: clear separation of concerns among layers, rich 
set of properties to document system metrics and support for many kind 
of analysis: scheduling, safety and reliability, performance, but also 
code generation.

14 years after the first release of the AADL standard, the AADL 
community has implemented many AADL tools that are mature enough to be 
handled by embedded critical real-time systems designers. Then, we 
propose in this tutorial to show how to apply AADL scheduling analysis 
tools. The tutorial will be illustrated by AADL models and labs with the 
tools AADLInspector and Cheddar.

Cheddar is a GPL open-source scheduling analysis tool 
(http://beru.univ-brest.fr/~singhoff/cheddar 
<http://beru.univ-brest.fr/%7Esinghoff/cheddar>). It has been designed 
and distributed to allow users to understand the main concepts of the 
real-time scheduling theory. The tool is built around a simplified 
Architecture Description Language devoted to support real-time 
constructs. Users can directly build their real-time systems models with 
this ADL and its associated editor, however, it is expected that other 
more general modeling front-ends have to be used while integrating 
scheduling analysis into an engineering process.

AADLInspector (http://www.ellidiss.fr) is a model processing framework 
that embeds a set of generic features to load real-time models and let 
them be properly processed by various analysis or production tools. 
AADLInspector uses AADL V2 standard as a base reference for its input 
models and embeds a commercial version of Cheddar as well as the 
interactive Marzhin simulator that emulates the AADL run-time.

The tutorial will illustrate how to model typical real-time 
architectures with AADL V2 and how to analyse them with 
AADLInspector/Cheddar (both the GPL version and the commercial version 
embedded into AADLInspector).
The tutorial will have the form of a lecture, with exercises/hand-outs 
and tools made available to participants. The speakers will come with 
virtual machines to allow attendees to run the tools and to do the 
exercises. For participants who cannot or do not want running the tools, 
the speakers will organize demonstrations and an interactive discussion 
while enriching the various models.

*Level:* /Intermediate/

The tutorial is designed for attendees who have no background on AADL 
nor scheduling analysis. Modelling and verification background may help.

*Reasons for attending*

AADL is notation which is part of the model-based families, along with 
OMG SysML, MARTE or EASTADL. It has been defined with a strong focus on 
analysis capabilities from its inception, while being versatile enough 
to be applied to a wide set of embedded systems. European projects 
(FP5-ASSERT, TASTE, Flex-eWare), but also US projects (SAVI, Meta) 
demonstrated that AADL could help engineers in their design effort in 
the space, avionics and embedded domains. In the mean-time, the academic 
community adopted AADL as a conveyor to bind numerous tools, covering 
model checking, scheduling, power evaluation or simulation capabilities 
to name a few.
Furthermore, scheduling analysis is not used as much it could be, 
because many practitioners may find it difficult to apply. The 
motivation of the tutorial is to highlight the level of maturity of the 
real-time modelling and analysis solutions around AADL, which is an 
outcome of the past ten years of academic and industrial research work 
in this area.


-- 
-------
MOCS Team, Lab-STICC UMR CNRS 6285
Univ. Brest, Faculty of sciences
Phone : +33 298016211

-------------- next part --------------
HTML attachment scrubbed and removed