[aadl]: Scheduling analysis of AADL architecture models Tutorial at the next CPS WEEK, April 2019, Montreal
frank singhoff
singhoff at univ-brest.fr
Fri Mar 8 01:58:19 EST 2019
Dear all,
During the next CPS WEEK at Montreal, April 2019, a tutorial will be
organized around AADL & scheduling analysis.
A description of this tutorial is given bellow
and the tutorial/conference website can be reached here :
http://cpslab.cs.mcgill.ca/cpsiotweek2019/work.html
Best
Pierre & Frank
------------------------------------------------------------------------------------------------------
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
More information about the sae-aadl-users
mailing list