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

[frank singhoff]

Dear all,

If you are interested about such kind of AADL tutorial, you may find here :

http://beru.univ-brest.fr/~singhoff/cheddar/contribs/educational/ubo/TUTORIAL-AE-2018/tp.html

some AADL exercises with their solutions to show how to perform 
scheduling analysis with AADLInspector

Best

Pierre & Frank


Le 29/03/2018 à 00:05, frank singhoff a écrit :
>
>
>
> 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

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

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