[aadl]: On data components modelling problems

[Jérôme Hugues]

Hi Denis,

Just a few comments, as maintainer of the document, I welcome updates
- about endianess, your motivations are clear, ad I share the issue. I defined an endianness property for my own needs, but it applies to processor, 
(it is actually, AFAICT, a configuration of the OS/processor for some family of processors), I do not see why it should be applied to data
Following your example, if two threads are connected, and bound to two separate processors with different endianness, then we should be able to test it

- order of component relates to how you translate a data component into a programming language, this is outside the scope of the data annex, and could be part of another document. But again, this raises the question of the scope of AADL. For TASTE, ESA made the choice of ASN.1 for describing precisely data types, and designed ACN for describing precisely the encoding (see https://www.researchgate.net/publication/229422184_An_ASN1_compiler_for_embeddedspace_systems ). My feeling is that this belongs to such external modeling, but of course this could be discussed

- about alignment, I fail too see how you can model alignement without considering it in association with “in binding”, that is also likely to be removed (if not already do). Similarly, does it belong to AADL ? I do not know. I understand the need, and it is covered by external notations. I do not know if AADL is the right tool for modeling ICD in details

Regards,

> Le 19 janv. 2016 à 12:39, Denis Buzdalov <buzdalov at ispras.ru> a écrit :
> 
> Dear all,
> 
> I have prepared a whitepaper on some problems on data components
> modelling, which I ran into recently.
> 
> I would like interested people to read it. If someone is ready to
> discuss these problems in Toulouse, I would ask Bruce to plan some time
> for this.
> 
> --
> Denis Buzdalov
> Software Engineering Department, ISPRAS
> <on-data-components.pdf>

—
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 89 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