[aadl]: White paper on reference architecture modelling & validation

[julien.delange at esa.int]

Dear all,

For interested readers, there is a white paper that explain the modelling 
approach we try to set up for the specification of reference architecture 
in the avionics domain. It provides more information about the content of 
my presentation, which will present the overall approach.
Please also keep in mind that this is a work in progress study and we 
investigate how we can model and represent functional and hardware 
concerns using AADL. It also details some difficulties we have regarding 
the modelling efforts and what would be required. So, if you have any 
comment about it, we can start a discussion about that topic during the 
next meeting.

Best regards,



-------------- next part --------------
A non-text attachment was scrubbed...
Name: aadl-white-paper-modeling-avionics-architecture.pdf
Type: application/octet-stream
Size: 186175 bytes
Desc: not available
Url : http://lists.sei.cmu.edu/pipermail/sae-aadl-users/attachments/20110117/fd5217f6/attachment-0001.obj