[aadl]: [aadl-modeling]: Modeling of ARINC653 multicore systems

[frank singhoff]

hello
>
> To make a long mail shorter: I think we should discuss patterns, but 
> also use cases for analysis so as to converge on a

this is typically what Stéphane made (with scheduling analysis in mind 
.... i.e. with a verification that his design patterns
can be handled by cheddar).

we can see with stéphane if his work can be shared now.

cheers
frank

> design, requirements for OS configuration as needed for code 
> generation are different from those for scheduling analysis, and 
> modular modeling. We need also to clarify how far we go in detailed 
> modeling.
>
> Regards,
>
> *—*
> Jerome HUGUES
> Enseignant-Chercheur/Associate Professor
> Ingénierie des Systèmes Embarqués/Embedded Systems Engineering
>
> ISAE SUPAERO - Institut Supérieur de l'Aéronautique et de l’Espace
> 10 avenue Edouard Belin - BP 54032 - 31055 TOULOUSE CEDEX 4 FRANCE - 
> http://www.isae-supaero.fr <http://www.isae-supaero.fr/>
> Tel (+33) 5 61 33 91 84 - Fax (+33) 5 61 33 83 30
> Plan d'accès/Access map <http://plan.univ-toulouse.fr/#783>
>

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